Golang-Generika – beim Übergeben des Funktionszeigers kann kein Typ anstelle desselben Typs verwendet werden

Ich bin neu bei Golang und arbeite an der folgenden Struktur:

<code>type Flag[T any] struct {
    defaultValue interface{}
}
</code>

Unter ihnen T 可以是 int 或 bool

Ich habe folgende Funktion definiert:

<code>func (f Flag[T]) GetVariation(val interface{}, getFunc func(v T) T ) T {
    inputVal := f.defaultValue.(T)

    return getFunc(inputVal)
}
</code>

Wenn ich versuche, die obige Funktion für verschiedene Datentypen wie bool zu verwenden, verwende ich Folgendes:

<code>func (f Flag[bool]) GetBoolVariation(val bool) bool {
    return f.GetVariation(val, someFunc)
}

func someFunc(v bool) bool {
    return true
}
</code>

Ich erhalte folgende Fehlermeldung:

cannot use someFunc (value of type func(v bool)  bool) as func(v bool) bool value in argument to f.GetVariation

Die Nachricht ist sehr verwirrend, weil sie besagt, dass ich „X“ nicht als „X“ verwenden kann. Können Sie mir helfen herauszufinden, was ich hier falsch mache?

Richtige Antwort

Zuallererst ist es schwierig, Ihren größeren Anwendungsfall hier einzuschätzen, aber Generika sind hier möglicherweise nicht die beste Lösung, da Sie eine Laufzeittypprüfung durchführen (wie f.defaultValue.(T)).

Zweitens scheinen Sie go 1.20 zu verwenden, was zu einem verwirrenden Fehler führt:

//m.sbmmt.com/link/63e8e3643e7f7198858eef325b0600f9

cannot use someFunc (value of type func(v bool) bool) as func(v bool) bool value in argument to f.GetVariation

Die Verwendung der neuesten Playground-Version (go 1.21 zum Zeitpunkt dieses Schreibens) führt zu detaillierteren Kompilierungsfehlern:

//m.sbmmt.com/link/2d1bcedd27b586d2a9562a0f8e076b41

./prog.go:14:29: cannot use someFunc (value of type func(v bool) bool) as func(v bool /* with bool declared at ./prog.go:13:14 */) bool /* with bool declared at ./prog.go:13:14 */ value in argument to f.GetVariation

Gibt den Typ bool 被指定的位置 (./prog.go:13:14 an, der aus Typeinschränkungen abgeleitet ist.

Nur weil diese Typbeschränkung bool mit einer nicht generischen Funktionssignatur übereinstimmt:

func someFunc(v bool) bool {
    return true
}

bedeutet nicht, dass es sich um eine exakte Zusammenstellungsübereinstimmung handelt.

Sie können Kompilierungsfehler mit diesem künstlichen Beispiel „lösen“:

func someFuncFix[T any](v T) T {
    return v
}

func (f Flag[bool]) GetBoolVariation(val bool) bool {
    return f.GetVariation(val, someFuncFix[bool])

    // FYI: `return f.GetVariation(val, someFuncFix)` also works as the bool constraint could be inferred
}

Aber auch hier denke ich, dass Generika möglicherweise nicht die beste Lösung für Ihren speziellen Anwendungsfall sind.

Das obige ist der detaillierte Inhalt vonGolang-Generika – beim Übergeben des Funktionszeigers kann kein Typ anstelle desselben Typs verwendet werden. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!