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<T>
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<Calandar>{ ... }
class GregorianCalendar extends Calendar implements Comparable<GregorianCalendar>
{} // 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 不能有两个这样的方法；

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

java泛型程序设计——翻译泛型表达式+翻译泛型方法
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的翻译泛型表达式+翻译泛型方法的知识: [1]翻译泛型表达式 1.1 ...
java泛型程序设计——泛型类的静态上下文中类型变量无效+不能抛出或捕获泛型类的实例
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的泛型类的静态上下文中类型变量无效+不能抛出或捕获泛型类的实例的知识 ...
java泛型程序设计——类型变量限定 + 泛型代码和虚拟机
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的类型变量限定 + 泛型代码和虚拟机的知识: [1]类型变量的限定 ...
java泛型程序设计——反射和泛型
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的反射和泛型的相关知识: [1]反射和泛型相关 1.1)现在, Cl ...
java泛型程序设计——Varargs 警告+不能实例化类型变量
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的 Varargs 警告+不能实例化类型变量的知识: [1] Vara ...
java泛型程序设计——约束与局限性
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的约束与局限性的知识: [1] 不能用基本类型实例化类型参数 1.1 ...
Java泛型：类型擦除
前情回顾 Java泛型:泛型类.泛型接口和泛型方法类型擦除代码片段一 1 2 3 4 5 6 7 Class c1 = new ArrayList<Integer>().getClas ...
java泛型程序设计——无限定通配符+通配符捕获
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的无限定通配符+通配符捕获的相关知识: [1]无限定通配符相关 1. ...
java泛型程序设计——通配符类型+通配符的超类型限定
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的通配符类型+通配符的超类型限定的知识: [1]通配符类型相关 1. ...

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

【0】README

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

最新文章

热门文章