如何确保使用泛型时传递的值具有特定字段？

一分耕耘，一分收获！既然都打开这篇《如何确保使用泛型时传递的值具有特定字段？》，就坚持看下去，学下去吧！本文主要会给大家讲到等等知识点，如果大家对本文有好的建议或者看到有不足之处，非常欢迎大家积极提出！在后续文章我会继续更新Golang相关的内容，希望对大家都有所帮助！

我试图在 go 中定义一个通用函数，它接受具有某些字段的值，例如 id int。我尝试了几种方法，但似乎都不起作用。这是我尝试过的示例。

package main

import (
    "fmt"
)

func Print[T IDer](s T) {
    fmt.Print(s.ID)
}

func main() {
    Print(Person{3, "Test"})
}

type IDer interface {
    ~struct{ ID int }
}

type Person struct {
    ID   int
    Name string
}

type Store struct {
    ID     int
    Domain string
}

这是游乐场链接：https://gotipplay.golang.org/p/2i4rsucwagf

在上面的示例中，我想保证传递给 print 函数的每个值都有一个属性 id int，该属性也可以在函数中访问。有什么方法可以在 go 中实现此目的，而无需在接口中定义方法（例如 getid() int）？

正确答案

有什么方法可以在 go 中实现此目的，而无需在接口中定义方法（例如 getid() int）？

不，您必须在接口中定义方法。

go 1.18 中的泛型实现不支持结构类型，尽管原始类型参数提案建议支持。要访问联合中的公共字段，另请参阅 这个解释。

尽管如此，我认为值得指出一个很容易从您的示例中产生的误解：近似值 ~t （波形符类型）的含义意味着“基础类型为 t 的类型集。 p>

现在，当你写：

~struct{ id int }

这意味着其基础类型完全为 struct{ id int }。无论如何，这不包括具有字段 id int 和其他内容的结构。例如。 type foo struct { id int; 的底层类型；名称字符串 } 是 struct { id int;命名字符串 }，而不是 struct{ id int }，这样无论如何都无法满足约束。

当前时间参数实现没有指定部分结构类型的语法。我记得提案在接口约束中添加字段术语（以及类型术语和方法） ），上线了：

type IDer interface {
    ID int
}

这将在不破坏波形符 ~ 的含义的情况下实现您想要执行的操作。但这不会包含在 go 1.18 中。

今天关于《如何确保使用泛型时传递的值具有特定字段？》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！