Прежде чем отвечать, прошу вдумчиво прочитать и осмыслить вопрос. Итак у нас есть такой код, он скомпилируется и никаких ошибок не будет:
public static void main(String[] args) {
method(4,"s");
}
static <K> void method(K k1, K k2) {
}
Я думал, что логически ошибка должна быть, ну раз нет, значит такие особенности джавы. Далее, есть такой код:
public static void main(String[] args) {
method(new ArrayList<Executor>(), new Object());
}
static <K> void method(List<K> k, K k2) {
}
Этот код уже выдает ошибку компиляции. Компилятор говорит, что я в method (List<Executor>, java.util.concurrent.Executor)
засовываю не то, что надо. Действительно, Object
это вам не Executor
. Но вот теперь главный мой вопрос почему в первом случае компилятору пофиг, что одному и тому же параметризованному типу присваиваются разные типы данных, а во втором случае компилятор на основе первого аргумента метода вычисляет какой должен быть аргумент второго метода. Я не понимаю какая логика работает в обоих случаях.
И еще один не менее важный вопрос, если немного изменить второй пример кода вот так:
public static void main(String[] args) {
method(new ArrayList<Executor>(), 150);
}
static <K> void method(List<? extends K> k, K k2) {
}
Теперь никакой ошибки не возникает, причем мы можем пихать любые типы данных а компилятору все равно! Мы всего лишь изменили List<K>
на List<? extends K>
. Тут я уже даже теряюсь, что это значит. Лист который содержит что-то, что наследует К
, а что такое К
? И почему в итоге нам разрешено класть в параметры метода что угодно (напоминаю, что в предыдущем примере с листом это не разрешено).