Go-Fehler: Der generische Typ kann nicht ohne Instanziierung verwendet werden

Beim PHP-Editor, den Apple Ihnen heute mitteilen möchte, geht es um einen Fehler in der Go-Sprache: Generische Typen können nicht ohne Instanziierung verwendet werden. In der Go-Sprache sind Generika eine sehr leistungsstarke Funktion, die es uns ermöglicht, vielseitigeren und flexibleren Code zu schreiben. Allerdings kann es manchmal vorkommen, dass wir auf ein Problem stoßen, bei dem wir einen generischen Typ nicht ohne Instanziierung verwenden können. Dieser Fehler kann dazu führen, dass wir nicht wissen, wie wir ihn beheben können. Schauen wir uns als Nächstes die Ursachen und Lösungen dieses Problems an!

Frageninhalt

Beim Lernen von Go-Generika bin ich auf einen Fehler gestoßen, den ich scheinbar nicht lösen konnte. Ich habe es auf den einfachsten Code reduziert:

type opStack[T any] []T

func main() {

    t := make(opStack)
    //  t := new(opStack)
    t = append(t, 0)
    fmt.Println(t[0])
}

In Playground, ähnlich bei make() 调用（以及在已注释掉的 new Aufruf) erscheint folgende Fehlermeldung:

cannot use generic type opStack[T any] without instantiation

Aber make() ist eine Instanziierungsfunktion. Ich hoffe also, dass mir einige Feinheiten der Syntax fehlen. Worüber beschwert sich Go und was muss korrigiert werden? make() 是一个实例化函数。所以，我希望我错过了一些语法上的微妙之处。 Go 抱怨什么以及需要纠正什么？

解决方法

每当您使用参数化类型时，包括需要类型参数的任何地方，例如内置的 makeProblemumgehung

Wann immer Sie einen parametrisierten Typ verwenden,einschließlich überall dort, wo ein Typparameter erforderlich ist, wie z. B. das integrierte make, müssen Sie den Typparameter in seiner Definition durch den tatsächlichen Typ ersetzen. Dies wird als Instanziierung bezeichnet.

t := make(opStack[int], 0)
t = append(t, 0)

Wenn Sie einen generischen Typ als

Typparameter eines anderen

generischen Typs verwenden, müssen Sie ihn ebenfalls instanziieren:

type Data[T any] struct {
    data T
}

d := Data[opStack[int]]{ data: []int{0, 1, 2} }

Sie können Typparameter zur Instanziierung verwenden, beispielsweise in Funktionssignaturen, Feldern und Typdefinitionen: 一个>

type FooBar[T any] struct {
    ops opStack[T]
}

type OpsMap[T any] map[string]opStack[T]

func echo[T any](ops opStack[T]) opStack[T] { return ops }

Die relevanten Referenzen in der Sprachspezifikation befinden sich (derzeit) an zwei verschiedenen Stellen,

Typdefinitionen:

und

Instanziierung

In anderen Programmiersprachen kann sich „Instanziierung“ auf das Erstellen einer Instanz eines Objekts beziehen – in Go bezieht sich der Begriff speziell auf das Ersetzen von Typparametern durch konkrete Typen. Meiner Meinung nach ist die Verwendung des Begriffs immer noch konsistent, obwohl er in Go nicht unbedingt Allokation bedeutet.

Beachten Sie, dass Sie generische Funktionen ohne explizite Typparameter aufrufen können. Auch dort findet die Instanziierung statt, nur dass die Typparameter alle aus den Funktionsparametern abgeleitet werden können:

func Print[T, U any](v T, w U) { /* ... */ }

Print("foo", 4.5) // T is inferred from "foo", U from 4.5

Die Argumentation funktionierte früher auch für generische 🎜Typen🎜, mit der Einschränkung, dass die Typparameterliste nicht leer sein darf. Da diese Funktion jedoch deaktiviert ist, müssen Sie alle Typparameter explizit angeben. 🎜

type Vector[T any] []T 
// v := Vector[int]{} -> must supply T

type Matrix[T any, U ~[]T] []U 
// m := Matrix[int, []int]{} -> must supply T and U

Das obige ist der detaillierte Inhalt vonGo-Fehler: Der generische Typ kann nicht ohne Instanziierung verwendet werden. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!