Go 泛型约束中的 ~int 和 int 为什么含义不同

Go 泛型约束里的 int 和 ~int 只差一个波浪号，但接收范围完全不同：int 只允许具体的 int，~int 允许所有底层类型为 int 的命名类型。比如 type Score int 是命名类型，它的底层类型是 int，因此能满足 ~int，却不能满足只写 int 的约束。

记忆方法：要锁定一个精确类型就写 int；要接收保留自定义类型的整数，就写 ~int。类型别名 type ScoreAlias = int 仍然就是 int，不要把它和 type Score int 混为一谈。

～int 放宽的是底层类型集合

Go 规范把泛型约束看成类型集合。一个普通类型项 int 的集合只有它自己；带波浪号的 ~int 则表示“所有底层类型为 int 的非接口类型”。波浪号不是把值转换成整数，也不是运行时判断，它只参与编译期的约束匹配。

先看两个定义：

type Score int       // 定义一个底层类型为 int 的命名类型
type ScoreAlias = int // 别名仍与 int 表示同一个类型

type IntLike interface {
    ~int // 允许 int 以及底层类型为 int 的命名类型
}

Score 与 int 不是同一个类型，但 Score 的底层类型是 int，所以它属于 IntLike 的类型集合。ScoreAlias 则只是另一个名字，按精确的 int 约束也能通过。

int 只接受一个具体类型

把约束写成 interface{ int } 时，类型集合只有 int。这种写法适合 API 明确只想处理内置整数，或者后续代码依赖“参数就是 int”这一精确边界的场景。约束接口只能出现在类型参数位置，不能把它当作普通变量类型使用。

type ExactInt interface {
    int // 只允许精确的 int
}

func OnlyInt[T ExactInt](v T) int {
    return int(v) // 结果固定为内置 int
}

func AddOne[T interface{ ~int }](v T) T {
    return v + 1 // 返回值保留调用方的 T 类型
}

type Score int

var a = OnlyInt(10)       // 合法：10 的类型是 int
var b = AddOne(Score(9))  // 合法：Score 满足 ~int
// var c = OnlyInt(Score(9)) // 不合法：Score 不是精确的 int

这里的差异不是“能不能做加法”。两种约束都可以在满足条件时支持加法，真正不同的是允许哪些类型参数进入函数。AddOne(Score(9)) 的结果仍然是 Score，这对金额、分数、状态码等希望保留命名语义的类型很有用。

命名类型、别名和底层类型要分开判断

排查约束问题时，先问“这是新定义的类型，还是别名”。type Score int 会产生独立类型，赋值、方法集和泛型匹配都要按命名类型处理；type ScoreAlias = int 不产生新类型。然后再问约束需要精确类型还是底层类型集合，最后才决定是否写波浪号。

根据 API 目标选择写法

如果函数就是一个“只接受内置 int 的适配层”，使用 interface{ int } 更能表达边界；如果函数只依赖整数的运算，并且希望调用方的命名类型进来后仍保留类型身份，使用 ~int。不要为了看起来更通用就默认加波浪号，因为更宽的集合也意味着 API 接受更多自定义类型。

type Counter int

func Next[T interface{ ~int }](n T) T {
    // 只依赖加法，因此允许底层类型为 int 的命名类型
    return n + 1
}

func AsIndex[T interface{ int }](n T) int {
    // 这里表达的是索引适配边界，调用者必须提供精确 int
    return int(n)
}

var count Counter = Next(Counter(3)) // 结果仍是 Counter
var index int = AsIndex(3)           // 结果是 int

一个实用检查清单是：约束中的类型项是否必须精确匹配；自定义类型是否应被接纳；返回值是否需要保留 T；类型别名是否被误当成命名类型；组合多个类型项后是否会形成空的类型集合。把这些问题写进 API 评审，比只看波浪号是否“能编译”更可靠。

常见问题

~int 会自动把字符串转换成整数吗？

不会。它只描述编译期允许的类型集合，不执行值转换；string 或底层类型为 string 的命名类型都不满足 ~int。

为什么 type Score int 不能满足 interface{ int }？

因为它是新的命名类型，虽然底层表示是 int，但类型身份不是精确的 int。需要覆盖它时应使用 ~int。

类型别名一定要写波浪号吗？

不一定。type ScoreAlias = int 与 int 是同一个类型，因此可以满足精确的 int；是否使用 ~int 取决于 API 是否还要接收其他命名类型。