Mengapa Pergi Gagal Membuat Inferens Jenis Apabila Menetapkan kepada Medan Struct Menggunakan Pengisytiharan Pembolehubah Pendek?

Go Gagal Menyimpulkan Jenis dalam Tugasan: Memahami Isu

Soalan ini berkaitan dengan ralat inferens jenis yang dihadapi semasa memberikan nilai kepada medan struct menggunakan tatatanda pengisytiharan pendek dalam Go.

The Isu

Pertimbangkan coretan kod berikut:

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

Kod ini berfungsi seperti yang dimaksudkan, membuat kesimpulan jenis yang betul untuk sebelum dan i. Walau bagaimanapun, coretan yang kelihatan serupa yang melibatkan tugasan medan struct gagal menaip infer:

type Foo struct {
    Bar int
}

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

Kali ini, Go mengadu tentang "bukan nama di sebelah kiri :=".

Penjelasan

Perbezaannya terletak pada fakta bahawa apabila menetapkan kepada medan struct menggunakan sintaks pengisytiharan pendek, Go menjangkakan bahagian kiri ialah nama struct diikuti dengan titik (.) dan nama medan. Contohnya, f.Bar. Walau bagaimanapun, f sahaja bukan sebelah kiri yang sah untuk tugasan.

Penyelesaian

Cara yang betul untuk menetapkan kepada medan struct menggunakan tatatanda pengisytiharan pendek ialah :

f.Bar, prev = next, f.Bar

Sintaks ini dengan jelas menunjukkan nama struct, nama medan dan tugasan operasi.

Adakah Ia Pepijat?

Tingkah laku yang dibincangkan di sini bukanlah pepijat. Ia adalah had notasi pengisytiharan pendek. Walau bagaimanapun, terdapat isu terbuka (Isu 6842) pada penjejak isu Go yang mencadangkan melanjutkan sintaks pengisytiharan pendek untuk membenarkan penugasan kepada medan struct. Sehingga isu ini diselesaikan, adalah disyorkan untuk menggunakan alternatif yang lebih terperinci yang ditunjukkan di atas.

Atas ialah kandungan terperinci Mengapa Pergi Gagal Membuat Inferens Jenis Apabila Menetapkan kepada Medan Struct Menggunakan Pengisytiharan Pembolehubah Pendek?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!