Как определить метод ограниченного типа для другого ограниченного типа?

Question

Я хочу задать способ, который определяет его тип, как это:

List<R> toList(JsArray<T> array)

, что Т ограничен таким образом, что она является одновременно:

• T extends SomeClass и
• T extends R

Я пробовал такие вещи, безрезультатно:

<R, T extends R & SomeClass> List<R> toList(JsArray<T> array)

(Для любопытных, это должно быть в состоянии использовать GWT Overlay Types with Interfaces)

Answer 1

Я боюсь, что это не сработает. Правильный синтаксис будет

<R, T extends R & SomeClass> List<R> toList(JsArray<T> array) 

Но это даст вам следующее сообщение об ошибке

Невозможно указать любую дополнительную грань SomeClass, когда первая оценка является параметром типа

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

Answer 2

Как насчет этого?

<T extends SomeClass> List<? super T> toList(JsArray<T> array) 

EDIT:

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

Но вы на самом деле ничего не передаете, чтобы рассказать о методе создания. Поскольку я всегда мог вызывать toList() с R = T, единственное, что вы могли бы сделать всегда всегда (для всех R super T) - вернуть List<T>, что делает ненужным параметр R ... но это не то, что вы хотите.

Вам нужно передать что-нибудь, чтобы сообщить методу, какой объект создать экземпляр. Обычно мы смогли к тому, как:

<R, T extends SomeClass> List<R> toList(JsArray<T> array, Class<R> cls) 

и назвать его как

toList(arrayIHave, WhatIWant.class) 

Теперь это будет работать, но вы будете жаловаться, что у него есть условия ошибки, потому что ограничение «T extends R» не улавливается , Но на самом деле, даже если вы добавите ограничение, вы все равно будете иметь ошибки.

можно использовать произвольный интерфейс для R, сделав T, который расширяет SomeClass и R реализует. Нельзя каким-либо образом создать экземпляр произвольного интерфейса, поэтому для многих пар R,T, которые удовлетворяют вашим ограничениям, вам придется возвращать null или выдавать исключение или что-то в этом роде.

Нет сомнения нет некоторых правило, которое диктует, которое R вы будете возвращаться, но не существует никакого способа даже думать об указании общих ограничений, которые фиксируют, что править, так что будет быть непроверенным преобразование где-то. Если вы используете такую ​​подпись, по крайней мере, вы можете поместить ее внутри метода, вместо того чтобы иметь предупреждения или аннотации везде, где вы его используете.