Mengapakah Menetapkan Literal Nilai kepada Medan Struktur Generik dalam Go Kadang-kadang Mengakibatkan Ralat 'IncompatibleAssign'?

Menetapkan Literal Nilai kepada Medan Struktur Generik: Menyelesaikan Masalah Ralat IncompatibleAssignment

Dalam Go, jenis generik boleh ditakrifkan dengan kekangan yang menyekat jenis yang dibenarkan untuk ladang mereka. Walau bagaimanapun, apabila memberikan literal nilai kepada medan sedemikian, kekangan tertentu boleh mencetuskan ralat "IncompatibleAssign".

Pertimbangkan senario berikut:

type constraint interface {
    ~float32 | ~float64
}

type foo[T constraint] struct {
    val T
}

func (f *foo[float64]) setValToPi() {
    f.val = 3.14
}

Kod ini dikompil tanpa ralat kerana antara muka kekangan termasuk kedua-dua ~float32 dan ~float64. Walau bagaimanapun, jika kita mengubah suai kekangan untuk turut memasukkan ~int:

type constraint interface {
    ~float32 | ~float64 | ~int
}

type foo[T constraint] struct {
    val T
}

func (f *foo[float64]) setValToPi() {
    f.val = 3.14 // IncompatibleAssign: cannot use 3.14 (untyped float constant) as float64 value in assignment
}

Kami menghadapi ralat kerana nilai literal 3.14 (pemalar titik terapung yang tidak ditaip) tidak boleh diberikan kepada semua kemungkinan kejadian foo[T ], khususnya yang T ialah ~int.

Isu timbul kerana kaedah pengisytiharan:

func (f *foo[float64]) setValToPi() {
    // ...
}

sekadar pengisytiharan. Ia tidak menunjukkan jenis generik foo. Pengecam float64 dalam kurungan segi empat sama ialah nama parameter jenis, bukan jenis tetap.

Oleh itu, dalam kaedah ini, satu-satunya maklumat yang diketahui tentang jenis val ialah ia dikekang oleh kekangan. Dalam kes ini, kekangan ialah kesatuan ~float32 | ~float64 | ~int, bermakna nilai 3.14 tidak boleh diberikan kepada contoh ~int foo[T].

Penyelesaian:

Untuk menyelesaikan isu ini, kami mempunyai beberapa pilihan :

1. Isytihar kaedah sebagai:

func (f *foo[T]) setValToPi() {
    // ...
}

Ini akan mengakibatkan ralat yang sama, tetapi dengan T dan bukannya float64.

2. Isytihar kaedah sebagai:

func (f *foo[T]) SetValue(val T) {
    f.val = val
}

Ini menerima nilai jenis parameter jenis, membenarkan penetapan literal nilai seperti 3.14 kepada mana-mana subjenis dalam kekangan.

3. Gunakan mana-mana/antara muka{} sebagai jenis medan dan laksanakan kaedah tersuai untuk menyemak dan menukar nilai yang diperuntukkan dalam kaedah:

type foo struct {
    val interface{}
}

func (f *foo) SetPi() {
    f.val = 3.14
}

Atas ialah kandungan terperinci Mengapakah Menetapkan Literal Nilai kepada Medan Struktur Generik dalam Go Kadang-kadang Mengakibatkan Ralat 'IncompatibleAssign'?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!