Java泛型——学会编写自己的泛型

自定义泛型其实就跟c++里面用模板定义很多类类似,比如:我么要写一个栈的类,那么我们完全可以用Stack来代替Stack,泛型的主要改造对象就是集合类。下面我们就来学着写一下:

public class Stack {
    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。

两种方式比较下来,你觉得哪一种会好一点呢?
首先我们要知道的是,两种方法在强制转换的时候都会有警告,因为编译器无法证明你的程序是类型安全的,当然你可以屏蔽掉这个警告,只要你能保证类型的安全。
但是相比而言,禁止数组型的未受检警告比禁止标量类型更加危险,因此推荐使用第二种方式。但是,数组也有数组的优势,因此在大多数地方还是会采用第一种。

你可能感兴趣的:(Java泛型——学会编写自己的泛型)