第一个程序验证了擦除;那照理说,第二个也应该擦除,课为什么会有 compile error : incompatible types
错误了?
import java.util.*; public class ErasedTypeEquivalence { public static void main(String[] args) { Class c1 = new ArrayList().getClass(); Class c2 = new ArrayList().getClass(); System.out.println(c1 == c2); } }
第二个程序:
import java.util.*; class Fruit { } class Apple extends Fruit { } public class NonCovariantGenerics { // Compile Error: incompatible types: List flist = new ArrayList(); }
两个都会擦出,只不过第二个在擦除前就报错了。
擦除是在编译后才擦除的,即泛型信息在运行期不可见,所以第一个例子会输出true。
而你的第二个例子报的错是编译期的错误。泛型信息正是在编译期给编译器看的。