如何解决Go在实现泛型接口时出现'cannot infer V”错误？

推断通用接口实现的类型参数：“无法推断 V”难题

问题

尝试使用以下方式保存和加载不同类型的结果时通用接口及其实现，Go 遇到了推断 V 的问题type:

cannot infer V: infer type parameter from constraint implementation

说明

在 Go 1.20 及更早版本中，从泛型约束 ConfigStorage[K, V] 的实现推断类型 V 并不简单。类型推断算法从实现约束的具体类型中推导出类型参数的能力受到限制。

解决方案

Go 1.21 及以上版本：

自转到1.21，这个问题已经解决。类型推断现在考虑接口方法中使用的类型。因此，您可以简单地调用 GetValue 而不指定类型约束：

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

Go 1.20 及以下：

在旧版本的 Go 中，您必须显式指定类型GetValue 的参数：

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

附加信息

Go 发行说明强调，类型推断现在在为接口赋值时会考虑方法。这允许从匹配的方法参数类型中推断出方法签名中类型参数的类型参数。

在 Go 1.21 之前，建议使用函数参数类型推断来从非类型参数推断出类型参数。然而，约束类型推断最初并不支持从已知类型参数推导未知类型参数。当从实现约束的类型推断 V 时，此限制导致“无法推断 V”错误。

以上是如何解决Go在实现泛型接口时出现'cannot infer V”错误？的详细内容。更多信息请关注PHP中文网其他相关文章！