自定义泛型其实就跟c++里面用模板定义很多类类似,比如:我么要写一个栈的类,那么我们完全可以用Stack<E>来代替Stack<Object>,泛型的主要改造对象就是集合类。下面我们就来学着写一下:
public class Stack<E> {
private E[] elements;
private int size;
private static final int DEFAULT_INITIAL_CAPACITY = 16;
public Stack(){
elements = new E[DEFAULT_INITIAL_CAPACITY];
}
public void push(E e){
elements[size++] = e;
}
public E pop(){
if(size == 0){
throw new EmptyStackException();
}
E result = elements[--size];
elements[size] = null;
return result;
}
}
上面是对栈泛型的定义,你可以将E换成Object,没有问题,但是必须转换从Stack里面弹出来的对象,在运行时就可能失败。
好,回到正题,上面的代码会有错误吗?
于是,你从上往下看了一遍,你关注了push和pop的方法逻辑,发现并没有问题。但是,你忽略了很重要的一点,Java是不能创建泛型数组的。之前在讲这块的时候你可能还没在意,现在看来是不是很有必要去回顾一下,因为集合类底层不都也是用数组实现的吗?那这个问题是不能避免的,必须要解决。
给大家贴一篇相当好的博文:
https://www.cnblogs.com/anrainie/p/5852020.html
好了,既然问题已经摆出来了,那我们要怎么去解决呢?
传统的有两种解决方式:
1.如下:
elements = new E[DEFAULT_INITIAL_CAPACITY];
//改为
elements = (E[])new Object[DEFAULT_INITIAL_CAPACITY];
创建Object[]数组并把它强制转换。
2.在字段处修改:
private E[] elements;
E result = elements[--size];
//改为
private Object[] elements;
E result = (E)elements[--size];
这个意思就是字段声明的地方就写成Object[],之后在pop的时候强制类型转换为E。
两种方式比较下来,你觉得哪一种会好一点呢?
首先我们要知道的是,两种方法在强制转换的时候都会有警告,因为编译器无法证明你的程序是类型安全的,当然你可以屏蔽掉这个警告,只要你能保证类型的安全。
但是相比而言,禁止数组型的未受检警告比禁止标量类型更加危险,因此推荐使用第二种方式。但是,数组也有数组的优势,因此在大多数地方还是会采用第一种。
网友评论