java泛型程序设计——注意擦除后的冲突

【0】README

0.1） 本文描述+源代码均 转自 core java volume 1， 旨在理解 java泛型程序设计 的 注意擦除后的冲突 的知识；

1.1）当泛型类型被 擦除时， 无法创建引发冲突的条件。

• 1.1.1）看个荔枝：

public class Pair<T>
{
    public boolean equals(T value) {return first.equals(value) && second.equals(value); }
}

• 1.1.2）考虑一个 Pair《String》, 从概念上讲， 它有两个 equals 方法：

boolean equals(String) // defined in Pair
boolean equals(Object) // inherited from Object

• 1.1.3）方法擦除 boolean equals(T) 就是 boolean equals(Object) 与 Object.equals 发生冲突；
• 1.1.4）补救方法是， 重新命名引发错误的方法；

1.2）泛型规范说明还提供另一个原则： 要想支持擦除的转换， 就需要强行限制一个类或类型变量不能同时成为两个接口类型的子类，而这两个接口是同一个接口的不同参数化。

• 1.2.1）看个荔枝：（如下面的代码是非法的）

class Calendar implements Comparable{ ... }
class GregorianCalendar extends Calendar implements Comparable
{} // ERROR

• 之所以错误： 是因为 GregorianCalendar 会实现 Comparable 和 Comparable《GregorianCalendar》， 这是同一接口的不同参数化；
• 1.2.2）这一限制与 类型擦除的关系并不明确。 因为， 下列非泛型版本是合法的：

class Calendar implements Comparable {...}
class GregorianCalendar extends Calendar implements Comparable {...}

• 其原因非常微妙， 有可能与 合成的 桥方法产生冲突；
• 1.2.3）实现了 Comparable 的类可以获得一个 桥方法：

public int compareTo(Object other)
{
    return compareTo((X) other);
}

• 对于不同类型的X 不能有两个这样的方法；