Extract Generic types from extended Generic

Question

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

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

public abstract class NewParametrized<K, V, M extends SomeParametrized<K, V>> { 

    public void someMethodThatTakesKAndV(K k1, V v1) { } 
} 

Другими словами, я хотел бы объявление класса выглядеть примерно так:

public class NewParametrized<M extends SomeParametrized<K, V>> { 

И К и типа V была бы быть выведено из определения М.

Answer 1

Проблема заключается в том, что K и V на самом деле не «повторяются», по крайней мере, не более чем объявление переменной и использование этой же переменной - «повторение».

Путь думать о том, что вы объявляете общие типы K и V, а затем использовать эти объявленные обобщенные типы в определении универсального типа M. Таким образом, вы не объявляете общий тип K или V более одного раза: скорее, вы объявляете каждый из них один раз, а затем ссылаетесь на них в объявлении чего-то еще.

Чтобы посмотреть на это по-другому, количество типовых типов здесь еще три, а именно K, V и M. M определяется в терминах K и V, но вам не нужно было определять M таким образом.

---

Я хотел бы добавить, что если вы являетесь сторонником type inference, вы можете просмотреть объявление и использование одной и той же переменной, как ненужного повторения. Однако, если вы привыкли программировать на Java (или C, или C++, или многие, многие другие языки), то вы, вероятно, привыкли к объявлению переменных перед их использованием.

Answer 2

Если бы это было возможно, декларация

public class NewParametrized<M extends SomeParametrized<K, V>> { 

бы неоднозначным, если класс K или V были определены в том же пакете, было бы невозможно узнать, является ли переменная типа или ссылка конкретный класс.