Generic параметр возвращает List <ChildInterface> в потоке, но прямой метод возвращает список вызовов <Parent>

Question

Для установки, у меня есть:

interface Parent 

interface Child1 extends Parent 

interface Child2 extends Parent 

И в другом месте у меня есть:

public class MyClass { 
    private List<Child1> child1List = new ArrayList<>(); 

    public List<Parent> getChild1List(Contact contact) { 
     return child1List.parallelStream() 
         .filter(m -> m.getContacts().contains(contact)) 
         .sorted(Comparator.comparing(Parent::getParentField)) 
         .collect(Collectors.toList()); 
    } 
} 

Когда я это делаю это way, getChild1List возвращает List<Parent> (не должен ли он возвращаться List<Child1>?)

Позже, я обнаружил, что поток полезен для других методов, поэтому я ext и он создал общий метод. У меня есть несколько интерфейсов, которые расширяют Parent, так что я следующим образом:

private <T extends Parent> List<T> returnsListByContact(List<T> childList, Contact contact) { 
     return childList.parallelStream() 
         .filter(m -> m.getContacts().contains(contact)) 
         .sorted(Comparator.comparing(Parent::getParentField)) 
         .collect(Collectors.toList()); 
    } 

и getChild1List(Contact contact) стали:

public List<Parent> getChild1List(Contact contact) { 
     return returnsListByContact(child1List, contact); 
    } 

, но теперь это не нравится, ссылаясь, что getChild1List возвращается в List<Child1>. Я не понимаю, почему, поскольку реализация потока не была изменена вообще, за исключением того, что дочерний список, который запускает его, прошел через общий параметр, а не прямой вызов в поле частного члена MyClass.

Так почему же они возвращают две разные вещи?

Answer 1

(пример путает ли Meeting действительно Parent.?)

В первой версии getChild1List, метод collect(toList()) называется на Stream<Child1> и целевой тип - определяется типом возвращаемого getChild1List - есть List<Parent>. Это работает, потому что разрешено собирать поток типа T сборщиком супертипа T. В частности, вы добавляете экземпляры типа Child1 в List<Parent>, который является безопасным по типу и разрешен. Вы могли бы также изменить объявление getChild1List(), чтобы вернуть List<Child1> вместо List<Parent>.

Вы можете увидеть, где дисперсия разрешено смотреть на объявления collect() в Stream<T>:

<R,A> R collect(Collector<? super T,A,R> collector) 

? super T что позволяет дисперсию.

Ваше заявление о returnsListByContact,

<T extends Parent> List<T> returnsListByContact(List<T> childList, ...) 

делает не позволяют дисперсии. Он принимает параметр типа List<T> и возвращает List<T>. Параметр и тип возврата должны быть идентичными. Вот почему есть несоответствие, когда вы проходите в List<Child1> и пытаетесь вернуть его из метода, тип возврата которого List<Parent> - эти типы несовместимы.

Чтобы исправить это, вам нужно добавить некоторое отклонение от вашего объявления returnsListByContact.Вот как я это сделать:

<T extends Parent> List<T> returnsListByContact(List<? extends T> childList, ...) 

Это позволяет возвращать список некоторого типа при переходе в список некоторого подтипа, в этом случае возвращение List<Parent> при прохождении в List<Child1>, что то, что я думаю, что вы хотеть.