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

Question

我在

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

如果您有任何想法如何解决此问题，请告诉我！

Answer 1

去1.21

该程序现在无需指定类型约束即可运行，因为类型推断现在考虑接口方法中使用的类型。来自发行说明：

当将值分配给接口时，类型推断现在还考虑方法：方法签名中使用的类型参数的类型参数可以从匹配方法的相应参数类型推断出来。

因此您只需拨打：

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

游乐场：https://go.dev/play/p/XBuOTREHd5Y

选择 1.20 及更低版本

在函数

GetValue

中，仅使用提供的参数

V

和

storage C

无法推断

key K

的类型。

您要求从实现通用约束

V

的具体类型推断

ConfigStorage[K, V]

。当前的类型推断算法不支持这一点。 Go github 存储库中的相关问题是 41176：无法推断通用接口类型 ，以及 50484 和 40018。

还有关于类型推断的相关提案部分：

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

从已知类型参数中推导出未知类型参数。

所以你可能会说

C

 实际上并不知道，你只知道它实现了约束 

ConfigStorage[K, V]

。

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

GetValue

：

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

固定游乐场：

https://gotipplay.golang.org/p/KoYZ3JMEz2N