將值文字賦值給通用結構體欄位:排除不相容賦值錯誤
在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 實例。
解決方案:
要解決此問題,我們有多種選擇:
func (f *foo[T]) setValToPi() { // ... }
這將導致相同的錯誤,但使用T 而不是float64。
func (f *foo[T]) SetValue(val T) { f.val = val }
這接受型別參數型別的值,允許將像3.14 這樣的值文字指派給任何約束內的子型別。
type foo struct { val interface{} } func (f *foo) SetPi() { f.val = 3.14 }
以上是為什麼在 Go 中將值文字賦值給通用結構體欄位有時會導致「IncompleteAssign」錯誤?的詳細內容。更多資訊請關注PHP中文網其他相關文章!