Почему список можно назначить для List здесь? ⇐ JAVA

[Anonymous]

Я понимаю, что Java, как правило, инвариантна, поскольку она не хочет иметь дело с проблемами Co/Contra-variance.
Итак, в целом

Код: Выделить всё

List
 a = new ArrayList();

потребует тип-эразоподобного листа через (список) , чтобы сделать работу.
Однако

Код: Выделить всё

List p = Collections.singletonList();

работает как есть, без актерского состава, несмотря на то, что утверждает, что он немного экспериментировал через документацию. />

• Он выводит тип возврата, основанный на том, что он назначается
  
  Это может, например, притворяться, что < /code> Параметр (
  
  Подробнее здесь: https://stackoverflow.com/questions/784 ... rtype-here