无法推断 V:从约束实现推断类型参数
cannot infer V: infer type parameter from constraint implementation
我在 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
:
的那一行
cannot infer V
如果您知道如何解决这个问题,请告诉我!
在函数 GetValue
中,仅使用提供的参数 storage C
和 key K
.
无法推断出 V
的类型
您要求从实现通用约束 ConfigStorage[K, V]
的具体类型推断 V
。当前的类型推断算法不支持这一点。 Go github 存储库中的相关问题是 50484 and 40018。
还有关于type inference的相关提案部分:
We can use function argument type inference for a function call to deduce type arguments from the types of the non-type arguments. We can use constraint type inference to deduce unknown type arguments from known type arguments.
所以你可以争辩说 C
实际上并不为人所知,你只知道它实现了约束 ConfigStorage[K, V]
.
您必须使用显式类型参数调用 GetValue
:
// first string for K, second string for V
GetValue[string, string](fileStorage, "key")
我在 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
:
cannot infer V
如果您知道如何解决这个问题,请告诉我!
在函数 GetValue
中,仅使用提供的参数 storage C
和 key K
.
V
的类型
您要求从实现通用约束 ConfigStorage[K, V]
的具体类型推断 V
。当前的类型推断算法不支持这一点。 Go github 存储库中的相关问题是 50484 and 40018。
还有关于type inference的相关提案部分:
We can use function argument type inference for a function call to deduce type arguments from the types of the non-type arguments. We can use constraint type inference to deduce unknown type arguments from known type arguments.
所以你可以争辩说 C
实际上并不为人所知,你只知道它实现了约束 ConfigStorage[K, V]
.
您必须使用显式类型参数调用 GetValue
:
// first string for K, second string for V
GetValue[string, string](fileStorage, "key")