일반 함수에서 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 중국어 웹사이트의 기타 관련 기사를 참조하세요!