c++++ 和 java 中类似于 go 的泛型约束

go 语言中支持泛型，它允许指定类型参数的约束，如上所示代码中 k 必须为 comparable，v 必须为 int64 或 float64。在 c++ 和 java 中，是否存在类似的约束功能？

c++

c++20 版本引入了概念（concept），它允许指定类型参数必须满足的条件。以下示例展示了如何使用概念对泛型类型施加约束：

立即学习“Java免费学习笔记（深入）”；

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中文网其它相关文章！