Как вернуть общий тип, имея еще один общий тип в качестве параметра, оба из которых необходимы для реализации взаимодействия?

Question

Хорошо, да, название путается. Но это то, что я хочу выполнить:

Я хочу вернуть список, содержащий элементы типа C. И я хочу, чтобы метод получал переменную типа R. И C должен быть классом, реализующим интерфейс, т.е. C_interface, а R должен быть классом, реализующим другой интерфейс, то есть R_interface.

В моем мире этот метод голова должна работать:

public <C implements C_interface, R implements R_interface> List<C> method_name(R r) 

Но это не так. Я получаю следующие ошибки в Eclipse:

Multiple markers at this line 
    - Syntax error on token "implements", , 
    expected 
    - R cannot be resolved to a type 
    - Syntax error on token "implements", , 
    expected 
    - C cannot be resolved to a type 

Если я удалю реализует интерфейсную часть, например:

public <C, R> List<C> method_name(R r) 

Все работает отлично. И я думаю, я мог бы просто проверить тип внутри метода. Но если это сделать первым, это будет намного лучше.

Answer 1

Вы должны использовать extends вместо орудий. Это работает:

public class DoubleParamGeneric { 

    public <C extends CInterface, R extends RInterface> List<C> m(R r) { 

     List<C> result = null; 

     // Process here 

     return result; 

    } 
} 

public interface CInterface { 

} 

public interface RInterface { 

}