Go Academy · Lektion

Syntaks for typeparametre

Generiske funktioner og typer med [T any]

Lektion 1 af 413 trin

Syntaks for typeparametre er en gratis Go Academy-lektion på CoddyKit. Dette er lektion 1 af 4. Du kan læse alle 3 lektioner i dette læringsspor gratis i deres fulde længde — derefter låser CoddyKit PRO alle lektioner op samt praktiske øvelser med en indbygget kodeeditor og en AI-underviser døgnet rundt. Den er en del af læringsforløbet i Go Academy, og dine fremskridt synkroniseres på tværs af nettet og CoddyKit-appen. Go Academy-kurset indeholder 4 lektioner i alt.

Baggrund for generiske typer

Før Go 1.18 krævede kode, der fungerede med flere typer, enten interface{}/any (med tab af typesikkerhed) eller kodegenerering. Generics tilføjer typeparametre til polymorfi ved kompilering.

Syntaks for generiske funktioner

Deklarér typeparametre i kantede parenteser efter funktionsnavnet:

func Map[T, U any](s []T, f func(T) U) []U {
    result := make([]U, len(s))
    for i, v := range s {
        result[i] = f(v)
    }
    return result
}

nums := Map([]int{1,2,3}, func(n int) string {
    return strconv.Itoa(n)
})

Typeinferens

Compileren udleder i de fleste tilfælde typeargumenter fra funktionens argumenter. Du kan angive dem eksplicit, hvis inferensen mislykkes.

// Inferred:
nums := Map([]int{1,2,3}, strconv.Itoa)
// Explicit:
nums := Map[int, string]([]int{1,2,3}, strconv.Itoa)

Generiske typer

Structs og andre typer kan også have typeparametre:

type Stack[T any] struct {
    items []T
}
func (s *Stack[T]) Push(v T) { s.items = append(s.items, v) }
func (s *Stack[T]) Pop() (T, bool) {
    if len(s.items) == 0 { var zero T; return zero, false }
    n := len(s.items)-1
    v := s.items[n]
    s.items = s.items[:n]
    return v, true
}

Flere typeparametre

Funktioner og typer kan have flere typeparametre:

type Pair[K, V any] struct { Key K; Value V }

func Zip[K, V any](keys []K, vals []V) []Pair[K, V] {
    result := make([]Pair[K, V], min(len(keys), len(vals)))
    for i := range result {
        result[i] = Pair[K, V]{keys[i], vals[i]}
    }
    return result
}

Nulværdi for en typeparameter

Deklarér en variabel med nulværdien med var zero T. Det er nødvendigt, når en generisk funktion skal returnere et resultat uden en værdi.

func First[T any](s []T) (T, bool) {
    if len(s) == 0 { var zero T; return zero, false }
    return s[0], true
}

Metoder på generiske typer

Metoder på en generisk type bruger typens parametre, ikke deres egne. En metode kan ikke introducere yderligere typeparametre.

type Pair[K, V any] struct{ K K; V V }
func (p Pair[K, V]) Swap() Pair[V, K] { return Pair[V, K]{p.V, p.K} }

Instansiering

Det kaldes instansiering at bruge en generisk type med et konkret typeargument. Det sker ved kompilering, ikke under kørsel — der er ingen ekstra omkostning til boxing.

s := Stack[int]{}
s.Push(42)

Typealiaser og generiske typer

Du kan oprette typealiaser for instansierede generiske typer:

type IntStack = Stack[int]

Begrænsninger

Typeparametre kan ikke bruges med typeskift eller typeassertioner. Metoder på generiske typer kan ikke have yderligere typeparametre. Generics kan ikke bruges med typer med overbelastede operatorer uden begrænsninger.

Hvornår skal du bruge generics?

Brug generics til algoritmer, der virkelig er uafhængige af typen (containertyper og funktionelle hjælpefunktioner som Map/Filter/Reduce), når alternativet ellers ville være duplikeret kode eller usikre casts.

Hurtigt tjek

Hvor deklareres typeparametre i en generisk funktion?

Besvar den i den interaktive lektion

Opsummering: Syntaks for typeparametre

Nøglepunkter:

Typeparametre i kantede parenteser: func Foo[T any](...)
Fungerer med funktioner og typer (structs osv.)
Compileren udleder i de fleste tilfælde typeargumenter fra argumenterne
Nulværdi: var zero T; ingen typeparametre på metodeniveau

Gratis at komme i gang

Lær Go med en AI-underviser — gratis

Skriv og kør rigtig kode i din browser, få øjeblikkelig hjælp fra en AI-underviser døgnet rundt, og fortsæt, hvor du slap, på web eller i appen.

Kurser: 51
Lektioner: 203

Start gratis Se hele kurset

Ofte stillede spørgsmål

Er lektionen “Syntaks for typeparametre” gratis?

Ja — alle 3 lektioner i læringssporet Go Academy, inklusive “Syntaks for typeparametre”, kan læses gratis i deres fulde længde her på webstedet. Derefter låser CoddyKit PRO alle lektioner op samt interaktive øvelser med en indbygget kodeeditor og en AI-underviser døgnet rundt. Go Academy-kurset indeholder 4 lektioner i alt.

Hvad lærer jeg i “Syntaks for typeparametre”?

Generiske funktioner og typer med [T any] Du øver dig i Go Academy med praktisk kode, som du kører direkte i browseren, og en AI-vejleder døgnet rundt besvarer dine spørgsmål, mens du arbejder dig gennem lektionen.

Skal jeg have erfaring for at begynde på Go Academy?

Der kræves ingen tidligere erfaring. Go Academy på CoddyKit er tilrettelagt for både begyndere og øvede, så du kan starte her eller fra begyndelsen og lære i dit eget tempo. Dette er lektion 1 af 4.

Hvor lang tid tager lektionen “Syntaks for typeparametre”?

De fleste CoddyKit-lektioner tager cirka 5–10 minutter. Hver lektion er kort og interaktiv, så du gør løbende fremskridt og kan fortsætte, hvor du slap – på både web og app.

Kan jeg skrive og køre kode i denne Go Academy-lektion?

Ja. Alle Go Academy-lektioner har en indbygget kodeeditor, så du kan skrive og køre rigtig kode direkte i din browser og få øjeblikkelig feedback fra AI – uden lokal opsætning.

Alle lektioner i dette kursus

← Tilbage til Go Academy