Mengapa Inferens Jenis Go Gagal dalam Tugasan Struktur Menggunakan Perisytiharan Pendek?

Go's Enigma: Kekurangan Jenis Inferens dalam Struct Assignment

Dalam Go, memberikan nilai menggunakan sintaks pengisytiharan tangan pendek adalah amalan biasa untuk meningkatkan kebolehbacaan dan kecekapan kod. Walau bagaimanapun, kesederhanaan ini boleh menjejaskan pengaturcara apabila menghadapi senario tertentu, seperti yang ditunjukkan oleh coretan berikut:

i := 10
next := 11
prev, i := i, next

Coretan kod ini memberikan nilai di sebelah i sambil menugaskan semula i kepada sebelumnya. Tingkah laku ini intuitif dan berfungsi seperti yang diharapkan. Walau bagaimanapun, apabila medan struct terlibat, inferens taip gagal, seperti yang terbukti dalam kod berikut:

type Foo struct {
    Bar int
}

f := Foo{10}
next := 11
prev, f.Bar := f.Bar, next

Dalam kes ini, percubaan untuk menetapkan nilai kepada medan struct menggunakan sintaks tangan pendek menghasilkan ralat pengkompil: "bukan nama di sebelah kiri :="

Menariknya, ralat ini hanya berlaku apabila berurusan dengan struct. Untuk merungkai enigma di sebalik tingkah laku ini, kami menyelidiki mekanisme rumit pengkompil Go untuk inferens jenis.

Apabila pengkompil menemui pengisytiharan pendek, ia cuba menyimpulkan jenis berdasarkan ungkapan di sebelah kanan- sebelah tangan tugasan. Untuk pembolehubah, proses ini adalah mudah. Walau bagaimanapun, apabila medan struct ditemui, pengkompil menyemak padanan antara jenis medan dan jenis ungkapan sebelah kanan.

Dalam contoh pertama, sebelah kanan ialah literal integer (11) yang sepadan dengan jenis i. Oleh itu, pengkompil boleh membuat kesimpulan bahawa prev juga merupakan integer, dan tugasan berjaya.

Dalam contoh kedua, sebelah kanan ialah ungkapan yang melibatkan medan struct (f.Bar). Memandangkan pengkompil perlu memastikan bahawa jenis sebelah kiri (yang dalam kes ini ialah f.Bar) sepadan dengan jenis sebelah kanan, ia akan terjerat dalam konflik: sebelah kanan ialah integer , tetapi bahagian kiri ialah medan struct jenis int. Percanggahan ini mengakibatkan ketidakupayaan pengkompil untuk menyimpulkan jenis prev, oleh itu ralat.

Aspek yang membingungkan bagi situasi ini ialah sementara mesej ralat menunjukkan "bukan nama di sebelah kiri :=" sebagai penyebabnya, isu asas nampaknya terletak pada inferens jenis yang gagal disebabkan oleh penglibatan medan struct.

Tingkah laku ini telah dilaporkan sebagai isu terbuka dalam penjejak isu Go, menonjolkan had inferens jenis Go apabila berurusan dengan struct. Walaupun ia mungkin tidak layak secara teknikal sebagai pepijat, ia pastinya mewakili kawasan di mana ketegaran pengkompil menghalang amalan pengekodan intuitif.

Atas ialah kandungan terperinci Mengapa Inferens Jenis Go Gagal dalam Tugasan Struktur Menggunakan Perisytiharan Pendek?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!