Pertanyaan dan konteks
Go 1.26 menghapus batasan bahwa tipe generik tidak boleh menyebutkan dirinya sendiri dalam daftar parameter tipenya. Jelaskan batasan di bawah ini dan berikan pemanggilan yang dapat dikompilasi:
type Adder[A Adder[A]] interface {
Add(A) A
}
func SumPair[A Adder[A]](x, y A) A {
return x.Add(y)
}Jelaskan juga mengapa self-reference ini tidak membuat setiap tipe rekursif menjadi valid.
Apa yang sedang diuji oleh pewawancara
- Apakah Anda membedakan batasan self-referential dari struct yang rekursif tanpa batas.
- Apakah Anda dapat menjelaskan pemenuhan batasan, substitusi argumen tipe, dan pemeriksaan method set.
- Apakah Anda dapat menginstansiasi algoritma dengan tipe konkret dan menalar tentang value receiver versus pointer receiver.
- Apakah Anda memberikan pengamanan versi, pengompilasi, dan matriks pengujian alih-alih sekadar mengutip catatan rilis.
Pertanyaan klarifikasi untuk diajukan terlebih dahulu
Versi Go target
Apakah compiler produksi, generator, dan CI semuanya mendukung Go 1.26? Haruskah library publik tetap kompatibel dengan Go 1.25?
Semantik aljabar
Apakah Add memerlukan sifat asosiatif, komutatif, atau tanpa efek samping? Apakah algoritma tersebut merupakan pemanggilan tunggal atau fold atas koleksi arbitrer?
Bentuk instansiasi
Apakah implementasinya berupa tipe value atau pointer? Haruskah Add mengembalikan tipe yang persis sama dengan receiver?
Kerangka jawaban 30 detik
Go 1.26 memungkinkan batasan merujuk ke tipe generik yang sedang dideklarasikan, memungkinkan bentuk F-bounded seperti "argumen mengimplementasikan operasi yang mengembalikan dirinya sendiri." Adder[A Adder[A]] tetap memerlukan argumen konkret untuk menyediakan Add(A) A; instansiasi mensubstitusi argumen sebelum memeriksa method set-nya. Perubahan ini memperluas deklarasi batasan, bukan aturan untuk tata letak nilai terbatas (finite value layout).
Langkah-langkah jawaban mendalam
1. Jelaskan perubahan sintaksis
Versi yang lebih lama menolak Adder di dalam batasan parameternya sendiri. Go 1.26 mengikat parameter tipe di awal daftar, sehingga batasan dapat merujuk ke tipe generik yang sedang dideklarasikan. Hal ini menambah daya ekspresif tanpa mengubah pemeriksaan method interface statis.
2. Definisikan tipe yang memenuhi batasan
type IntAdder int
func (x IntAdder) Add(y IntAdder) IntAdder {
return x + y
}
func example() IntAdder {
return SumPair(IntAdder(2), IntAdder(3))
}IntAdder memenuhi Adder[IntAdder] karena parameter dan hasilnya menggunakan tipe argumen yang diinstansiasi. Method yang mengembalikan int akan gagal bahkan ketika representasi yang mendasarinya sama.
3. Jelaskan pemeriksaan instansiasi
Untuk SumPair[IntAdder], compiler mensubstitusi IntAdder untuk A, memperoleh Adder[IntAdder], dan memeriksa method set dari IntAdder. Inferensi tipe dapat menyimpulkan A dari argumen, tetapi itu tidak menggantikan pemenuhan batasan.
4. Tangani pointer method set
Jika Add hanya ada pada *IntAdder, pemanggil harus menggunakan *IntAdder sebagai argumen dan mempertahankan bentuk tersebut dalam hasilnya; sebuah nilai IntAdder tidak secara otomatis mendapatkan method pointer. Pemilihan receiver mengubah method set dan bukan merupakan konversi generik.
5. Tetapkan batas tipe rekursif
Self-reference berada dalam grafik batasan, seperti Adder[A]; ini bukan penyarangan tak terbatas berdasarkan nilai (by-value). type Node[T any] struct { Next Node[T] } masih memiliki tata letak nilai yang besarnya tak terbatas, sedangkan *Node[T] memiliki tata letak terbatas. Siklus batasan dan tata letak konkret adalah pemeriksaan yang terpisah.
6. Evaluasi nilai algoritmik
Pola ini cocok untuk algoritma generik homogen seperti menggabungkan nilai atau mengakumulasikan objek numerik. Ini tidak memberikan sifat asosiatif atau membuktikan keamanan dari overflow. Jika algoritma memerlukan hukum aljabar, dokumentasikan dan uji hal tersebut; kehadiran method bukanlah bukti matematis.
7. Rencanakan migrasi dan verifikasi
Selaraskan versi minimum di go.mod, CI, dan image rilis; pertahankan jalur interface normal untuk toolchain yang lebih lama. Uji keberhasilan instansiasi, signature yang ditolak, value receiver dan pointer receiver, input kosong, serta batas numerik, dan sertakan contoh kegagalan kompilasi dalam alur kerja.
Contoh jawaban berkualitas tinggi
Saya akan mendeskripsikan Adder[A Adder[A]] sebagai kebutuhan akan argumen yang Add-nya menerima dan mengembalikan tipe terinstansiasi yang sama, bukan sebagai izin untuk rekursi arbitrer. Saya pertama-tama akan mengompilasi IntAdder dengan value receiver, lalu menunjukkan batasan pointer method set. Pemanggil tetap menyediakan kontrak aljabar; migrasi mengunci toolchain ke Go 1.26 dan menggunakan uji kompilasi positif dan negatif untuk melindungi batasan tersebut.
Kesalahan umum
- Memperlakukan batasan self-referential sebagai izin untuk struct by-value tak terbatas.
- Mengabaikan bahwa method signature yang diinstansiasi harus cocok dengan
Asecara tepat. - Mengasumsikan tipe dasar yang identik mengimplikasikan method set interface yang identik.
- Menganggap kehadiran method sebagai bukti sifat asosiatif, komutatif, atau tanpa overflow.
- Memublikasikan sintaksis Go 1.26 sementara compiler yang lebih lama masih membangun artefak produksi.
- Hanya menguji contoh yang berhasil dan tidak pernah memeriksa batasan yang ditolak atau pointer receiver.
Pertanyaan lanjutan dan jawaban
Apakah Adder[A Adder[A]] merupakan interface rekursif?
Ini adalah pola deklarasi di mana batasan merujuk ke tipe generik yang sedang dideklarasikan. Setelah substitusi, compiler memeriksa apakah argumen mengimplementasikan interface yang diperluas; hal itu berbeda dari sebuah field yang menyematkan nilai secara rekursif selamanya.
Mengapa type IntAdder int memenuhi batasan?
Tipe ini mendeklarasikan Add(IntAdder) IntAdder, sehingga receiver dan hasilnya secara tepat menggunakan tipe argumen yang diinstansiasi. Kesamaan tipe dasar tidak dapat menggantikan pemeriksaan method signature.
Kapan pointer receiver gagal?
Ini gagal ketika argumen berupa tipe value tetapi method hanya ada dalam pointer method set. Pilih instansiasi value atau pointer secara sengaja dan jaga bentuk hasil tetap konsisten.
Apakah batasan ini menjamin sifat asosiatif?
Tidak. Interface menjelaskan method signature yang dapat dipanggil. Sifat asosiatif, kebijakan overflow, dan efek samping adalah bagian dari dokumentasi, pengujian, atau protokol tingkat yang lebih tinggi.
Bagaimana Anda mendukung Go 1.25?
Isolasi batasan self-referential dalam file atau modul Go 1.26, gunakan interface normal atau implementasi khusus untuk versi yang lebih lama, dan kompilasi contoh positif dan negatif dengan matriks CI multi-versi.