将值文字赋值给通用结构体字段:排除不兼容赋值错误
在 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中文网其他相关文章!