為什麼在 Go 中將值文字賦值給通用結構體欄位有時會導致「IncompleteAssign」錯誤？

將值文字賦值給通用結構體欄位：排除不相容賦值錯誤

在Go 中，可以使用限制允許類型的約束來定義泛型類型為了他們的領域。但是，當將值文字指派給此類欄位時，某些約束可能會觸發「IncompleteAssign」錯誤。

考慮以下場景：

type constraint interface {
    ~float32 | ~float64
}

type foo[T constraint] struct {
    val T
}

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

此程式碼編譯時不會出現錯誤，因為約束介接包括~float32 和 ~float64。但是，如果我們修改約束以還包括~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
}

我們會遇到錯誤，因為值文字3.14 （無類型浮點常數）無法分配給foo[T 的所有可能實例]，特別是T 為~int 的那些。

出現問題是因為方法聲明：

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

只是一份聲明。它不會實例化泛型類型 foo。方括號內的識別碼float64是型別參數名稱，而不是固定型別。

因此，在方法內部，關於val類型的唯一已知資訊是它受到constraint約束。在本例中，約束是並集 ~float32 | 〜float64 | ~int，表示值 3.14 無法指派給 foo[T] 的 ~int 實例。

解決方案：

要解決此問題，我們有多種選擇:

1. 聲明方法as:

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

這將導致相同的錯誤，但使用T 而不是float64。

2. 將方法宣告為：

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

這接受型別參數型別的值，允許將像3.14 這樣的值文字指派給任何約束內的子型別。

3. 使用any/interface{}作為欄位類型並實作自訂方法來檢查和轉換方法內指定的值：

type foo struct {
    val interface{}
}

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

以上是為什麼在 Go 中將值文字賦值給通用結構體欄位有時會導致「IncompleteAssign」錯誤？的詳細內容。更多資訊請關注PHP中文網其他相關文章！