Высокоэффективная библиотека Math для.NET/C# и [закрытого] Java

Подстановочные знаки не имеют большого смысла при объявлении локальных переменных, однако они действительно важны при объявлении параметра для метода.

Представьте, что у вас есть метод:

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 ), потому что только этот вызов имеет правильный тип.