


Mengapa Golang 1.18 Generik Tidak Menyokong Kovarian Sepenuhnya?
Nov 17, 2024 pm 06:06 PMKovarian dalam Golang 1.18 Generik: Memahami Hadnya
Pengenalan generik Golang 1.18 membawa banyak kemajuan, tetapi batasan tertentu kekal, termasuk kekurangan kovarians lengkap sokongan.
Memahami Isu
Pertimbangkan senario di mana anda ingin mentakrifkan fungsi generik yang dipanggil Paip yang mengambil dua fungsi:
- kiri: Menerima hujah jenis A dan mengembalikan nilai jenis T1.
- kanan: Menerima hujah jenis T1 dan mengembalikan nilai jenis T2.
Matlamatnya ialah untuk mencipta fungsi yang melaksanakan output kiri sebagai input ke kanan . Walau bagaimanapun, pelaksanaan berikut gagal disusun dalam beberapa kes:
func Pipe[A, T1, T2 any](left func(A) T1, right func(T1) T2) func(A) T2 { return func(a A) T2 { return right(left(a)) } }
Isu ini timbul kerana generik Golang tidak menyokong kovarians sepenuhnya. Kovarians bermakna bahawa parameter jenis boleh digantikan dengan subjenis tanpa melanggar kontrak. Dalam kes ini, T1 tidak membenarkan subjenis manakala io.ReadCloser ialah subjenis io.Reader.
Keputusan Reka Bentuk Golang
Keputusan Golang untuk tidak melaksanakan kovarians sepenuhnya adalah berdasarkan pertimbangan keselamatan. Membenarkan kovarians boleh membawa kepada situasi di mana fungsi dipanggil dengan jenis yang tidak sepadan dengan tandatangan yang dimaksudkan, mengakibatkan tingkah laku yang tidak ditentukan.
Penjelasan Soalan Lazim
Soalan Lazim Golang menyatakan dengan jelas bahawa tingkah laku semasa adalah disengajakan dan bukan pepijat. Keputusan ini bertujuan untuk mengelakkan ralat masa jalan yang tidak dijangka yang boleh menjejaskan kebolehpercayaan aplikasi.
Jenis Boleh Tukar lwn. Jenis Kovarian
Walaupun Golang tidak menyokong kovarians penuh, ia membenarkan penukaran satu jenis kepada jenis yang lain. Walau bagaimanapun, dalam kes Paip func, tiada cara untuk mewakili penukaran ini menggunakan parameter jenis.
Sebagai alternatif, anda boleh secara eksplisit menghantar hasil kiri ke jenis yang diperlukan oleh kanan. Walau bagaimanapun, pendekatan ini tidak selamat jenis pada masa penyusunan, seperti yang ditunjukkan dalam kod yang diubah suai berikut:
func Pipe[A, T1, T2, T3 any](left func(A) T1, right func(T2) T3) func(A) T3 { return func(a A) T3 { return right(any(left(a)).(T2)) } }
Walaupun ini boleh menyelesaikan kerja, ia mengorbankan keselamatan masa kompilasi untuk penukaran masa jalan.
Atas ialah kandungan terperinci Mengapa Golang 1.18 Generik Tidak Menyokong Kovarian Sepenuhnya?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

Alat AI Hot

Undress AI Tool
Gambar buka pakaian secara percuma

Undresser.AI Undress
Apl berkuasa AI untuk mencipta foto bogel yang realistik

AI Clothes Remover
Alat AI dalam talian untuk mengeluarkan pakaian daripada foto.

Clothoff.io
Penyingkiran pakaian AI

Video Face Swap
Tukar muka dalam mana-mana video dengan mudah menggunakan alat tukar muka AI percuma kami!

Artikel Panas

Alat panas

Notepad++7.3.1
Editor kod yang mudah digunakan dan percuma

SublimeText3 versi Cina
Versi Cina, sangat mudah digunakan

Hantar Studio 13.0.1
Persekitaran pembangunan bersepadu PHP yang berkuasa

Dreamweaver CS6
Alat pembangunan web visual

SublimeText3 versi Mac
Perisian penyuntingan kod peringkat Tuhan (SublimeText3)

Topik panas

Pergi menyusun program ke dalam binari mandiri secara lalai, sebab utama adalah menghubungkan statik. 1. Penyebaran yang lebih mudah: Tiada pemasangan tambahan perpustakaan ketergantungan, boleh dijalankan secara langsung di seluruh pengagihan Linux; 2. Saiz binari yang lebih besar: termasuk semua kebergantungan menyebabkan saiz fail meningkat, tetapi boleh dioptimumkan melalui bendera bangunan atau alat pemampatan; 3. Predikabiliti dan keselamatan yang lebih tinggi: Elakkan risiko yang dibawa oleh perubahan dalam versi perpustakaan luaran dan meningkatkan kestabilan; 4. Fleksibiliti operasi terhad: Tidak boleh kemas kini panas perpustakaan yang dikongsi, dan penyusunan semula dan penggunaan diperlukan untuk memperbaiki kelemahan ketergantungan. Ciri-ciri ini sesuai untuk alat CLI, microservices dan senario lain, tetapi perdagangan diperlukan dalam persekitaran di mana penyimpanan dihadkan atau bergantung kepada pengurusan berpusat.

Goensuresmemorysafetywithoutmanualmanagementthroughautomaticgarbagecollection,nopointerarithmetic,safeconcurrency,andruntimechecks.First,Go’sgarbagecollectorautomaticallyreclaimsunusedmemory,preventingleaksanddanglingpointers.Second,itdisallowspointe

