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

我在 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
}

顺便说一句,当我尝试从 fileSystemSetValue 获取实例时它可以工作,但是对于 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

如果您知道如何解决此问题,请告诉我!

stack overflow cannot infer V: infer type parameter from constraint implementation
原文答案
author avatar

接受的答案

在函数 GetValue 中,仅使用提供的参数 Vstorage C 无法推断 key K 的类型。

您要求从实现通用约束 V 的具体类型推断 ConfigStorage[K, V] 。当前的类型推断算法不支持这一点。 Go github 存储库中的相关问题是 41176: cannot infer generic interface types 以及 5048440018

还有关于 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


答案: