++ 和 java 中类似于 go 的泛型约束
go 语言中支持泛型，它允许指定类型参数的约束，如上所示代码中 k 必须为 comparable，v 必须为 int64 或 float64。在 c++ 和 java 中，是否存在类似的约束功能？
c++
c++20 版本引入了概念（concept），它允许指定类型参数必须满足的条件。以下示例展示了如何使用概念对泛型类型施加约束：
立即学习“”；
template<typename t> concept comparable = requires(t a, t b) { { a < b } -> bool; { a > b } -> bool; { a <= b } -> bool; { a >= b } -> bool; }; template<typename t> requires(comparable<t>) t sum(const std::vector<t>& values) { t result = 0; for (const auto& value : values) { result += value; } return result; }
登录后复制
在 c++20 之前，可以借助 enable_if 和 void_t 等技巧来实现类似的功能：
template<typename t> std::enable_if_t<std::is_integral<t>::value, t> sum(const std::vector<t>& values) { t result = 0; for (const auto& value : values) { result += value; } return result; }
登录后复制
java
java 中没有内置的泛型约束功能。但是，可以借助第三方库，如jansi，来实现类似的功能：
import jansi.internal.reflect.TypePredicates; public class GenericSum<T> { public static <T extends Number> T sum(List<T> values) { T result = TypePredicates.isAssignableFrom(Integer.class, T.class) ? 0 : 0.0; // 初始值类型为 T for (T value : values) { result = result.doubleValue() + value.doubleValue(); } return result; } }
登录后复制
通过使用 jansi，可以指定类型 t 必须是 number 类型。
以上就是C++ 和 Java 中如何实现 Go 语言的泛型约束？的详细内容，更多请关注php中文网其它相关文章！
微信扫一扫打赏
支付宝扫一扫打赏
