Java学习升阶 -01-一篇看懂java泛型(2)

泛型的补充理解：泛型将参数作为变量可以更灵活高效的复用功能相同的业务代码，泛型可以用Object的引用来实现参数"任意化"，“任意化”带来的缺点是要做显式的强制类型转换，而这种转换是要求开发者对实际参数类型可以预知的情况下进行的。对于强制类型转换错误的情况，编译器可能不提示错误，在运行的时候才出现异常，这是本身就是一个安全隐患。
那么泛型的好处就是在编译的时候能够检查类型安全，并且所有的强制转换都是自动和隐式的。

特别强调理解关于泛型通配符？，？代表一个占位符号，表明将来使用时候再指明类型。

这里看两个栗子：
1、定义打印一个集合元素

    public static void print(List<?> list){
        list.add("test");  //报错，这里对未来使用对类型是无法确定对
        for (Object o: list
             ) {
            System.out.println(o);
        }
    }

2、父类 Animal 和几个子类，如狗、猫等

    static int countLegs (List<? extends Animal > animals ) {
    int retVal = 0;
    for ( Animal animal : animals )
    {
        retVal += animal.countLegs();
    }
    return retVal;
}

static int countLegs1 (List< Animal > animals ){
    int retVal = 0;
    for ( Animal animal : animals )
    {
        retVal += animal.countLegs();
    }
    return retVal;
}

public static void main(String[] args) {
    List<Dog> dogs = new ArrayList<>();
     // 不会报错
    countLegs( dogs );
    // 报错
    countLegs1(dogs);
}

所以，对于不确定或者不关心实际要操作的类型，可以使用无限制通配符（尖括号里一个问号，即 ），表示可以持有任何类型。像 countLegs 方法中，限定了上届，但是不关心具体类型是什么，所以对于传入的 Animal 的所有子类都可以支持，并且不会报错。而 countLegs1 就不行。