本文探讨了java泛型中通配符的使用，以解决类型安全与灵活性的冲突。 一个名为numericfns的泛型类用于处理数值运算，其absequal()方法旨在比较两个numericfns对象的绝对值，即使它们包含不同数值类型（例如double和float）。
直接使用泛型类型T编写absEqual()方法会导致类型安全问题，因为它无法处理不同数值类型之间的比较。 例如，以下代码无法正常工作：
<code class="java">// 这段代码不会工作！
boolean absEqual(NumericFns<T> ob) {
if(Math.abs(num.doubleValue()) == Math.abs(ob.num.doubleValue())) return true;
return false;
}</code>
为了解决这个问题，引入了通配符?。 通过使用NumericFns<?> ob作为参数，absEqual()方法可以接受任何类型的NumericFns对象。 修改后的absEqual()方法如下：
<code class="java">boolean absEqual(NumericFns<?> ob) {
if(Math.abs(num.doubleValue()) == Math.abs(ob.num.doubleValue())) return true;
return false;
}</code>
完整的NumericFns类和演示代码如下：
<code class="java">class NumericFns<T extends Number> {
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<Integer> iOb = new NumericFns<Integer>(6);
NumericFns<Double> dOb = new NumericFns<Double>(-6.0);
NumericFns<Long> lOb = new NumericFns<Long>(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("绝对值不同。");
}
}</code>
通过使用通配符<?>，absEqual()方法实现了类型安全性与灵活性的平衡，允许比较不同数值类型NumericFns对象的绝对值，而无需牺牲类型检查。 需要注意的是，通配符不改变NumericFns类的类型参数限制（T extends Number），它只在方法调用时提供更灵活的类型匹配。
