首頁 > 後端開發 > Golang > 為什麼在 Go 中將值文字賦值給通用結構體欄位有時會導致「IncompleteAssign」錯誤?

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

Susan Sarandon
發布: 2024-12-19 06:54:20
原創
625 人瀏覽過

Why Does Assigning Value Literals to Generic Struct Fields in Go Sometimes Result in

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

在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。

  1. 將方法宣告為:
func (f *foo[T]) SetValue(val T) {
    f.val = val
}
登入後複製

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

  1. 使用any/interface{}作為欄位類型並實作自訂方法來檢查和轉換方法內指定的值:
type foo struct {
    val interface{}
}

func (f *foo) SetPi() {
    f.val = 3.14
}
登入後複製

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

來源:php.cn
本網站聲明
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn
作者最新文章
熱門教學
更多>
最新下載
更多>
網站特效
網站源碼
網站素材
前端模板