Go 泛型约束如何同时支持整数别名与自定义方法

想让一个泛型函数既接受 int、int64 等整数底层类型，又要求调用方提供自己的方法，关键是把两类条件写进同一个接口约束：用 ~ 表示底层类型集合，再单独声明方法。例如 interface{ ~int | ~int64; Label() string }。类型集合负责筛选数值类型，方法项负责筛选行为，两者是“同时满足”的关系。

一个约束如何同时表达底层类型和方法

Go 的一般接口可以由类型项和方法项组成。类型项用并集表达“允许哪些底层类型”，方法项则表达“这些类型还必须具备什么行为”。接口的最终类型集合是各项的交集，所以不能只写 ~int | ~int64，否则没有任何方法可以在泛型函数中直接调用。

package main

import "fmt"

// IntegerLabel 只接受底层类型为 int 或 int64，且实现 Label 的类型。
type IntegerLabel interface {
	~int | ~int64
	Label() string
}

// Describe 保留调用方的具体整数类型，同时调用约束承诺的方法。
func Describe[T IntegerLabel](value T) string {
	return fmt.Sprintf("%d：%s", value, value.Label())
}

这里的 | 只连接类型项，表示底层类型可以是 int 或 int64；Label() string 没有参与并集，而是对整个集合追加共同要求。于是，只有同时满足底层类型和方法集的类型才能实例化 Describe。

先分清定义类型和类型别名

标题里常说的“整数别名”容易和 Go 的正式术语混在一起。下面两种声明的语义完全不同：

package main

// Score 是新定义类型，因此可以拥有自己的方法。
type Score int

// Label 是 IntegerLabel 约束要求的方法。
func (s Score) Label() string {
	if s >= 60 {
		return "及格"
	}
	return "需要复习"
}

// OrderID 也属于底层为 int 的定义类型，但没有 Label 方法。
type OrderID int

// type ScoreAlias = int 不能再声明 Label 方法，因为它不是新定义类型。

因此 Describe(Score(88)) 可以通过约束，而 Describe(OrderID(88)) 会在实例化时失败。~ 放宽的是底层类型，不会放宽方法要求；“是整数”与“有 Label 方法”必须同时成立。

在泛型函数中保留数值和行为

定义类型准备好后，可以直接调用泛型函数。类型推断会从实参得到 T，而约束检查再确认它是否满足类型集合和方法集。函数返回值仍然是调用方的具体类型，不会因为约束写成接口就自动变成 int 或 any。

func main() {
	// Score 同时满足 ~int 和 Label() string。
	fmt.Println(Describe(Score(88)))

	// OrderID 只有整数底层类型，没有 Label，不能实例化 Describe。
	// fmt.Println(Describe(OrderID(100)))
}

实际工程中可以把方法换成 Unit() string、Kind() string 等领域行为。约束越贴近函数真正需要的能力越好；如果函数只做加减，就不要为了“以后可能用到”强加一个方法，否则普通 int 会被无谓地排除。

常见问题

~int 能匹配 int32 吗？

不能。~int 只匹配底层类型为 int 的类型；需要支持 int32 时，必须把 ~int32 作为独立类型项写入约束。

为什么写了方法，函数体里仍然不能使用某个运算？

方法集只保证方法存在，不会额外授予运算能力。运算必须对约束类型集合中的所有类型都成立；先检查类型项是否覆盖同一种可用操作。

普通 int 为什么不能传给 IntegerLabel？

普通 int 虽然满足 ~int，但没有自定义的 Label 方法，所以不满足完整约束。可以降低约束为纯整数集合，或定义一个新的类型并绑定方法。

类型别名怎样才能参与这个约束？

别名本身不能新增方法。若需要自定义行为，改用定义类型，例如 type Score int，再为它声明方法。