泛型：超级、扩展、列表

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

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

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

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

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。。 ”

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

“好的。”

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

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，但它们有类型参数。”

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

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

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<?>

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

“今天就这些了。”

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