对于java 泛型 编译时处理,运行时擦除的特点理解
public static void main(String[] args){
List a = Collections.emptyList();
List b = Collections.emptyList();
// true , 对于不包含泛型初始化的list实际都是使用的相同的实例数据
LOGGER.info(String.valueOf(a == b));
List<String> a1 = Collections.emptyList();
boolean v = a == a1;
// true, 对于 a 和 a1 两个参数的类型实际是不同的,但在运行时实际是对于a和a1的类型实际都是相同的List类型; 可以通过 javap -v 类名 来查看编译后的class文件
LOGGER.info(String.valueOf(v));
List<Integer> b1 = Collections.emptyList();
// 由于a1和b1的泛型的具体类型不一致,因此在编译时不会通过
// boolean v1 = a1 == b1
}
对于泛型的显式限定和隐式限定区别
public static void castQuestion() {
// 在执行实例化操作时,实际已经隐式限定了当前对象的类型
// 在执行具体操作时,虽然根据变量的限定符显式定义,但在实际使用中就会抛出错误
Container<StringBuilder> stringContainer = new Container("1");
StringBuilder element = stringContainer.getElement();
}
// 自定义内部容器类,类型为泛型
// 单界限操作: E extends CharSequence,这里限定了泛型的类型只能为CharSequence的子级
public static class Container<E extends Serializable> {
private E element;
public Container(E element) {
this.element = element;
// 可以看到当前元素的实际类型
System.out.println(element.getClass().getTypeName());
}
// 方法
public E getElement() {
return element;
}
public void setElement(E element) {
this.element = element;
}
}
可以看到在指定 new 时未显式指定对象元素类型,但通过调用有参构造方法实际已限定了当前对象的element元素类型;
虽然对象变量显式限定了当前变量的泛型,对于操作方法实际是根据调用者的具体泛型类型进行限制,因此可以看到 "StringBuilder element = stringContainer.getElement();" 返回值类型为 StringBuilder;
而由于对象中的实际类型为String类型,当将String类型强制赋值为Integer类型数据时,就会抛出ClassCastException
由于泛型存在编译时校验,运行时擦写的特点,因此为了保证运行时也提供泛型类型校验, 在Collections中提供了 checked*的工具类,在执行操作时保证了运行时的类型校验
public void collectionGenericType() {
List<Integer> integers = new ArrayList<>(Arrays.asList(1, 2, 3, 4));
// 由于泛型存在编译时校验,运行时擦写
List noGenericTypeList = integers;
System.out.println(noGenericTypeList == integers);
// 虽然 noGenericTypeList 引用了 integers
// 运行时泛型擦写 List<Integer> -> List<Object> -> List
// 因此可以写入任意类型的数据
noGenericTypeList.add("A");
// 由于数据读取时需要进行类型转换(转换为泛型的指定类型)因此会抛出ClassCastException
// integers.forEach(System.out::println);
// 而对于noGenericTypeList由于没有泛型的约束,因此读取数据是都是按照Object类型处理
noGenericTypeList.forEach(System.out::println);
// 在转换时并没有执行类型检查因此支持直接转换
List<Integer> castList = new ArrayList<>(noGenericTypeList);
// 因此为了避免类型擦写导致的异常,因此需要使用包装类型工具类
// 当转换为checkedList时并不会进行类型校验
/**
* Wrapper(装饰器)模式的使用
* Collections.checked*接口弥补了 泛型运行时擦写的不足
* 强类型: 编译时泛型强制类型检查,运行时利用Collections.checked*强类型检查
*/
List<Integer> checkedList = Collections.checkedList(castList, Integer.TYPE);
// 会生成新的数据
System.out.println(checkedList == castList);
noGenericTypeList = checkedList;
// 对于checkedList在执行添加时,会执行类型校验,因此会直接抛出错误
noGenericTypeList.add("B");
}
原文:https://www.cnblogs.com/xingguoblog/p/13645072.html