“现在介绍一个有趣的新话题:通配符。”

“从本质上讲,这就像一个 «*» 模式,可以匹配任何东西。”

“但让我们从头开始吧。”

“想象一下,你有一个 Warrior 类和一个方法来确定两个战士中哪个更强。这看起来可能是这样的:”

示例 1
class WarriorManager
{
 public static boolean fight(Warrior w1, Warrior w2)
 {
  return w1.power > w2.power;
 }
}
示例方法调用
MagicWarrior mag = new MagicWarrior();
ArcherWarrior archer = new ArcherWarrior();

boolean isMagicCooler = WarriorManager.fight(mag, archer);

“MagicWarrior和ArcherWarrior都继承了Warrior。。

“这有点简单,但举个例子,它就可以了。”

“好的。”

“现在假设你已经决定为多个战士加入战斗的情况制定类似的方法。”

示例 1
class WarriorManager
{
 public static boolean fight(Warrior w1, Warrior w2)
 {
  return w1.power > w2.power;
 }

 public static boolean fight(List<Warrior> w1, List<Warrior> w2)
 {
  return 
 }
}
示例方法调用
ArrayList<MagicWarrior> magi = new ArrayList<MagicWarrior>();
for(int i = 0; i < 10; i++)
 magi.add(new MagicWarrior());

ArrayList<ArcherWarrior> archers = new ArrayList<ArcherWarrior>();
for(int i = 0; i < 10; i++)
 archers.add(new ArcherWarrior());

boolean isMagicCooler = WarriorManager.fight(magi, archers); // Compilation error!

“但在这里你遇到了一个编译错误,并且对可能出了什么问题感到困惑。”

“关键是MagicWarrior 继承了 Warrior,而 MagicWarrior 对象可以传递给 fight(Warrior, Warrior) 方法。”

“但是List<MagicWarior> 不继承 List<Warrior>。所以,你不能把它传递到那里!”

“你说它不继承是什么意思?”

“我的意思是:一个是List,另一个是List,但它们有类型参数。”

“你说得对。我不知道为什么没有第一时间注意到这一点。那么,这个问题已经有解决方案了吗?”

“是的。你需要使用更复杂的结构。它看起来是这样的:”

示例 1
class WarriorManager
{
 public static boolean fight(Warrior w1, Warrior w2)
 {
  return w1.power > w2.power;
 }

 public static boolean fight(List<? extends Warrior> w1, List<? extends Warrior> w2)
 {
  return …
 }
}

“«? extends Warrior» 部分表示 «任何继承 Warrior 的类型»”

“换句话说,现在你可以传递一个 List<MagicWarrior> 和一个 List<ArcherWarrior>,一切都会起作用。”

“太厉害了,这种问题越少越好。”

“我也是这种感觉。”

“但是,如果我不需要继承 Warrior 的东西怎么办?如果我希望能够将具有任何类型参数的任何 List 传递给该方法怎么办?这允许吗?”

“是的,有两种形式的符号可以做到这一点:”

List<? extends Object>
List<?>

“它们的意思相同,所以通常使用第二个版本。”

“今天就这些了。”

“谢谢你,艾莉,我今天真的学到了很多东西。”