Java泛型再学习

    泛型引入java语言已经有很长一段时间了，在JDK5出来的时候也非常认真地学习过，不过学习的资料都是网上泛滥并且重复的教程。这几天下了《The Java Programming Language》的第4版，准备把jdk5引入的新东西再重新系统地学习一次，同时再次回顾下java基础。今天记录下学习泛型那一章的注意点。
一、泛型类型的声明
1.需要着重注意的一点，比如声明类Cell<E>：

<!---->package net.rubyeye.javaprogramming.generic;

public class Cell<E> {
    private Cell<E> next;

    private E element;

    public Cell(E element) {
        this.element = element;
    }

    public Cell(E element, Cell<E> next) {
        this.next = next;
        this.element = element;
    }

    public E getElement() {
        return element;
    }

    public void setElement(E element) {
        this.element = element;
    }

    public Cell<E> getNext() {
        return next;
    }

    public void setNext(Cell<E> next) {
        this.next = next;
    }

}

然后如此使用：

<!---->Cell<String> strCell = new Cell<String>("Hello");
Cell<Integer> intCell = new Cell<Integer>(25);

那么Cell<String>和Cell<Integer>是两个类吗？不，他们是同一个类，通过下面的实验证明：

<!---->assertTrue(strCell.getClass() == intCell.getClass()));

java泛型的实现采用的“擦拭法”，Cell<E>仍然是一个类，无论E被任何具体的类型所替代。

2.泛型的类型参数不能用于static变量、static方法和static初始化，比如下面的使用方式都不能编译通过：

<!---->public class Cell<E> {
    private static Cell<E> next;
    
    private static void test(E e){
        
    }
   

同样，静态方法是与类相关联的，调用也只能通过类，假设Cell有一个静态方法test，怎么调用才是正确的呢?

<!---->Cell<E>.test();  //编译错误
Cell<String>.test();  //同样编译错误
Cell.test();  //正确的方式

类似的，泛型的类型参数不能用于声明数组类型,比如下面的代码同样无法编译通过：

<!---->class SingleLinkQueue<E> {
    // 
    public E[] toArray() {
    //
    }
}

3.类型参数可以继承其他的类和接口，如果有多个接口可以用&符号连接，通过extend参数限制了类型参数的范围，比如：

<!---->interface SortedCharSeqCollection<E extends Comparable<E>
                                  & CharSequence> {
    //  sorted char sequence collection methods 
}

SortedCharSeqCollection的类型参数E强制继承自Comparable和CharSequence接口，也就是替代的具体的类型参数必须实现这两个接口，从而限制了类型参数（type parameter)。

4.比较有趣的内部类的泛型，对于静态内部类的类型参数可以与外部类的类型参数名不一样，静态内部类的类型参数与外部类的类型参数其实没有一点关系，比如：

<!---->class SingleLinkQueue<E> {
    static class Cell<E> {
        private Cell<E> next;
        private E element;
        public Cell(E element) {
            this.element = element;
        }
        public Cell(E element, Cell<E> next) {
            this.element = element;
            this.next = next;
        }
        public E getElement() {
            return element;
        }
        /*  rest of Cell methods as before  */
    }

    protected Cell<E> head;
    protected Cell<E> tail;

    /*  rest of SingleLinkQueue methods as before  */
}

Cell<E>类的声明和SingleLinkQueue<E> 两个类中的E仅仅是名称相同，他们之间的关联是通过head和tail的声明才关联在一起，你可以将Cell<E>中的E改成F也没关系，比如：

<!---->package net.rubyeye.javaprogramming.generic;

class AnotherSingleLinkQueue<E> {
    static class Cell<F> {
        private Cell<F> next;

        private F element;

        public Cell(F element) {
            this.element = element;
        }

        public Cell(F element, Cell<F> next) {
            this.element = element;
            this.next = next;
        }

        public F getElement() {
            return element;
        }
        /*  rest of Cell methods as before  */
    }

    protected Cell<E> head;

    protected Cell<E> tail;

    /*  rest of SingleLinkQueue methods as before  */
}

而一般的内部类就不一样了，内部类可以直接使用外部类的类型参数甚至隐藏。

二、（待续）

dennis 2007-06-05 17:07 发表评论