《Java核心技术》第八章读书笔记（泛型）

第八章 泛型程序设计

泛型方法

class ArrayAlg{
	public static <T> T getMiddle(T... a){
		return a[a.length / 2]
	}
}

当调用一个泛型方法时，在方法名前的尖括号中放入具体的类型。类型变量放在修饰符的后面，返回类型的前面。

String middle = ArrayAlg.<String>getMiddle("J","k","L")

类型变量的限定

public static <T extends Comparable> T func(T[] a){...}

这个泛型方法规定了 T 必须实现 Comparable （Comparable本身也是一个泛型类型）接口。此方法只能被实现了Comparable接口的类（如String，localDate）的数组调用。否则会编译报错。

一个类型变量或通配符可以有多个限定

T extends Comparable & Serializable

翻译泛型方法

• 虚拟机中没有泛型，只有普通的类和方法。
• 所有的类型参数都用他们的限定类型替换
• 桥方法被合成来保持多态。
• 为保持类型安全性，必要时插入强制类型转换。

约束与局限性

• 不能有基本类型实例化类型参数

  没有Pair<double>，只有Pair<Double>
  

• 运行时类型查询只适用于原始类型

  if (a instanceof Pair<String>)  // Error
  Pair<String> p = (Pair<String>) a // Warning ---can only test that a is a Pair
  
  同样的道理，getClass总是返回原始类型
  Pair<String> stringPair = .....
  Pair<Employee> employeePair = ...
  if (StringPair.getClass()==employeePair.getClass()) 
  结果为true，因为两次调用getClass豆浆返回Pair.class
  

• 不能创建参数化类型的数组

  因为对于泛型类型，擦除会使类型参数无效。能够通过数组存储检查，但是会导致一个类型错误。

  Pair<String> table = new Pair<String>[10] // Error
  

• 不能实例化类型变量

  public Pair() {
  	first = new T();
  	second = new T();
  }  // error
  

  类型擦除会将T改变成Object，而且本意不希望调用new Object。

• 不能构造泛型数组

  public static <T extends Comparable> T[] minmax(T[] a){T[] mm = new T[2]}
  // Error
  当类型擦除时，Object[]引用赋给Comparable[]时，会发生ClassCastException
  

• 泛型类的静态上下文中类型变量无效

  public class Singleton<T>{
  	private static T singleInstance // Error
  	public static T getSingleInstance // error
  	{
  		if (singleInstance == null) {
  			return singleInstance
  		}
  	}
  }
  

  类型擦除后，只有一个Singleton类，只包含一个singleInstance域，因此禁止使用带有类型变量的静态域和方法。

• 不能抛出或捕获泛型类的实例

  public class Problem<T> extends Exception {}  // Error
  catch中不能使用类型变量。
  

通配符类型

如果要编写一个答应雇员的方法：

public static void printBuddies(Pair<Employee> p){}
由于Pair<Employee>和Pair<Manager>没有什么联系，所以并不能将Pair<manager>传递
使用通配符类型
public static void printBuddies(Pair<? extends Employee> p){}

• 无限定通配符

  Pair<?> 和 Pair有很大不同
  Pair<?>有？get 和 void set方法
  get方法返回值只能赋值给一个Object，set方法不能被调用。
  两者本质区别是Pair<?> 可以用任意Object对象调用原始Pair类的setObject方法