如何无需枚举所有自定义结构体来定义Go泛型函数？

在Go里没法直接像你期望的那样用结构体作为泛型约束（Go不支持结构子类型），但有两种靠谱的方式实现需求：

方案一：方法接口约束（编译时安全，推荐） #

定义一个要求实现Id() string方法的接口，用它作为泛型约束。新增结构体时只需要实现这个方法，不用修改函数：

package main

import "fmt"

// 定义约束接口：要求类型必须实现Id()方法
type HasId interface {
	Id() string
}

type One struct {
	Id string
	// 其他字段
}

// 给One实现Id()方法
func (o One) Id() string {
	return o.Id
}

type Two struct {
	Id string
	// 其他字段
}

// 给Two实现Id()方法
func (t Two) Id() string {
	return t.Id
}

// 泛型函数，接收所有实现HasId的类型
func Test[M HasId](m M) {
	fmt.Println(m.Id())
}

func main() {
	one := One{Id: "1"}
	Test(one) // 输出1

	two := Two{Id: "2"}
	Test(two) // 输出2
}

方案二：反射实现（无需修改结构体，运行时检查） #

如果不想给每个结构体加方法，可以用反射在函数内部读取Id字段，但这种方式没有编译时检查，传入不符合要求的类型会panic：

package main

import (
	"fmt"
	"reflect"
)

type One struct {
	Id string
	// 其他字段
}

type Two struct {
	Id string
	// 其他字段
}

func Test(m any) {
	val := reflect.ValueOf(m)
	idField := val.FieldByName("Id")
	if !idField.IsValid() || idField.Kind() != reflect.String {
		panic("传入的类型必须包含string类型的Id字段")
	}
	fmt.Println(idField.String())
}

func main() {
	one := One{Id: "1"}
	Test(one) // 输出1

	two := Two{Id: "2"}
	Test(two) // 输出2
}

补充说明 #

Go的泛型系统基于接口约束，但接口只能约束方法，不能直接约束结构体字段。所以方案一虽然需要给结构体加方法，但能保证编译时类型安全，是长期维护的最优选择。

内容的提问来源于stack exchange，提问作者Andrew Bezzub