Generic method return super type type param и method Параметр параметра param

Question

Я хочу, чтобы возвращаемый тип param был супер как param параметра, так и param параметра param.

компилируется:

import java.util.List; 
interface Foo<A> { 
    <R, B extends R> List<R> eg1(List<B> unit); 
    <R> List<R> eg2(List<? extends R> unit); 
} 

Но не навязывает, что R должно быть супер А также. Как мне это сделать?

В сущности, я хочу сделать что-то вроде того, что выражается в них:

<B, R super A & B> List<R> func(List<B> unit); 
<B> List<? super A & B> func(List<B> unit); 

Но те не компилировать, конечно.

Есть две цели этой:

1. Я хочу, чтобы иметь возможность присвоить результат любого супер класса А и В.
2. В реализации этого метода, мне нужен результат тип, который может включать как A, так и B. Поэтому первые примеры, которые компилируются, не будут работать, потому что они не позволят мне помещать A в результат.

Answer 1

Благодаря комментарий @LouisWasserman «s, я начал думать о реализации, которую я должен был сделать так, первым , Где-то что-то должно указывать тип, который нужно построить для возврата. Либо жестко закодирован в реализации метода, задан как параметр типа, параметр param param и т. Д. И везде, где эта спецификация, вот где можно правильно определить генерики для этого метода интерфейса.

Другими словами, то, что я пытаюсь сделать, не имеет смысла, потому что вы не можете построить тип возврата.

Answer 2

Я думаю, что вы должны назвать параметр типа на уровне класса:

import java.util.List; 
interface Foo<Base, A extends Base> { 
    <B extends Base> List<Base> eg1(List<B> unit); 
    <R> List<R> eg2(List<? extends R> unit); 
}