Java泛型

Java泛型

泛型  : T :即是一个类型占位符  在编译的时候检查

在泛型之前多态算是一种泛式机制，例如可以将方法的参数类型设置为基类，那么该方法就可以接受从这个基类的任何子类作为参数，这样方法更具有通用性。（以一个通用栈为例子）

class ObjectStack{
	private Object[] elem;//Object类型的
	private int top;
	public ObjectStack(){
		this(10);
	}
	
	public ObjectStack(int size){
		this.elem = new Object[size];
		this.top = 0;
	}
	
	public void push(Object val){
		this.elem[this.top++] = val;
	}
	
	public void pop(){
		--this.top;
	}
	
	public Object getTop(){
		return this.elem[top-1];
	}
	
}

接下来对它进行操作

1，我们可以看到这块报错，虽然我们栈顶元素为double值，但是编译器并不能知道。所以这个时候我们需要进行强转。

2，假设我们是想将Integer型入栈，但是我们并不能阻止其它类型进行入栈。

所以我们引用了泛型这个神奇的东西！！！！

class GenericStack{
	private T[] elem;
	private int top;
	
	public GenericStack(){
		this(10);
	}
	public GenericStack(int size){
		//this.elem = new T[size];
		this.elem = (T[])new Object[size];
		this.top = 0;
	}
	public void push(T val){
		this.elem[this.top++] = val;
	}
	public void pop(){
		//防止内存泄漏
		this.elem[this.top-1] = null;
		--this.top;
	}
	public T getTop(){
		return this.elem[this.top-1];
	}
}

这个时候如果我们要将其它类型入栈的时候就会发现编译器会报错。

泛型的实现原理

public static void main(String[] args) {
		GenericStack s1 = new GenericStack();
		GenericStack s2 = new GenericStack();
		System.out.println(s1);
		System.out.println(s2);
		System.out.println(s1.getClass()==s2.getClass());
	}

我们来看看运行结果

这个时候我们会发现和对这个类的属性没有什么影响。这就与我们泛型的实现原理----类型擦除机制有关了

在编译期间，所有的泛型信息都会被擦除，在编译后都会变成