如何在 Java 中使用泛型与语言运算符和扩展 Number 的泛型类

Question

我想对两个相同类型的泛型参数执行操作，这两个参数都扩展了 Number。

是否可以？ 我总是习惯于在泛型参数上调用方法，但使用运算符似乎存在一些问题（对于参数类型 T, T ，运算符 + 未定义）。

public static <T extends Number> T sum(T a, T b){
    return a+ b;
}

我做错了什么？

编辑： 我尝试改进一下我的问题。我知道运算符没有为 Number 类型定义。这件事有点令人难过，因为如果不引入@Victor Sorokin 建议的新接口就可以执行这样的操作，那就太好了。

但我仍然不明白一件事：如果 Number 类中没有实现运算符，那么至少应该在 Double 类中实现，因为我可以将 + 运算符与 double 一起使用。 这行代码都无法编译：

public static <T extends Double> T sum(T a, T b){

    T c = a +b;
}

为什么？

Answer 1

这是不可能的，因为 Number 没有与之关联的 + 运算符。特别是，你不能这样做：

Number a = new Integer(1);
Number b = new Integer(2);
Number c = a + b;

Answer 2

Java 中的类没有 + 运算符（String 除外，当参数之一是 String 时，可以通过 toString() 隐式转换其他类型）。那么，让你输入实现一些接口，比如

interface Valuable {
    // use richest built-in numeric type
    double value();
    Valuable value(double v);
}

public static <T extends Valuable> T sum(T a, T b){
    return a.value(a.value() + b.value());
}

丑陋的，不是吗？ =D

---

上面的 Fix 2022 代码是错误的，因为 Valuable#value 无法生成子类型 T 的实例，所以我们需要稍微修改一下多毛：

interface Valuable<T extends Valuable<T>> {
    // use richest built-in numeric type
    double value();
    T value(double v);
}

class Impl implements Valuable<Impl> {
    private final double v;

    Impl(double v) {
        this.v = v;
    }

    @Override
    public double value() {
        return v;
    }

    @Override
    public Impl value(double v) {
        return new Impl(v);
    }

    @Override
    public String toString() {
        return "Impl{" +
                "v=" + v +
                '}';
    }
}

class Scratch {

    public static void main(String[] args) {
        Impl a = new Impl(1), b = new Impl(-1);
        System.out.println(a + " + " + b + " = " + sum(a, b));
    }

    public static <T extends Valuable<T>> T sum(T a, T b){
        return a.value(a.value() + b.value());
    }
}