Go 泛型约束怎样限制底层类型

写一个同时支持多个数值类型的小工具时，泛型参数不能只写成“任意类型”。如果函数需要做加法，就要明确告诉编译器哪些类型可以进入；如果还希望接收自定义类型，例如 type Score int64，则需要把“底层类型”也纳入约束。最实用的做法是：精确限制时直接列出类型，允许拥有相同底层类型的自定义类型时使用 ~，需要作为 map 键时额外使用 comparable。

官方地址：https://go.dev/doc/tutorial/generics

• 精确类型：int64 | float64 只接受这两个预定义类型。
• 底层类型：~int64 | ~float64 还接受底层类型分别为 int64、float64 的自定义类型。
• 可比较约束：泛型参数要作为 map 键时，键参数必须满足 comparable。

先用一个小工具看清约束目标

我们做一个按名称汇总分数的小工具：调用方可以传入普通整数、浮点数，也可以传入业务自己的命名类型。项目目标不是覆盖所有数值运算，而是让约束集合与函数实际使用的操作保持一致。

package main

import "fmt"

// Score 是业务自定义类型，用来验证 ~int64 是否允许底层类型相同的类型。
type Score int64

// Ratio 是另一种自定义类型，用来验证 ~float64 的底层类型匹配。
type Ratio float64

// Number 只允许底层类型为 int64 或 float64 的类型参与加法。
type Number interface {
	~int64 | ~float64
}

// SumByName 按名称汇总数值；K 作为 map 键，所以必须可比较。
func SumByName[K comparable, V Number](items map[K]V) V {
	var total V
	for _, value := range items {
		total += value
	}
	return total
}

func main() {
	// 两个 map 分别使用自定义整数和自定义浮点类型。
	scores := map[string]Score{"甲": 80, "乙": 92}
	ratios := map[string]Ratio{"首轮": 0.35, "复核": 0.65}
	fmt.Println(SumByName(scores), SumByName(ratios))
}

这里的关键不是把所有类型都放进接口，而是让每个操作都有约束依据：V 需要支持 +，所以使用数值类型集合；K 要出现在 map[K]V 中，所以声明为 comparable。类型推断可以从 map 参数推导出 K 和 V。

精确类型和底层类型的区别

把约束写成 int64 | float64 时，允许集合中的就是这两个具体类型。下面的自定义类型虽然底层表示相同，但不是精确的 int64，因此不能匹配这个约束。

// ExactNumber 只接受两个预定义类型，不接受 Score 或 Ratio。
type ExactNumber interface {
	int64 | float64
}

// UnderlyingNumber 接受底层类型为 int64 或 float64 的自定义类型。
type UnderlyingNumber interface {
	~int64 | ~float64
}

// AddOne 需要 V 支持加法，因此约束不能写成 any。
func AddOne[V UnderlyingNumber](value V) V {
	// 常量 1 可以转换到当前 V，返回值仍保留调用方的具体类型。
	return value + 1
}

~T 表示底层类型为 T 的类型集合，因此 Score 可以传给 AddOne。它不会让不相关类型获得数值运算能力，也不会改变命名类型本身；约束只决定某个类型参数能否进入泛型代码。

把约束放到合适的位置

如果只有一个函数使用这组类型，可以把接口约束直接写在类型参数列表中；如果多个函数都需要相同边界，单独命名约束更容易维护。方法约束和类型集合也可以组合，但不要为了“看起来通用”而放入函数不会使用的类型。

// Number 是可复用的底层类型集合。
type Number interface {
	~int64 | ~float64
}

// WeightedAverage 要求输入值可做加法，并使用 float64 权重。
func WeightedAverage[V Number](values []V, weight float64) float64 {
	var total V
	for _, value := range values {
		// 先在 V 内聚合，避免每轮都改变泛型值的类型语义。
		total += value
	}
	if len(values) == 0 {
		// 空切片没有平均值，返回零值并避免除零。
		return 0
	}
	return float64(total) * weight / float64(len(values))
}

注意，类型集合解决的是“哪些类型能作为参数”，方法集合解决的是“这些类型必须提供哪些方法”。两者都属于约束，但表达的能力不同；如果函数需要调用 Normalize()，就应该把该方法写进接口，而不是只依赖底层类型。

如何判断约束是否写得过宽或过窄

先看泛型函数体实际做了什么，再反推约束。只读取值，可以考虑更宽的约束；做加法、比较或转换，就必须让约束覆盖对应操作。若参数要作为 map 键，键类型还必须满足 comparable；切片、map 和函数类型不能直接作为 map 键。

最后可以用一个最小调用清单验收：普通 int64 和自定义 Score 都能进入 SumByName；字符串不能进入 Number；当 K 被换成不可比较类型时，编译器应在使用 map[K]V 的位置报告约束问题。这里的验收是编译边界的设计说明，不要把 ImageGen 图当成真实运行结果。

常见问题

int64 和 ~int64 有什么区别？

int64 只匹配精确的预定义类型；~int64 匹配底层类型为 int64 的类型，包括命名类型 Score。

有了 comparable 就能做加法吗？

不能。comparable 只说明值可以使用相等或不等比较，不能单独保证加法、排序或业务方法存在。需要加法时仍要提供数值类型集合。

为什么约束满足了，泛型函数体仍然报错？

因为约束必须覆盖函数体实际使用的每个操作。检查加法、比较、转换和方法调用，再把对应的类型集合或方法集合补进约束。