java泛型--桥方法

看桥方法之前，我们先来看看泛型中类型擦除的概念：

在《java核心卷书卷1》中有这样一段描述：

虚拟机没有泛型类型对象——所有对象都属于普通类。也就是说，虚拟机在执行代码的时候，都会把泛型类翻译成普通的类。

无论何时定义一个泛型类型，都自动提供了一个相应的原始类型（raw type）。原始类型的名字就是删去类型参数后的泛型类型名。擦除（erased）类型变量，并替换为限定类型（无限定的变量用Object）。

下面看一个泛型类：

class Pair {
	private T first;
	private T second;

	public Pair(T first, T second) {
		super();
		this.first = first;
		this.second = second;
	}

	public T getFirst() {
		return first;
	}

	public T getSecond() {
		return second;
	}
}

它的原始类型是（T没有限定，用Object替换）：

class Pair {
	private Object first;
	private Object second;

	public Pair2(Object first, Object second) {
		super();
		this.first = first;
		this.second = second;
	}

	public Object getFirst() {
		return first;
	}

	public Object getSecond() {
		return second;
	}
}

当然了，一个类型变量或通配符可以有多个限定，例如:T extends Comparable & Serializble。这样的该怎样进行替换呢？原始类型用第一个限定的类型变量来限定。

Eg:

class Pair {
	private T first;
	private T second;

	public Pair(T first, T second) {
		super();
		this.first = first;
		this.second = second;
	}

	public T getFirst() {
		return first;
	}

	public T getSecond() {
		return second;
	}
}

替换完后就变成了（用第一个限定的类型变量Comparable作为原始类型）：

class Pair implements Serializable>{
		private Comparable first;
		private Comparable second;

		public Pair(Comparable first, Comparable second) {
			super();
			this.first = first;
			this.second = second;
		}

		public Comparable getFirst() {
			return first;
		}

		public Comparable getSecond() {
			return second;
		}
}

了解了类型擦除的概念后，看看桥方法的产生：

先看一个例子：

class Father {
	public void fun(T x) {
	}
}
class Son extends Father {
	@Override
	public void fun(String x) {
	}
}

Father类和Son类经过类型擦除后变成：

class Father