如何解决 Go 在泛型函数中出现'无法推断类型参数 V”错误？

无法推断类型参数 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
}

func main() {
    var fileStorage cfgStorage.FileSystemStorage[string, string]

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

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

调用 GetValue 函数时， Go 编译器报告错误：

cannot infer V

原因

在 Go 1.20 及更早版本中，类型推断算法无法仅根据提供的参数存储和键来推断 V 的类型。约束类型推断规则允许从已知类型参数推导未知类型参数。然而，在这种情况下，满足 ConfigStorage[K, V] 约束的具体类型是未知的。

解决方案

要解决此问题，需要显式类型参数调用GetValue时必须提供：

result, _ = GetValue[string, string](fileStorage, "key")

Go 1.21

在 Go 1.21 中，类型推断算法已得到增强，可以在将值分配给接口时考虑方法。这意味着现在可以从匹配方法的相应参数类型推断出方法签名中使用的类型参数。因此，在 Go 1.21 及更高版本中，您可以简单地调用：

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

而无需显式指定类型参数。

以上是如何解决 Go 在泛型函数中出现'无法推断类型参数 V”错误？的详细内容。更多信息请关注PHP中文网其他相关文章！