Java泛型知识总结篇

泛型与内部类

• 非静态内部类会自动继承外围类泛型参数,对于非静态内部类，无需再次声明泛型参数
• 静态内部类不会自动继承外围类泛型参数(事实上，Node 中的泛型参数 与MyLinkedList 中的 没有任何联系，只是这里使用相同的符号T而已)
• 泛型类声明的泛型参数占主导地位，如泛型类声明的参数为 ，则泛型接口的泛型参数也应为 ；
• 当泛型类声明的参数为 时，泛型接口的参数 能够不写；

/**
 * 泛型类声明的泛型参数占主导地位，如泛型类声明的参数为<T>，则泛型接口的泛型参数也应为<T>；
 * 当泛型类声明的参数为<T>时，泛型接口的参数<T>能够不写；
 * @param <T>
 */
public class LinkedList<T> implements Iterable {

    @Override
    public Iterator iterator() {
        return null;
    }

    @Override
    public void forEach(Consumer action) {

    }

    @Override
    public Spliterator spliterator() {
        return null;
    }
}

泛型方法

public class GenericMethods{
    public <T> void f(T x) {
        System.out.println(x.getClass().getName());
    }
}

泛型擦除

• 在泛型代码内部，没法得到任何与关泛型参数类型的信息
  List 和 List 在运行时事实上是相同的类型，都是List

• 泛型类型参数将擦除到它的第一个边界

• 之因此使用擦除来实现泛型，是为了迁移兼容性

泛型边界

• extends对泛型上限进行了限制即T必须是Comparable<? super T>的子类，而后<? super T>表示Comparable<>中的类型下限为T！

建立泛型类型的对象或者数据

• new T()在java中没法实现，能够经过传递一个工厂对象，来建立新的实例，或者本身显示工厂

class ClassAsFactory<T>{
       T x;
       public ClassAsFactory(Class<T> kind){
            try {
                x = kind.newInstance();
            } catch (Exception e) {
                throw new RuntimeException(e);
            }
        }
}

• 泛型数组建立，也不都能用Object[]强转，由于类型擦除到第一个边界，边界不必定是object

public class ZwbHeap<T extends Comparable<? super T>> {
    private T[] nodes;
    private int size;
    private int capacity = 16;

    public ZwbHeap() {
        // 这样转换会失败
        //nodes = (T[])new Object[capacity+1];
        // 必须这样写
        nodes = (T[])new Comparable[capacity+1];
    }
}