通配符的目的是什么？它们与泛型有何不同？

Question

直到几天前，我才听说过野车，在读完我的老师的Java书籍后，我仍然不确定它的用途以及为什么需要使用它。

比方说，我有一个超类Animal和几个子类都Dog，Cat，Parrot，等…现在我需要有动物名单，我首先想到的会是这样的：

List<Animal> listAnimals

相反，我的同事们建议采取以下措施：

List<? extends Animal> listAnimals

为什么要使用通配符而不是简单的泛型？

假设我需要一个get / set方法，应该使用前一种还是后一种？它们有何不同？

Answer 1

声明局部变量时，通配符没有多大意义，但是当为方法声明参数时，通配符确实很重要。

假设您有一个方法：

int countLegs ( List< ? extends Animal > animals )
{
   int retVal = 0;
   for ( Animal cur : animals )
   {
      retVal += cur.countLegs( );
   }

   return retVal;
}

使用此签名，您可以执行以下操作：

List<Dog> dogs = ...;
countLegs( dogs );

List<Cat> cats = ...;
countLegs( cats );

List<Animal> zoo = ...;
countLegs( zoo );

但是，如果您这样声明countLegs：

int countLegs ( List< Animal > animals )

然后，在前面的示例中，仅countLegs( zoo )会编译，因为只有该调用具有正确的类型。