泛型约束：c++ 和 java 与 go 的对比
go 语言中的泛型支持显式指定类型约束，例如：
func sumintsorfloats[k comparable, v int64 | float64](m map[k]v) v {}c++
c++20 引入了 concept，允许定义类型约束。例如：
立即学习“Java免费学习笔记（深入）”；
templateconcept integral = std::is_integral ::value; // t必须是整数类型
然后可以使用 concept 约束泛型类型参数：
templateclass foo { public: void set_value(t value) requires integral {} // 需要是整数类型 };
java
java 泛型不支持显式类型约束。可以使用反射来检查类型，但这种方式比较繁琐。
c++ 20 之前的解决方法
c++ 20 之前，可以使用 enable_if、void_t 等技术来实现隐式类型约束。例如：
templateusing EnableIfInt = std::enable_if_t< std::is_integral ::value, T // 满足约束时返回 T 的类型 >; template void do_something(T value) requires EnableIfInt ::value {}
结论
c++20 的 concept 特性允许对泛型类型参数进行显式约束，使代码更简洁规范。java 泛型不支持显式约束，可以使用反射或第三方库实现类似的功能。
