泛型：类

“嗨！我要继续艾莉的泛型课程。准备好听了吗？”

“是的。”

“那我们开始吧。”

“你需要知道的第一件事是类的方法也可以有自己的类型参数。”

“我知道。”

“不，我特指自己的类型参数： ”

class Calculator
{
  T add(T a, T b); // Add
  T sub(T a, T b); // Subtract
  T mul(T a, T b); // Multiply
  T div(T a, T b); // Divide
}

“这些类型参数专门与方法有关。该类没有参数。您甚至可以将这些方法声明为静态的，并在没有对象的情况下调用它们。”

“我明白了。方法中的类型参数的意义与类相同？”

“是的。但是有一些新东西。”

“正如你已经知道的，你可以在类型声明中使用通配符。那么想象一下以下情况：”

public void doSomething(List<? extends MyClass> list)
{
 for(MyClass object : list)
 {
  System.out.println(object.getState()); // Everything works well here.
 }
}

“但是如果我们想向集合中添加一个新项目怎么办：”

public void doSomething(List<? extends MyClass> list)
{
 list.add(new MyClass()); // Error!
}

“问题在于，在一般情况下，可能会向 doSomething 方法传递一个列表，该列表的元素不是 MyClass 对象，而是 MyClass 的任何子类的对象。但是您不能将 MyClass 对象添加到这样的列表中！”

“啊。那么，那有什么办法呢？”

“没什么。在这种情况下，你什么也做不了。但这给了 Java 的创造者一些思考。他们想出了一个新的关键字：super。”

“语法看起来几乎一样：”

List<? super MyClass> list

但是 extends 和 super 之间有一个重要的区别。

“«? extends T» 表示该类必须是 T 的后代。”

“«?super T» 意味着该类必须是 T 的祖先。”

“我的天啊。那这东西用在什么地方？”

“«? super T» 在方法涉及添加到 T 对象的集合时使用。在这种情况下，它可以是 T 对象的集合或 T 的任何祖先。”

“啊。可以将 AT 对象分配给类型为 T 的任何祖先的引用变量”

“老实说，这种方式用得并不多，而且还有一个缺点，比如：”

public void doSomething(List<? super MyClass> list)
{
 for(MyClass object : list) // Error!
 {
  System.out.println(object.getState());
 }
}

public void doSomething(List<? super MyClass> list)
{
 list.add(new MyClass()); // Everything works well here.
}

“现在第一个例子行不通了。”

“因为 list 甚至可以是 List<Object>（Object 是 MyClass 的最顶层超类），我们实质上是在编写以下无效代码：”

List<Object> list;

for(MyClass object : list) // Error!
{
 System.out.println(object.getState());
}

“我明白了。谢谢你有趣的课。”

“不客气。”