首页 > 后端开发 > Golang > 为什么在 Go 中将值文字赋值给通用结构体字段有时会导致'IncompleteAssign”错误?

为什么在 Go 中将值文字赋值给通用结构体字段有时会导致'IncompleteAssign”错误?

Susan Sarandon
发布: 2024-12-19 06:54:20
原创
627 人浏览过

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
作者最新文章
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板