无法将未类型化的 int 分配给通用结构字段

Question

给定一个通用结构：type R2[IDTYPE comparable] struct {     ID        IDTYPE     IsActive  bool}实现接口：type Storable interface {     Store(ctx context.Context) error}我希望以下定义有效：func (r R2[int]) Store(ctx context.Context) error {     r.ID = 123 // not allowed     // ...     return nil}但是，方法定义是不允许的。错误是：'123' (type untyped int) cannot be represented by the type IDTYPE (int)在 Go 中还不能进行这种通用字段分配吗？附录：在游乐场上，错误是：cannot use 123 (untyped int constant) as int value in assignment并转换为int(123)不起作用。这种情况下的错误是：cannot use comparable(123) (untyped int constant 123) as int value in assignment

Answer 1

实例化必须发生在类型级别，而不是方法级别，并且方法不能引入新的类型参数，请参阅如何在 Go 中创建泛型方法？（方法必须没有类型参数）

这意味着当你想使用 时R2，你必须为类型参数选择类型参数，而方法不能改变这些，你会“卡住”你在实例化时选择的类型R2。

另请注意，由于 for 的约束IDTYPE是comparable，例如string，整数123不能在所有情况下分配给该ID字段，因为它可能具有类型string。

如果您想要/必须为 ID 处理多个具体类型，泛型不是正确的选择。可以改用接口：

type R2 struct {

    ID       any

    IsActive bool

}

另请注意，如果您希望修改接收器（例如结构的字段），则接收器必须是指针。

ID如果您希望限制存储在to中的值comparable，请为其使用（通用）函数。

以下是您的操作方法：

type R2 struct {

    ID       any

    IsActive bool

}

func (r *R2) Store(ctx context.Context) error {

    setID(r, 123)

    return nil

}

func setID[ID comparable](r *R2, id ID) {

    r.ID = id

}

测试它：

r := &R2{}

var s Storable = r

s.Store(context.TODO())

fmt.Println(r)

哪些输出（在Go Playground上尝试）：

&{123 false}

ID这提供了灵活性（您可以使用为字段设置任何可比较的值setID()），并提供编译时安全性：尝试设置不可比较的值将导致编译时错误，例如：

setID(r, []int{1}) // Error: []int does not implement comparable