Go Academy · leksjon

Syntaks for typeparametere

Generiske funksjoner og typer med [T any]

Leksjon 1 av 413 trinn

Syntaks for typeparametere er en gratis leksjon i Go Academy på CoddyKit. Dette er leksjon 1 av 4. Du kan lese valgfritt 3 leksjoner fra denne læringsstien gratis i sin helhet – deretter låser CoddyKit PRO opp alle leksjoner, samt praktisk øving med en innebygd kodeeditor og en AI-veileder som er tilgjengelig døgnet rundt. Den er en del av læringsløpet i Go Academy, og fremdriften din synkroniseres mellom nettet og CoddyKit-appen. Kurset i Go Academy inneholder totalt 4 leksjoner.

Bakgrunn for generics

Før Go 1.18 krevde kode som fungerte med flere typer enten interface{}/any (som svekket typesikkerheten) eller kodegenerering. Generics innfører typeparametre for polymorfisme ved kompilering.

Syntaks for generiske funksjoner

Deklarer typeparametre i hakeparenteser etter funksjonsnavnet:

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

Kompilatoren utleder typeargumentene fra funksjonsargumentene i de fleste tilfeller. Du kan angi dem eksplisitt 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

Strukturer og andre typer kan også ha 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

Funksjoner og typer kan ha 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
}

Nullverdien til en typeparameter

Deklarer en variabel med nullverdien ved hjelp av var zero T. Dette er nødvendig når en generisk funksjon skal returnere et resultat som betyr «ingen verdi».

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 bruker typens parametre, ikke egne parametre. En metode kan ikke introdusere flere 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 å bruke en generisk type med et konkret typeargument kalles instansiering. Det skjer ved kompilering, ikke under kjøring – det gir ingen boxing-overhead.

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

Typealiaser og generiske typer

Du kan opprette typealiaser for instansierte generiske typer:

type IntStack = Stack[int]

Begrensninger

Typeparametre kan ikke brukes med typeswitch eller typeassertions. Metoder på generiske typer kan ikke ha flere typeparametre. Generics kan ikke brukes på operatoroverbelastede typer uten constraints.

Når bør du bruke generics?

Bruk generics for algoritmer som virkelig er uavhengige av type (containertyper og funksjonelle hjelpefunksjoner som Map/Filter/Reduce), når alternativet ville vært duplisering av kode eller usikre typekonverteringer.

Kunnskapssjekk

Hvor deklareres typeparametre i en generisk funksjon?

Oppsummering: Syntaks for typeparametre

Viktige punkter:

  • Typeparametre i hakeparenteser: func Foo[T any](...)
  • Fungerer med funksjoner og typer (strukturer og så videre)
  • Kompilatoren utleder typeargumenter fra argumentene i de fleste tilfeller
  • Nullverdi: var zero T; ingen typeparametre på metodenivå
Gratis å komme i gang

Lær deg Go med en AI-veileder – gratis

Skriv og kjør ekte kode i nettleseren, få umiddelbar hjelp fra en AI-veileder som er tilgjengelig døgnet rundt, og fortsett der du slapp – på nettet eller i appen.

Kurs
51
Leksjoner
203

Ofte stilte spørsmål

Er leksjonen «Syntaks for typeparametere» gratis?

Ja – du kan lese valgfritt 3 av leksjonene i læringsstien Go Academy, inkludert «Syntaks for typeparametere», gratis i sin helhet her på nettet. Deretter låser CoddyKit PRO opp alle leksjoner, samt interaktiv øving med en innebygd kodeeditor og en AI-veileder som er tilgjengelig døgnet rundt. Kurset i Go Academy inneholder totalt 4 leksjoner.

Hva lærer jeg i «Syntaks for typeparametere»?

Generiske funksjoner og typer med [T any] Du øver på Go Academy med praktisk kode som du kjører direkte i nettleseren, mens en AI-veileder som er tilgjengelig døgnet rundt, svarer på spørsmålene dine mens du jobber deg gjennom leksjonen.

Trenger jeg erfaring for å begynne med Go Academy?

Ingen tidligere erfaring er nødvendig. Go Academy på CoddyKit er lagt opp for både nybegynnere og viderekomne, så De kan begynne her eller helt fra start og lære i Deres eget tempo. Dette er leksjon 1 av 4.

Hvor lang tid tar leksjonen «Syntaks for typeparametere»?

De fleste CoddyKit-leksjoner tar omtrent 5–10 minutter. Hver leksjon er kort og interaktiv, slik at De gjør jevne fremskritt og kan fortsette akkurat der De slapp – både på nettet og i appen.

Kan jeg skrive og kjøre kode i denne Go Academy-leksjonen?

Ja. Alle Go Academy-leksjoner har en innebygd kodeeditor, slik at De kan skrive og kjøre ekte kode direkte i nettleseren og få umiddelbar tilbakemelding fra AI – uten lokal konfigurering.

Alle leksjonene i dette kurset

  1. Syntaks for typeparametere
  2. Begrensninger: comparable og grensesnitt
  3. Generiske datastrukturer
  4. Generics i praksis: fallgruver
← Tilbake til Go Academy