“嗨!我要继续艾莉的泛型课程。准备好听了吗?”
“是的。”
“那我们开始吧。”
“你需要知道的第一件事是类的方法也可以有自己的类型参数。”
“我知道。”
“不,我特指自己的类型参数: ”
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());
}
“我明白了。谢谢你有趣的课。”
“不客气。”
GO TO FULL VERSION