为什么在 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中文网其他相关文章！