java——泛型（下）

一，类型通配符

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

如果说我们不希望List<?>是任何泛型List的父类，只希望它代表某一类泛型List的父类，可以使用类型通配符的上限
类型通配符上限:<? extends类型>
List<? extends Number> :它表示的类型是Number或者其子类型

除了可以指定类型通配符的上限，我们也可以指定类型通配符的下限
类型通配符下限: <? super类型>
List<? super Number>:它表示的类型是Number或者其父类型

测试：

import java.util.ArrayList;

public class GenericTest {
    public static void main(String[] args) {
//        ?通配符可以匹配任何类型
        ArrayList<?> al1=new ArrayList<Object>();
        ArrayList<?> al2=new ArrayList<Number>();
        ArrayList<?> al3=new ArrayList<Integer>();
//        ？ extends 限定了上限
//        ArrayList<? extends Number> al4=new ArrayList<Object>();//超过了上限，无法通过编译
        ArrayList<? extends Number> al5=new ArrayList<Number>();
        ArrayList<? extends Number> al6=new ArrayList<Integer>();
//        ? super 限定了下限
        ArrayList<? super Number> al7=new ArrayList<Object>();
        ArrayList<? super Number> al8=new ArrayList<Number>();
//        ArrayList<? super Number> al9=new ArrayList<Integer>();//低于下限无法通过编译

    }
}

二，可变参数

可变参数又称参数个数可变，用作方法的形参出现，这样方法参数个数就是可变的了
格式：修饰符 返回值类型 方法名(数据类型... 变量名){}，如public static int sum(int... a)

测试：

public class ArgsTest {
    public static int sum(/*double b,//当有其他参数时需要放在可变参数前面*/int... a){
        int sum=0;
//        可变参数实际是把所有传进来的参数存到了数组
        for(int i : a){
            sum+=i;
        }
        return sum;
    }
    public static void main(String[] args) {
        System.out.println(sum(1,2,3,4));
        System.out.println(sum(1,2,3,4,5,6));
        System.out.println(sum(1,2,3,4,5,6,7));
    }
}

结果：