Go Academy · Pelajaran

Sintaks Parameter Tipe

Fungsi dan tipe generik dengan [T any]

Sintaks Parameter Tipe adalah pelajaran Go Academy gratis di CoddyKit. Ini adalah pelajaran 1 dari 4. Kamu bisa membaca pelajaran lengkapnya di bawah secara gratis — lalu praktikkan langsung di browser dengan editor kode bawaan dan tutor AI 24/7. Ini adalah bagian dari jalur belajar Go Academy, dan progresmu tersinkronisasi di web dan aplikasi CoddyKit. Kursus Go Academy mencakup 4 pelajaran total.

Latar belakang generik

Sebelum Go 1.18, kode yang bekerja pada beberapa tipe memerlukan interface{}/any (dengan mengorbankan keamanan tipe) atau pembuatan kode. Generik menambahkan parameter tipe untuk polimorfisme saat kompilasi.

Sintaks fungsi generik

Deklarasikan parameter tipe dalam kurung siku setelah nama fungsi:

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)
})

Inferensi tipe

Kompiler biasanya menyimpulkan argumen tipe dari argumen fungsi. Anda dapat menentukannya secara eksplisit jika inferensi gagal.

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

Tipe generik

Struktur dan tipe lainnya juga dapat memiliki parameter tipe:

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
}

Beberapa parameter tipe

Fungsi dan tipe dapat memiliki beberapa parameter tipe:

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
}

Nilai nol parameter tipe

Deklarasikan variabel dengan nilai nol menggunakan var zero T. Ini diperlukan saat mengembalikan hasil "tanpa nilai" dari fungsi generik.

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

Metode pada tipe generik

Metode pada tipe generik menggunakan parameter milik tipe tersebut, bukan parameter miliknya sendiri. Metode tidak dapat memperkenalkan parameter tipe tambahan.

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} }

Instansiasi

Menggunakan tipe generik dengan argumen tipe konkret disebut instansiasi. Proses ini terjadi saat kompilasi, bukan saat runtime—tidak ada biaya tambahan boxing.

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

Alias tipe dan tipe generik

Anda dapat membuat alias tipe untuk tipe generik yang sudah diinstansiasi:

type IntStack = Stack[int]

Keterbatasan

Parameter tipe tidak dapat digunakan dengan peralihan tipe atau asersi tipe. Metode pada tipe generik tidak dapat memiliki parameter tipe tambahan. Generik tidak dapat digunakan pada tipe dengan operator yang dibebani tanpa batasan.

Kapan menggunakan generik

Gunakan generik untuk algoritme yang benar-benar tidak bergantung pada tipe (tipe kontainer, pembantu fungsional seperti Map/Filter/Reduce) jika alternatifnya adalah duplikasi kode atau konversi tipe yang tidak aman.

Pemeriksaan singkat

Di mana parameter tipe dideklarasikan dalam fungsi generik?

Ringkasan: Sintaks Parameter Tipe

Poin utama:

Parameter tipe dalam kurung siku: func Foo[T any](...)
Berlaku untuk fungsi dan tipe (struktur, dan sebagainya)
Kompiler biasanya menyimpulkan argumen tipe dari argumen
Nilai nol: var zero T; tidak ada parameter tipe tingkat metode

Pertanyaan yang Sering Diajukan

Apakah pelajaran “Sintaks Parameter Tipe” gratis?

Ya — teks lengkap “Sintaks Parameter Tipe” gratis dibaca di sini di web. Untuk praktiknya secara interaktif (editor kode bawaan dan tutor AI 24/7) dan buka sisa kursus Go Academy, upgrade ke CoddyKit PRO. Kursus Go Academy mencakup 4 pelajaran total.

Apa yang akan aku pelajari di “Sintaks Parameter Tipe”?

Fungsi dan tipe generik dengan [T any] Kamu berlatih Go Academy dengan kode praktik yang langsung kamu jalankan di browser, dan tutor AI 24/7 menjawab pertanyaanmu saat kamu mengerjakan pelajaran ini.

Apakah aku perlu pengalaman untuk memulai Go Academy?

Tidak diperlukan pengalaman sebelumnya. Go Academy di CoddyKit dirancang untuk pemula hingga pelajar tingkat lanjut, jadi kamu bisa memulai di sini atau dari awal dan belajar sesuai kecepatan kamu sendiri. Ini adalah pelajaran 1 dari 4.

Berapa lama pelajaran “Sintaks Parameter Tipe” memakan waktu?

Sebagian besar pelajaran CoddyKit memakan waktu sekitar 5–10 menit. Setiap pelajaran ringkas dan interaktif, jadi kamu membuat kemajuan stabil dan melanjutkan dari tempat kamu tinggalkan di web dan aplikasi.

Bisakah aku menulis dan menjalankan kode dalam pelajaran Go Academy ini?

Ya. Setiap pelajaran Go Academy menyertakan editor kode bawaan, jadi kamu menulis dan menjalankan kode nyata langsung di browser dan mendapatkan umpan balik AI instan — tidak diperlukan penyiapan lokal.

Semua pelajaran dalam kursus ini

← Kembali ke Go Academy