使用通配符参数

本文探讨了java泛型中通配符的使用，以解决类型安全与灵活性的冲突。 一个名为numericfns的泛型类用于处理数值运算，其absequal()方法旨在比较两个numericfns对象的绝对值，即使它们包含不同数值类型（例如double和float）。

直接使用泛型类型T编写absEqual()方法会导致类型安全问题，因为它无法处理不同数值类型之间的比较。 例如，以下代码无法正常工作：

// 这段代码不会工作！
boolean absEqual(NumericFns ob) {
    if(Math.abs(num.doubleValue()) == Math.abs(ob.num.doubleValue())) return true;
    return false;
}

为了解决这个问题，引入了通配符?。 通过使用NumericFns> ob作为参数，absEqual()方法可以接受任何类型的NumericFns对象。 修改后的absEqual()方法如下：

boolean absEqual(NumericFns ob) {
    if(Math.abs(num.doubleValue()) == Math.abs(ob.num.doubleValue())) return true;
    return false;
}

完整的NumericFns类和演示代码如下：

class NumericFns {
    T num;

    NumericFns(T n) {
        num = n;
    }

    double reciprocal() {
        return 1 / num.doubleValue();
    }

    double fractional() {
        return num.doubleValue() - num.intValue();
    }

    boolean absEqual(NumericFns ob) {
        if(Math.abs(num.doubleValue()) == Math.abs(ob.num.doubleValue())) return true;
        return false;
    }
    // ...
}

class WildcardDemo {
    public static void main(String args[]) {
        NumericFns iOb = new NumericFns(6);
        NumericFns dOb = new NumericFns(-6.0);
        NumericFns lOb = new NumericFns(5L);

        System.out.println("测试 iOb 和 dOb。");
        if(iOb.absEqual(dOb))
            System.out.println("绝对值相等。");
        else
            System.out.println("绝对值不同。");
        System.out.println();

        System.out.println("测试 iOb 和 lOb。");
        if(iOb.absEqual(lOb))
            System.out.println("绝对值相等。");
        else
            System.out.println("绝对值不同。");
    }
}

通过使用通配符>，absEqual()方法实现了类型安全性与灵活性的平衡，允许比较不同数值类型NumericFns对象的绝对值，而无需牺牲类型检查。 需要注意的是，通配符不改变NumericFns类的类型参数限制（T extends Number），它只在方法调用时提供更灵活的类型匹配。