Java之通配符

通配符

上一篇介绍了Java的泛型，泛型的引用也带来了一个新的问题：引用泛型后参数类型被确定，方法参数只能接收一种类型的泛型类，当你有一个print泛型方法，你传入String后又想有一个类型是Integer的，这是不可以的，但是如果你不使用泛型又会出警告，而通配符就是用来解决这个问题的。

• 通配符标志：？
• 语法：<?>
• 定义：表示指代任意类型的泛型类，因为传入的类型不确定，不能通过类似setter方法设置值，只能取得泛型对象中的值（getter方法）
• 注意：只能用在方法级别

public static void fun(MyClass<?> myclass)
--fun方法可以接收任意类型的参数

• 上限通配符:
• 通配符标志：？extends 类
• 语法：<？extends 类>
• 定义：表示泛型的上限，“？”是这个类的子类，不知道？是什么，但是他的父类是确定的
• 注意：类与方法均可使用

1.使用在类中：
T指代任意类型，限制T必须是继承了Number（规定了父类必须在那）
T： 是number及其子类

class MyClass<T extends Number>

2.使用在方法中：
问号指定任意类型，但是必须传入number及其子类MyClass对象
此时方法中依然不能设置值，只能取得值。现在只能确定父类，由于子类不确定，此时发生向下转型存在不确定性因此无法设置具体值（setter方法）

public void fun(MyClass<? extends Number> myClass) 

• 下限通配符:
• 标志：？ super 类
• 语法：<？ super 类>
• 定义：表示泛型下限，？是这个类的父类，确定好了子类
• 注意：只能用在方法级别，不能用在类上，此时可以设置修改值（setter方法），因为发生天然的向上转型。

public void fun(MyClass<? super String> myClass) {}

• 总结：
  -只有上限通配符可以用在泛型类的声明上，T extends Number,此时T必须是Number 及其子类
  -只有下限通配符能在方法中修改泛型对象的内容（天然的向上转型）
• 类型擦除(向下兼容)：

泛型只存在于编译阶段，进入JVM之前，与泛型相关的信息会被完全擦除。在JVM看来，根本不存在泛型的概念。泛型类在进行类型擦除时，若未指定泛型的上限，泛型相关信息会被擦除为Object类型。否则，擦除其为相应的类型上限。

class MyClass<T,E extends Number>{    
	public T t;    
	public E e;
}

T-> Object;
E-> Number;