java泛型-1-概述

问题

• 反射怎么获取泛型
  • https://blog.csdn.net/qq_30698633/article/details/76671547

// 虽然还不是很清楚对应关系怎么做的，但至少常量池里有类型信息在里面
private Map map = new HashMap<>();
private Map map222 = new HashMap<>();
private List list = new ArrayList<>();
    
#20 = Utf8               map
#21 = Utf8               Ljava/util/Map;
#22 = Utf8               Signature
#23 = Utf8               Ljava/util/Map;
#24 = Utf8               map222
#25 = Utf8               Ljava/util/Map;
#26 = Utf8               list
#27 = Utf8               Ljava/util/List;
#28 = Utf8               Ljava/util/List;

• 证明擦除的例子

// 无法通过编译
public List test(List t) {
    return new ArrayList<>();
}

public List test(List t) {
    return new ArrayList<>();
}

• 桥方法是用来做什么的
  • 继承了泛型类的类，里面的方法需要覆盖的时候用的

概念本质

• 伪泛型
  • 编译期擦除类型变量，字节码中无泛型
• 类型推断
  • 相同或仅一处，直接推断
  • 不同，取最小公共父类型，直到Object
  • 有返回值，以返回值确定
  • 推断传递，即已存在明确的，如Vector
• 类型擦除 -> Object -> 类型推断 -> 强转进行类型替换

特点

• 类型参数不可继承，以下都会编译错误，下面阐述为什么错误

// 大转小
ArrayList list1 = new ArrayList