应使用精准类型约束而非any，如comparable支持比较、constraints.Integer支持算术、fmt.Stringer支持String()调用；~int可匹配type UserID int等别名，而int不能；业务ID需定义专属约束如type OrderID interface{ ~int64 }。

直接用接口定义约束，而不是靠 any 或运行时判断——编译期就能卡住非法类型，避免 json.Unmarshal 传 []byte 却期望 string 这类低级错误。

泛型函数必须显式声明约束，any 不是万能解药

any（即 interface{}）只允许赋值、传参、反射，连 == 都不支持。写 func F[T any](x T) { _ = x == x } 会直接报错：invalid operation: x == x。这不是语法问题，是约束没给操作能力。

• 需要比较？加 comparable：它只保证 == 和 != 可用，不暗示可排序或可哈希
• 需要加减乘除？别用 any，改用 constraints.Integer 或自定义 interface{ ~int | ~float64 }
• 需要调 .String()？约束为 fmt.Stringer，不是 any + 类型断言

~int 和 int 在约束里完全不是一回事

~int 表示“底层类型是 int 的所有类型”，比如 type UserID int 能匹配 ~int，但不满足纯 int。业务中 ID、Amount 这类别名才是常态，硬写 int 会导致调用失败。

Golang Uber Dig

使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等

下载

• 正确写法：type EntityID interface{ ~int64 | ~string }，然后 func FindByID[T EntityID](id T)
• 错误写法：func FindByID[T int64](id T) → UserID(123) 传不进去
• ~ 只能用于基本类型，不能写 ~MyStruct；~string 没意义，因为 string 本身没有别名类型

用 golang.org/x/exp/constraints 要小心兜底陷阱

constraints.Number 看似方便，但它把 int 和 float64 全包进去了，而实际业务里整数 ID 和浮点价格不该混用。更糟的是，它无法表达“这个参数必须是数据库主键”这种语义。

• 数值运算确实可用 constraints.Integer，但仅限工具函数
• 业务字段（如 OrderID、CacheKey）应定义专属约束：type OrderID interface{ ~int64 }
• constraints 包里的类型首字母小写（如 integer）跨包不可见，必须用大写 Integer

真正难的不是写对约束语法，而是想清楚“这个参数在函数体里到底要被怎么用”——是只读？要比较？要序列化？要算术？每一步操作都得有对应的能力支撑，否则约束就只是装饰。

golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！