Go 泛型约束里为什么不能直接写所有方法调用

看到泛型参数 T 却不能写 v.String()、v.Reset()，通常不是 Go 泛型“不能用方法”，而是约束没有承诺这项能力。~int | ~string 只描述允许的底层类型；编译器只能使用类型集合中所有类型都具备的操作。想调用自定义方法，就必须把方法签名写进约束，并确认传入的是拥有该方法集的类型。

先分清类型集与方法集

Go 规范把类型约束定义为接口：它一方面规定类型参数可以接受哪些类型，另一方面控制类型参数值支持的操作。下面的约束允许底层类型为 int 或 float64 的命名类型，但没有声明任何业务方法。

package main

import "fmt"

type Numeric interface {
	~int | ~float64
}

func label[T Numeric](v T) string {
	// 数值约束保证类型范围，但没有承诺 String 方法。
	return fmt.Sprint(v)
	// 下面的调用不能直接写：Numeric 没有声明 String。
	// return v.String()
}

即使当前项目里的某个命名类型恰好实现了 String() string，编译器也不能据此放开调用。约束描述的是整个类型集，而不是当前文件里碰巧出现的几个类型；未来还可能有另一个满足 ~int 的类型没有这个方法。

只把稳定能力写进约束

如果函数的结果确实依赖一个方法，就把最小方法集合写出来。这样约束同时表达“谁能传入”和“函数会调用什么”，调用点也会获得明确的静态检查。

type Describer interface {
	Describe() string
}

func show[T Describer](v T) string {
	// 约束已声明 Describe，因此这里对所有 T 都成立。
	return v.Describe()
}

type OrderID int

func (id OrderID) Describe() string {
	// 命名类型可以保留底层 int，同时提供自己的方法。
	return fmt.Sprintf("order-%d", id)
}

如果还要限制底层类型，可以把两部分合在一个约束里，例如 interface { ~int | ~string; Describe() string }。这表示类型实参必须同时满足底层类型条件和方法条件，而不是“先按底层类型放行，再假设它有方法”。约束越贴近函数实际使用的能力，错误越早暴露，泛型 API 也越容易复用。

指针接收者会再缩小可用类型

另一个容易混淆的地方是接收者。值接收者方法属于 T 的方法集，值接收者和指针接收者方法一起属于 *T 的方法集。普通代码里，编译器有时会为可寻址变量自动取地址；但类型参数是否满足约束，仍按实际类型实参的方法集判断。

type Cache struct{}

func (*Cache) Reset() {
	// Reset 修改真实缓存时通常使用指针接收者。
}

type Resettable interface {
	Reset()
}

func clear[T Resettable](v T) {
	// 只有方法集包含 Reset 的类型实参才能到达这里。
	v.Reset()
}

func use() {
	clear(&Cache{})
	// clear(Cache{}) // Cache 的方法集没有 Reset，不能满足约束。
}

排查报错时先看调用处传入的是 T 还是 *T，再看方法是值接收者还是指针接收者。不要为了消除一个编译错误就把约束改成 any，那只会把真正的能力缺口推迟到函数内部。

用一张清单定位方法调用报错

1. 列出泛型函数实际调用的方法、运算符或内置操作。
2. 检查约束是类型项、方法项，还是两者的交集；只有类型项并不代表拥有自定义方法。
3. 把需要的方法写成最小接口，避免把无关能力塞进公共约束。
4. 确认每个类型实参的接收者形式，尤其是 T 与 *T 的区别。

一句话判断：类型集回答“哪些类型可以进来”，方法集回答“进来以后共同能做什么”。泛型代码只能依赖后一个答案里明确出现的能力。

常见问题

约束里写了 ~int，为什么不能调用命名类型的方法？

~int 只约束底层类型，允许多个拥有不同方法集的命名类型；方法必须单独写进约束。

把约束改成 any 能解决吗？

不能。any 放弃了方法保证，类型参数值仍不能直接调用任意自定义方法。

值能自动取地址，为什么泛型实参还会失败？

普通表达式的自动取地址规则不等于类型满足约束。传入 Cache 时，它的静态方法集仍不包含指针接收者的 Reset。