Wie kann der Go-Fehler „Typparameter V kann nicht abgeleitet werden' in generischen Funktionen behoben werden?

Typparameter V kann nicht abgeleitet werden

Beachten Sie den folgenden Go-Code:

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)
}

Beim Aufrufen der GetValue-Funktion Der Go-Compiler meldet das Fehler:

cannot infer V

Ursache

In Go 1.20 und früher kann der Typinferenzalgorithmus den Typ von V nicht allein auf der Grundlage der bereitgestellten Argumente Speicher und Schlüssel ableiten. Die Rückschlussregeln für Einschränkungstypen ermöglichen die Ableitung unbekannter Typargumente aus bekannten Typargumenten. In diesem Fall ist jedoch der konkrete Typ, der die ConfigStorage[K, V]-Einschränkung erfüllt, nicht bekannt.

Lösung

Um dieses Problem zu beheben, verwenden Sie explizite Typparameter muss beim Aufruf von GetValue angegeben werden:

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

Go 1.21

In Go 1.21 wurde der Typinferenzalgorithmus erweitert, um Methoden zu berücksichtigen, wenn einer Schnittstelle ein Wert zugewiesen wird. Das bedeutet, dass in Methodensignaturen verwendete Typparameter nun aus den entsprechenden Parametertypen passender Methoden abgeleitet werden können. Daher können Sie in Go 1.21 und höher einfach Folgendes aufrufen:

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

ohne die Typparameter explizit anzugeben.

Das obige ist der detaillierte Inhalt vonWie kann der Go-Fehler „Typparameter V kann nicht abgeleitet werden' in generischen Funktionen behoben werden?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!