无法推断 V：从约束实现推断类型参数

在 Go 语言中实现通用接口时，如果无法从实现中推断出类型参数，则需要使用显式类型参数。此问题源于 Go 语言当前的类型推断算法不支持从实现中推断泛型接口类型。在涉及泛型约束的函数调用中，需要明确指定类型参数，以从已知类型参数推断出未知类型参数。

我在 go 中有一个接口，它希望支持在不同数据库中保存和加载结果，并且我希望支持不同类型。

package cfgstorage

type writabletype interface {
    ~int | ~string | ~float64
}

type configstorage[k, v writabletype] interface {
    get(key k) (v, error)
    set(key k, value v) (bool, error)
}

func getvalue[k, v writabletype, c configstorage[k, v]](storage c, key k) (v, error) {
    res, err := storage.get(key)
    return res, err
}

func setvalue[k, v writabletype, c configstorage[k, v]](storage c, key k, value v) (bool, error) {
    res, err := storage.set(key, value)
    return res, err
}

我为此接口实现了文件系统存储，如下所示：

type filesystemstorage[k, v writabletype] struct {
}

func (f filesystemstorage[k, v]) get(key k) (v, error) {
    /// my code to load data from json file
}

func (f filesystemstorage[k, v]) set(key k, value v) (bool, error) {
/// my code to save data as json file
}

顺便说一句，当我尝试从 filesystem 和 setvalue 获取实例时，它可以工作，但是对于 getvalue 我遇到编译器错误，我的测试代码如下：

var fileStorage cfgStorage.FileSystemStorage[string, string]

setResult, _ := cfgStorage.SetValue(fileStorage, "key", "value")
if setResult == false {
    t.Error()
}
var result string

result, _ = cfgStorage.GetValue(fileStorage, "key")

编译错误出现在我调用 getvalue 的行中：

无法推断 v

如果您知道如何解决此问题，请告诉我！

正确答案

在函数 getvalue 中，仅使用提供的参数 storage c 和 key k 无法推断 v 的类型。

您要求从实现通用约束 configstorage[k, v] 的具体类型推断 v。当前的类型推断算法不支持这一点。 go github存储库中的相关问题是41176: cannot infer generic interface types ，以及50484和40018。

还有关于 type inference 的相关提案部分：

我们可以在函数调用中使用函数参数类型推断，从非类型参数的类型中推断出类型参数。我们可以使用约束类型推断来从已知类型参数推断出未知类型参数。

所以你可能会说 c 实际上并不知道，你只知道它实现了约束 configstorage[k, v]。

您必须使用显式类型参数调用 getvalue：

// first string for K, second string for V
GetValue[string, string](fileStorage, "key")

固定演示：https://gotipplay.golang.org/p/KoYZ3JMEz2N

好了，本文到此结束，带大家了解了《无法推断 V：从约束实现推断类型参数》，希望本文对你有所帮助！关注golang学习网公众号，给大家分享更多Golang知识！