泛型与可变参数

泛型：

泛型:是JDK5中引入的特性，它提供了编译时类型安全检测机制，该机制允许在编译时检测到非法的类型它的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数

一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢?顾名思义，就是将类型由原来的具体的类型参数化，然后在使用/调用时传入具体的类型

这种参数类型可以用在类、方法和接口中，分别被称为泛型类、泛型方法、泛型接口

泛型定义格式:

• :指定一种类型的格式。这里的类型可以看成是形参
• ∶指定多种类型的格式，多种类型之间用逗号隔开。这里的类型可以看成是形参将来具体调用时候给定的类型可以看成是实参，并且实参的类型只能是引用数据类型

泛型的好处：

• 避免了运行时期的异常，将异常提前到了编译器
• 避免了强制类型转换

泛型类的定义格式：

• 格式:修饰符class类名{ }
• 范例: public class Generic { }

此处T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型

//泛型类的创建
public class Generic<T> {
    private T t;

    public T getT() {
        return t;
    }

    public void setT(T t) {
        this.t = t;
    }
}

/泛型类的使用
Generic<String> g =new Generic<>();
g.setT("周芷若");
System.out.println(g.getT());
Generic<Integer> g2 =new Generic<>();
g2.setT(20); 
System.out.println(g2.getT());

//    泛型类
    public void show(T t){
        System.out.println(t);
    }

泛型方法

泛型方法的定义格式:

• 格式:修饰符返回值类型方法名(类型变量名){ }
• 范例: public void show(T t){ }

//泛型方法改进
public<T>  void show(T t){
    System.out.println(t);
}

//泛型方法改进 public<T> void show(T t){ System.out.println(t); }

泛型接口：

泛型接口的定义格式:

• 格式:修饰符interface接口名{}
• 范例: public interface Generic { }

接口的实现类：

//泛型接口
public interface Generic<T> {
    void show(T t);
}

测试类：

public class GenericDemo extends Generic {
    public static void main(String[] args) {
        GenericImpl<String> g = new GenericImpl<>();
        g.show("林青霞");
        GenericImpl<Integer> g1 = new GenericImpl<>();
        g1.show(123);
    }
}

类型通配符：

为了表示各种泛型List的父类，可以使用类型通配符

• 类型通配符:
• List:表示元素类型未知的List，它的元素可以匹配任何的类型
• 这种带通配符的List仅表示它是各种泛型List的父类，并不能把元素添加到其中

如果说我们不希望List是任何泛型List的父类，只希望它代表某一类泛型L ist的父类，可以使用类型通配符的上限

• 类型通配符上限:
• List :它表示的类型是Number或者其子类型

除了可以指定类型通配符的上限，我们也可以指定类型通配符的下限

• 类型通配符下限:
• List:它表示的类型是Number或者其父类型

 //类型通配符
        List<?> l1 =new ArrayList<Integer>();
        List<?> l2 =new ArrayList<String>();
        List<?> l3 =new ArrayList<Boolean>();
        System.out.println("----------");
//类型通配符的上限(前>后)
       // List<?extends Number> ll1 =new ArrayList<Object>();
        List<?extends Number> ll2 =new ArrayList<Integer>();
        List<?extends Number> ll3 =new ArrayList<Number>();
        System.out.println("---------------");

        //类型通配符的下限(前<后)
      //  List<?super Number> lll1 =new ArrayList<Integer>();
        List<?super Number> lll2 =new ArrayList<Number>();
        List<?super Number> lll3 =new ArrayList<Object>();

---

可变参数：

可变参数又称参数个数可变，用作方法的形参出现，那么方法参数个数就是可变的了

• 格式:修饰符返回值类型方法名(数据类型...变量名){}
• 范例: public static int sum(int...a){ }

public static int sum(int...a){ int sum=0; for (int i:a){ sum+=i; } return sum; }

可变参数的使用：

Arrays工具类中有一个静态方法:

• public static List asList(T... a):返回由指定数组支持的固定大小的列表
• 返回的集合不能做增删操作，可以做修改操作

List接口中有一个静态方法:

• public static List of(E... elements):返回包含任意数量元素的不可变列表
• 返回的集合不能做增删改操作

Set接口中有一个静态方法:

• public static Set of(E... elements):返回一个包含任意数量元素的不可变集合
• 在给元素的时候，不能给重复的元素
• 返回的集合不能做增删操作，没有修改的方法