Mengapa Inferens Jenis Go Gagal untuk Tugasan Medan Struktur?

Inferens Jenis Gagal dalam Tugasan Go

Mekanisme inferens jenis Go biasanya membenarkan pernyataan tugasan yang ringkas. Walau bagaimanapun, sesetengah tugasan mungkin gagal membuat kesimpulan jenis seperti yang dijangkakan.

Pertimbangkan contoh berikut:

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

Coretan ini menyimpulkan dengan betul jenis pembolehubah dan menetapkannya dengan sewajarnya.

Walau bagaimanapun, tugasan serupa yang melibatkan medan struct mungkin menghadapi inferens jenis isu:

type Foo struct {
    Bar int
}

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

Dalam kes ini, pengkompil melaporkan ralat: "bukan nama di sebelah kiri :=."

Punca perbezaan ini ialah dalam contoh pertama , sebelah kiri tugasan ialah nama pembolehubah, manakala dalam contoh kedua, ia adalah medan struct. Enjin inferens jenis Go memerlukan pembolehubah bernama di sebelah kiri untuk membuat kesimpulan jenis sebelah kanan.

Isu ini diakui sebagai isu Go 6842. Ia tidak dianggap sebagai pepijat tetapi sebaliknya sebagai pengehadan pelaksanaan inferens jenis semasa.

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