Mengapa Inferens Jenis Go Gagal untuk Medan Struktur dalam Pengisytiharan Pembolehubah Pendek?

Go Type Inferens Kekaburan dalam Tugasan dengan Structs

Pertimbangkan coretan kod Go berikut:

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

Dalam coretan ini, jenis i berjaya disimpulkan sebagai int semasa tugasan. Walau bagaimanapun, apabila coretan yang serupa melibatkan medan struct, inferens jenis gagal, seperti yang digambarkan di bawah:

type Foo struct {
    Bar int
}

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

Dalam coretan yang terakhir, inferens jenis untuk f.Bar gagal dengan mesej ralat "bukan nama f.Bar di sebelah kiri :=".

Untuk menerangkan tingkah laku ini, kami beralih kepada isu yang berkaitan dalam Pergi penjejak:

Isu Github 6842

Isu 6842 ("spesifikasi: Menetapkan kepada medan dengan tatatanda pengisytiharan pendek") mendokumentasikan tingkah laku ini sebagai isu yang luar biasa. Masalahnya berpunca daripada kekaburan dalam sintaks tugasan. Khususnya, pengkompil tidak dapat menentukan sama ada f.Bar bertujuan untuk menjadi nama pembolehubah atau nama medan dalam ungkapan f.Bar, seterusnya.

Sementara laporan isu menandakannya sebagai terbuka, ulasan kemudian mencadangkan bahawa ia mungkin telah diselesaikan atau digantikan oleh perubahan lain. Walau bagaimanapun, kata rasmi terkini kekal bahawa ini adalah isu yang diketahui.

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