Effective Java学习笔记---------泛型

术语

参数化的类型：List
实际类型参数：String
泛型：List
形式类型参数：E
无限通配符类型：List
原生态类型：List
有限制类型参数：
递归类型限制：>
有限制通配符类型：List
泛型方法：static List asList(E[] a)
类型方法：String.class

不要使用原生态类型

泛型：声明中具有一个或多个类型参数的类 或接口

原生态类型会失去泛型在安全性和描述性方面的优势

消除非受检的警告，不能忽视

列表优于数组

优先考虑泛型

只要时间允许，就要把现有的类型都泛型化

泛型化类例子

package codeTemplate.effectiveJava.bean;
 
import java.util.ArrayList;
import java.util.List;
 
public class Stack {
    private List elements;
    private int size;
 
    public Stack() {
        elements = new ArrayList<>();
    }
 
    public void add(E e) {
        elements.add(e);
        size++;
    }
 
    public E pop() {
        size--;
        return elements.remove(0);
    }
 
    public static void main(String[] args) {
        Stack stringStack = new Stack<>();
        stringStack.add("1");
        String element = stringStack.pop();
        System.out.println(element);
    }
}

优先考虑泛型方法

泛型方法的定义

修饰符  返回值类型 方法名（形参列表）{
。。。。。。
}

修饰符与返回值类型中间的 泛型标识符 ,是 泛型方法的标志，只有这种格式声明的方法才是泛型方法。
泛型方法声明时的 泛型标识符  表示在方法可以使用声明的泛型类型。
与泛型类相同，泛型标识符可以是任意类型,常见的如T,E,K,V 等。
泛型方法可以声明为 static 的，并且与普通的静态方法是一样的。

    public static  E checkNullAndReturn(E o) {
        if (o == null) {
            throw new NullPointerException();
        }
        return o;
    }
   //使用
   String o = Stack.checkNullAndReturn("123");

利用有限通配符来提升API的灵活性

参数化类型是不变的，如List不是List的子类，List只能放String类型，不能转化成List

    public void addAll(List list) {
        elements.addAll(list);
    }

使用

        //E为Object
        Stack