美文网首页
Java泛型——学会编写自己的泛型

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

作者: NEU_PROYZ | 来源:发表于2018-07-13 11:37 被阅读67次

    自定义泛型其实就跟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。

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

    相关文章

      网友评论

          本文标题:Java泛型——学会编写自己的泛型

          本文链接:https://www.haomeiwen.com/subject/ejqjpftx.html