将值文字分配给泛型类型的结构字段而不会遇到 IncompatibleAssign 错误

Question

这可以：type constraint interface {    ~float32 | ~float64}type foo[T constraint] struct {    val T}func (f *foo[float64]) setValToPi() {    f.val = 3.14}但是，如果我更改constraint为还包含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}为什么包含不属于同一“类型组”的类型的约束会导致此错误，我应该如何处理？

Answer 1

这个语法：

func (f *foo[float64]) setValToPi() {

    // ...

}

只是一个方法声明。它不实例化泛型类型foo。float64方括号内的标识符是类型参数的名称。T就像在类型定义中一样，它也可以是。

就像你写的：

type foo[float64 constraint] struct {

    val float64

}

由于float64是一个预先声明的标识符，您可以使用类型参数名称来隐藏它。

因此，在该方法setValToPi中，关于 of 类型的唯一已知信息val是它被限制为constraint，例如 的并集~float32 | ~float64 | ~int。

如果将方法声明更改为：

func (f *foo[T]) setValToPi() {

    // ...

}

T相反，您将得到相同的错误：

不能在赋值中使用 3.14（无类型浮点常量）作为 T 值

并且错误是由于3.14（一个无类型的浮点常量）不能总是分配给所有可能的实例foo[T]，特别T是确实是的实例~int。

float64以标识符为类型参数的游乐场： https ://gotipplay.golang.org/p/1EuAsSKdihK