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 就不行。