Untuk membuat saluran penampan di Go, hanya tentukan parameter kapasiti dalam fungsi membuat. Saluran Buffer membolehkan operasi penghantaran untuk menyimpan data sementara apabila tiada penerima, selagi kapasiti yang ditentukan tidak melebihi. Sebagai contoh, Ch: = Make (Chanint, 10) mencipta saluran penampan yang boleh menyimpan sehingga 10 nilai integer; Tidak seperti saluran yang tidak dibuang, data tidak akan disekat dengan segera apabila menghantar, tetapi data akan disimpan sementara dalam penampan sehingga ia diambil oleh penerima; Apabila menggunakannya, sila ambil perhatian: 1. Tetapan kapasiti harus munasabah untuk mengelakkan sisa memori atau penyekatan kerap; 2. Penimbal perlu mencegah masalah ingatan daripada terkumpul selama -lamanya dalam penampan; 3. Isyarat boleh diluluskan oleh jenis Chanstruct {} untuk menjimatkan sumber; Senario biasa termasuk mengawal bilangan konkurensi, model pengguna dan pembezaan

GO sangat sesuai untuk pengaturcaraan sistem kerana ia menggabungkan prestasi bahasa yang disusun seperti C dengan kemudahan penggunaan dan keselamatan bahasa moden. 1. Dari segi operasi fail dan direktori, pakej OS Go menyokong penciptaan, penghapusan, penamaan semula dan memeriksa sama ada fail dan direktori wujud. Gunakan OS.READFILE untuk membaca keseluruhan fail dalam satu baris kod, yang sesuai untuk menulis skrip sandaran atau alat pemprosesan log; 2. Dari segi pengurusan proses, fungsi exec.command pakej OS/EXEC boleh melaksanakan arahan luaran, menangkap output, menetapkan pembolehubah persekitaran, aliran input dan output mengalihkan, dan kitaran hayat proses kawalan, yang sesuai untuk alat automasi dan skrip penempatan; 3. Dari segi rangkaian dan kesesuaian, pakej bersih menyokong pengaturcaraan TCP/UDP, pertanyaan DNS dan set asal.

Dalam bahasa Go, memanggil kaedah struktur memerlukan terlebih dahulu menentukan struktur dan kaedah yang mengikat penerima, dan mengaksesnya menggunakan nombor titik. Selepas menentukan segi empat tepat struktur, kaedah boleh diisytiharkan melalui penerima nilai atau penerima penunjuk; 1. Gunakan penerima nilai seperti kawasan func (rrectangle) int dan terus memanggilnya melalui rect.area (); 2. Jika anda perlu mengubah suai struktur, gunakan penerima penunjuk seperti func (R*segi empat) setWidth (...), dan GO akan secara automatik mengendalikan penukaran penunjuk dan nilai; 3. Apabila membenamkan struktur, kaedah struktur tertanam akan diperbaiki, dan ia boleh dipanggil secara langsung melalui struktur luar; 4. Pergi tidak perlu memaksa menggunakan getter/setter,

Di GO, antara muka adalah jenis yang mentakrifkan tingkah laku tanpa menentukan pelaksanaan. Antara muka terdiri daripada tandatangan kaedah, dan mana -mana jenis yang melaksanakan kaedah ini secara automatik memenuhi antara muka. Sebagai contoh, jika anda menentukan antara muka penceramah yang mengandungi kaedah bercakap (), semua jenis yang melaksanakan kaedah boleh dipertimbangkan pembesar suara. Antara muka sesuai untuk menulis fungsi umum, butiran pelaksanaan abstrak, dan menggunakan objek mengejek dalam ujian. Menentukan antara muka menggunakan kata kunci antara muka dan menyenaraikan tandatangan kaedah, tanpa secara jelas mengisytiharkan jenis untuk melaksanakan antara muka. Kes penggunaan biasa termasuk log, pemformatan, abstraksi pangkalan data atau perkhidmatan yang berbeza, dan sistem pemberitahuan. Sebagai contoh, kedua -dua jenis anjing dan robot boleh melaksanakan kaedah bercakap dan menyampaikannya kepada anno yang sama

Dalam bahasa Go, operasi rentetan terutamanya dilaksanakan melalui pakej rentetan dan fungsi terbina dalam. 1.Strings.Contains () digunakan untuk menentukan sama ada rentetan mengandungi substring dan mengembalikan nilai boolean; 2.Strings.index () boleh mencari lokasi di mana substring muncul untuk kali pertama, dan jika ia tidak wujud, ia kembali -1; 3.Strings.ReplaceAll () boleh menggantikan semua substrings yang sepadan, dan juga boleh mengawal bilangan pengganti melalui string.replace (); 4. Len () Fungsi digunakan untuk mendapatkan panjang bait rentetan, tetapi apabila memproses Unicode, anda perlu memberi perhatian kepada perbezaan antara aksara dan bait. Fungsi ini sering digunakan dalam senario seperti penapisan data, parsing teks, dan pemprosesan rentetan.

TointegrategoLanggerviceswithexistingpythoninfrastructure, userestapisorgrpcforinter-serviceCommunication, membolehkangoandpythonappstointeractseamlythroughtroughtroughtroughtroughtroughtrotocols.1.usereSestaS (ViaframeworksLikeGineGinpyton)
