JavaSE_8系列博客——Java语言的特性（六）--泛型（3）--泛型和类型通配符

视野拓展：

Java泛型和C plus plus的模板技术？

GJ 程序的语法在表面上与 C++ 中的模板非常类似，但是二者之间有着本质的区别。

首先，Java 语言中的泛型不能接受基本类型作为类型参数――它只能接受引用类型。这意味着可以定义 List，但是不可以定义 List。

其次，在 C++ 模板中，编译器使用提供的类型参数来扩充模板，因此，为 List < A >生成的 C++ 代码不同于为 List< b >生成的代码，List < A > 和 List < B > 实际上是两个不同的类。

而 Java 中的泛型则以不同的方式实现，编译器仅仅对这些类型参数进行擦除和替换。类型ArrayList 和 ArrayList 的对象共享相同的类，并且只存在一个 ArrayList 类。

详细对比参见：

泛型和类型通配符的关系？

通配符是什么

通配符，其实简单来说就是一个未知数，因此在表示的时候，选取的是“？”来表示，也就是说类型不能确定。

为什么，以及什么时候需要类型通配符？

一般来说，我们进行赋值的时候，都是具体的、确定的类型，但是当我们需要赋值的类型不确定的时候，我们就需要通配符了。

通配符以什么样的形式出现？

 List<?> unknownList;//无界限
  List<? extends Number> unknownNumberList;//有上限的通配符
  List<? super Integer> unknownBaseLineIntgerList; //有下限的通配符

小结：

因为，我们在使用泛型类型的类、接口的时候，需要为其赋予具体的实参。例如，咱们要从一个泛型类派生一个子类的时候，我们应该为类型形参传入一个具体的实参值，而不能再使用泛型的形参，如下代码所示：（前提，Apple是一个定义好的泛型类。）
错误的写法示例：

public class A extends Apple<T>{}

正确的写法示例一：

public class A extends Apple<String>{}

正确的写法示例二：

public class A extends Apple