Wie kann ich den Go-Fehler „Cannot Infer V' beheben, wenn Typbeschränkungen in generischen Schnittstellen verwendet werden?

Infer V: Infer-Typ-Parameter aus der Einschränkungsimplementierung kann nicht aufgelöst werden

Ziel ist es, in Go eine Schnittstelle zu erstellen, die das Speichern und Laden von Ergebnissen unterstützt in verschiedenen Datenbanken und unterstützt dabei verschiedene Datentypen.

type WritableType interface {
    ~int | ~string | ~float64
}

type ConfigStorage[K, V WritableType] interface {
    get(key K) (V, error)
    set(key K, value V) (bool, error)
}

Das Problem entsteht bei der Implementierung eines Dateisystems Speicher:

type FileSystemStorage[K, V WritableType] struct {
}

func (f FileSystemStorage[K, V]) get(key K) (V, error) {
    // Code to load data from JSON file
}

func (f FileSystemStorage[K, V]) set(key K, value V) (bool, error) {
    // Code to save data as JSON file
}

Beim Aufruf von SetValue funktioniert es erfolgreich. Beim Aufruf von GetValue tritt jedoch beim Compiler ein Fehler auf:

cannot infer V

Lösungen

Für Go 1.21 und höher:

In Go 1.21 wurde die Typinferenz verbessert, um in Schnittstellenmethoden verwendete Typen zu berücksichtigen. Daher können Sie jetzt GetValue aufrufen, ohne Typparameter anzugeben:

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

Für Go 1.20 und niedriger:

Da der aktuelle Typinferenzalgorithmus keine Rückschlüsse zulässt V aus einer Einschränkungsimplementierung müssen die expliziten Typparameter beim Aufruf von GetValue:

GetValue[string, string](fileStorage, "key")

angegeben werden

Das obige ist der detaillierte Inhalt vonWie kann ich den Go-Fehler „Cannot Infer V' beheben, wenn Typbeschränkungen in generischen Schnittstellen verwendet werden?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!