java 向后兼容性_java – 向后兼容用像Wild

在运行时进行此替换是不安全的.

我或许应该更确切地说,这种变化本身就是安全的;但它鼓励的后续变化可能导致失败.

Collection和Collection之间的区别是你可以向前者添加任何东西,而你不能向后者添加除文字null之外的任何东西.

因此,目前覆盖您的方法的人可能会执行以下操作：

@Override

public StringBuilder append(Collection value) {

value.add(Integer.valueOf(1));

return new StringBuilder();

}

(我不知道这个方法的用途是什么;这是一个病态的例子.它看起来确实是他们不应该做的事情,但这与他们不这样做是不一样的).

现在,假设这个方法被调用如下：

ArrayList c = new ArrayList();

thing.append(c);

c.get(0).toString();

(再一次,我不知道它是如何用于真实的.跟我一起)

如果您创建了追加Collection的参数相反,也许令人惊讶的是(*),你也不需要将子类更新为通用的：上面的append方法将继续编译.

在基类中查看参数的新泛型类型,您可以认为现在可以使此调用代码非原始：

ArrayList c = new ArrayList<>();

thing.append(c);

c.get(0).toString();

现在,这里的问题是如何评估最后一行：那里有一个隐式演员.它实际上会被评估为：

Double d = (Double) c.get(0);

d.toString();

尽管您可以在Object上调用toString(),但仍然会有编译器插入的checkcast,以清除列表元素类型.这会在运行时失败,因为列表中的最后一项是Integer,而不是Double.

关键是没有为原始类型版本插入强制转换.这将被评估为：

Object d = (Object) c.get(0);

d.toString();

这不会在运行时失败,因为任何东西都可以转换为对象(事实上,根本就没有强制转换;我只是插入它来实现对称).

这并不是说在制作参数Collection之前这样的调用代码不存在：它当然可以,并且它在运行时已经失败了.但我要强调的一点是,使这个方法参数通用可能会给人一种错误的印象,即将现有的原始调用代码转换为使用泛型是安全的,这样做会导致它失败.

所以……除非你能保证在子类中没有这样的插入,或者你已经明确记录了不应该在第三种方法中修改集合,否则这种改变将是不安全的.

(*)这是由于在JLS Sec 8.4.2中定义超越等价的结果,其中明确考虑了擦除.