Sintaks Parameter Jenis
Fungsi dan jenis generik dengan [T any]
Sintaks Parameter Jenis ialah pelajaran Go Academy percuma di CoddyKit. Ini ialah pelajaran 1 daripada 4. Sebanyak 3 pelajaran dalam laluan pembelajaran ini boleh dibaca sepenuhnya secara percuma — selepas itu, CoddyKit PRO membuka akses kepada semua pelajaran, serta latihan praktikal dengan penyunting kod terbina dalam dan tutor kecerdasan buatan yang tersedia 24/7. Pelajaran ini merupakan sebahagian daripada laluan pembelajaran Go Academy, dan kemajuan anda disegerakkan merentas web serta aplikasi CoddyKit. Kursus Go Academy merangkumi sejumlah 4 pelajaran.
Latar belakang generik
Sebelum Go 1.18, kod yang berfungsi dengan pelbagai jenis memerlukan sama ada interface{}/any (mengorbankan keselamatan jenis) atau penjanaan kod. Generik menambahkan parameter jenis untuk polimorfisme pada masa kompilasi.
Sintaks fungsi generik
Isytiharkan parameter jenis dalam kurungan siku selepas 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)
})Penaakulan jenis
Pengkompil membuat kesimpulan argumen jenis daripada argumen fungsi dalam kebanyakan keadaan. Anda boleh menentukannya secara jelas jika kesimpulan gagal.
// Inferred:
nums := Map([]int{1,2,3}, strconv.Itoa)
// Explicit:
nums := Map[int, string]([]int{1,2,3}, strconv.Itoa)Jenis generik
Struktur dan jenis lain juga boleh mempunyai parameter jenis:
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 jenis
Fungsi dan jenis boleh mempunyai beberapa parameter jenis:
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 sifar parameter jenis
Isytiharkan pemboleh ubah dengan nilai sifar menggunakan var zero T. Ini diperlukan apabila mengembalikan hasil "tiada nilai" daripada fungsi generik.
func First[T any](s []T) (T, bool) {
if len(s) == 0 { var zero T; return zero, false }
return s[0], true
}Kaedah pada jenis generik
Kaedah pada jenis generik menggunakan parameter jenis tersebut, bukan parameter mereka sendiri. Kaedah tidak boleh memperkenalkan parameter jenis 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
Penggunaan jenis generik dengan argumen jenis konkrit dipanggil instansiasi. Ia berlaku pada masa kompilasi, bukan masa jalan — tiada overhed pembungkusan.
s := Stack[int]{}
s.Push(42)Alias jenis dan jenis generik
Anda boleh mencipta alias jenis untuk jenis generik yang telah diinstansiasikan:
type IntStack = Stack[int]Batasan
Parameter jenis tidak boleh digunakan dengan suis jenis atau pengesahan jenis. Kaedah pada jenis generik tidak boleh mempunyai parameter jenis tambahan. Generik tidak boleh digunakan pada jenis dengan operator terlebih beban tanpa kekangan.
Bila hendak menggunakan generik
Gunakan generik untuk algoritma yang benar-benar tidak bergantung pada jenis (jenis bekas, pembantu berfungsi seperti Map/Filter/Reduce) apabila pilihan lain ialah penduaan kod atau penukaran jenis yang tidak selamat.
Semakan Pantas
Di manakah parameter jenis diisytiharkan dalam fungsi generik?
Ringkasan: Sintaks Parameter Jenis
Perkara utama:
- Parameter jenis dalam kurungan siku: func Foo[T any](...)
- Berfungsi pada fungsi dan jenis (struktur dan sebagainya)
- Pengkompil membuat kesimpulan argumen jenis daripada argumen dalam kebanyakan keadaan
- Nilai sifar: var zero T; tiada parameter jenis pada aras kaedah
Pelajari Go dengan tutor kecerdasan buatan — percuma
Tulis dan jalankan kod sebenar dalam pelayar anda, dapatkan bantuan segera daripada tutor kecerdasan buatan yang tersedia 24/7, dan sambung semula dari tempat anda berhenti di web atau dalam aplikasi.
- Kursus
- 51
- Pelajaran
- 203
Soalan Lazim
Adakah pelajaran “Sintaks Parameter Jenis” percuma?
Ya — sebanyak 3 pelajaran dalam laluan pembelajaran Go Academy, termasuk “Sintaks Parameter Jenis”, boleh dibaca sepenuhnya secara percuma di web ini. Selepas itu, CoddyKit PRO membuka akses kepada semua pelajaran, serta latihan interaktif dengan penyunting kod terbina dalam dan tutor kecerdasan buatan yang tersedia 24/7. Kursus Go Academy merangkumi sejumlah 4 pelajaran.
Apakah yang akan saya pelajari dalam “Sintaks Parameter Jenis”?
Fungsi dan jenis generik dengan [T any] Anda berlatih Go Academy menggunakan kod praktikal yang dijalankan terus dalam pelayar, manakala tutor kecerdasan buatan 24/7 menjawab soalan anda semasa anda mengikuti pelajaran.
Adakah saya memerlukan pengalaman untuk memulakan Go Academy?
Tiada pengalaman terdahulu diperlukan. Pembelajaran Go Academy di CoddyKit disusun untuk pelajar daripada peringkat pemula hingga lanjutan, jadi anda boleh bermula di sini atau dari awal dan belajar mengikut kadar anda sendiri. Ini ialah pelajaran 1 daripada 4.
Berapa lamakah pelajaran “Sintaks Parameter Jenis” diambil?
Kebanyakan pelajaran CoddyKit mengambil masa kira-kira 5–10 minit. Setiap pelajaran ringkas dan interaktif, jadi anda boleh membuat kemajuan secara berterusan dan menyambung tepat dari tempat anda berhenti di web atau aplikasi.
Bolehkah saya menulis dan menjalankan kod dalam pelajaran Go Academy ini?
Ya. Setiap pelajaran Go Academy menyertakan penyunting kod terbina dalam, jadi anda boleh menulis dan menjalankan kod sebenar terus dalam pelayar serta menerima maklum balas kecerdasan buatan serta-merta — tanpa memerlukan persediaan setempat.
Semua pelajaran dalam kursus ini
- Sintaks Parameter Jenis
- Kekangan: comparable dan Antara Muka
- Struktur Data Generik
- Generik dalam Amalan: Perangkap