Java-вложенный self referential generic

Question

У меня есть класс, который имеет собственный ссылочный общий параметр и параметр, который имеет тот же суперкласс. Статическая функция имеет одинаковые границы как класс.

public class Bar<T extends Bar<T, C>, C extends Bar<C, ?>> { 

    Bar() { 
     foo((T) null); 
     foo((C) null);//compile error 
    } 

    static <S_T extends Bar<S_T, S_C>, S_C extends Bar<S_C, ?>> void foo(S_T t) { 
    } 
} 

Это сообщение выдаст следующую ошибку.

Bound Несоответствие: Общий метод Foo (S_T) типа Bar < T, C> не применимо для аргументов (C). Выведенный типа C не является допустимой замены для ограниченного параметра < S_T расширяет Бар < S_T, S_C >>

Я не могу понять, почему C не может быть принят, чтобы foo() поскольку C является Bar<C,?> и подстановочный знак - Bar, потому что второй параметр в объявлении говорит, что он расширяет Bar.

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

Answer 1

Я не трещина с обобщениями, но я думаю, что проблема в том, что вы объявляете тип Foo(), чтобы быть

<S_T extends Bar<S_T,S_C> > void foo(S_T) 

, а затем вызвать его в двух разных контекстах, которые требуют различных статических тип для foo().

В первом контексте S_T имеет тип T, а во втором - тип C. Но T и C объявлены как Bar<T,?> и Bar<C,?>, которые являются несовместимыми типами статически. Я бы предположил, что компилятор вычисляет тип foo() в первом вызове и затем предполагает, что тип должен оставаться неизменным во всем, чего нет.

Answer 2

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

Java не выполняет какой-либо интеллектуальный логический вывод на ? шаблона в объявлении Bar сделать вывод, что она логически ограничена Bar< ?, ? > (ни что ? s в том, что границе сам ограничены, и так далее). Как только вы положили ?, это все, что знает Java. Хотя ничто не мешает вам помещать эту привязку в подстановочный знак в объявлении Bar, даже это не помогает Java; Java никогда не предполагает, что два отдельных файла ? s относятся к одному типу, даже если более глубокий анализ будет означать, что они должны быть. Другими словами, ошибка компиляции сохраняется даже с этим кодом:

public class Bar<T extends Bar<T, C>, C extends Bar<C, ? extends Bar<?, ? extends Bar<?, ?>>>> { 

    Bar() { 
     foo((T) null); 
     foo((C) null);//compile error 
    } 

    static <S_T extends Bar<S_T, S_C>, S_C extends Bar<S_C, ? extends Bar<?, ? extends Bar<?, ?>>>> void foo(S_T t) { 
    } 
}