Go泛型Abs函数需用类型约束限定数字类型，Go 1.23+推荐constraints.Signed | constraints.Float，避免Ordered语义过宽。
Go语言泛型的绝对值函数（Abs）不能直接对任意类型取绝对值，因为“绝对值”只对有符号数字类型有意义。你需要用类型约束（type constraint）限定只能传入支持负号和比较的数字类型，比如 int、int64、float64 等。
用 constraints.Ordered + 条件判断实现
最常用、兼容性好的方式是借助标准库 golang.org/x/exp/constraints（Go 1.18–1.22）或 Go 1.23+ 的 constraints.Signed | constraints.Float，但更推荐手动定义更精确的约束——因为 Ordered 包含字符串、time.Time 等不适用类型，语义过宽。
- Go 1.23+ 推荐写法（使用内置
constraints包）：
import "constraints"
func Abs[T constraints.Signed | constraints.Float](x T) T {
if x < 0 {
return -x
}
return x
}
- Go 1.18–1.22 可用
golang.org/x/exp/constraints（需go get）：
import "golang.org/x/exp/constraints"
func Abs[T constraints.Signed | constraints.Float](x T) T {
if x < 0 {
return -x
}
return x
}
为什么不用 constraints.Ordered？
constraints.Ordered 包含所有可比较且支持 的类型（如 <code>string, []byte），但它们没有“负数”概念，也不支持一元负号 -x。如果误用会导致编译错误或逻辑错误。
- ❌ 错误示例（会编译失败）：
func Abs[T constraints.Ordered](x T) T { // string、bool 都满足 Ordered，但不支持 -x
if x < 0 { // ❌ string 不支持与 0 比较
return -x // ❌ string 不支持取负
}
return x
}
支持更多数字类型（如 uint？）
无符号整型（uint, uint32 等）本身非负，绝对值就是它自己。你可以扩展约束，但要注意：它们不支持 x 判断（会警告“unreachable code”），也不支持 <code>-x。
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
立即学习“go语言免费学习笔记（深入）”；
- 安全做法：为无符号类型单独写一个恒等函数，或用接口+重载（但 Go 不支持重载），所以更合理的是——不把 uint 纳入同一泛型函数
- 若坚持统一入口，可用运行时类型判断（失去泛型优势，不推荐）
实际使用示例
fmt.Println(Abs(−42)) // 42（int）
fmt.Println(Abs(int64(−100))) // 100
fmt.Println(Abs(−3.14)) // 3.14（float64）
fmt.Println(Abs(float32(−2.5))) // 2.5
注意：不能传 "hello"、true 或 struct{}，编译器会报错，这正是泛型类型安全的价值。
基本上就这些。核心是选对约束——只允许数学上真正有“绝对值”意义的类型，而不是图省事用 any 或过宽的 Ordered。
