VPF::? в дженериках - Форум программистов

priam220

Дата 3.6.2013, 14:38 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 291
Регистрация: 4.6.2010

Репутация: 7
Всего: 8

Мне не совсем очевидно почему, если убрать <Z>, то ошбика компиляции:

Код


public class Main <Z>{
    public static void main(String [] ags){
        List<?> unknownList = new ArrayList<Main0>();
        new Main().addElement(unknownList);
    }

    public void addElement(Collection<? extends Main0> list) {
                      for(Main0 m:list){
                          m.main();
                      }
    }
}

class Main0{
    public void main(){}
}

LSD

Дата 3.6.2013, 15:11 (ссылка)

(нет голосов)

Загрузка ...

Leprechaun Software Developer

Профиль
Группа: Модератор
Сообщений: 15718
Регистрация: 24.3.2004
Где: Dublin

Репутация: 210
Всего: 538

На самом деле вопрос должен быть сформулирован: почему работает если добавить <Z>

Код


class TestClass<Z> {
    public static void main(String[] ags) {
        List<?> unknownList = new ArrayList<Date>();
        new TestClass().addElement(unknownList);
    }

    public void addElement(Collection<? extends Date> list) {
        for (Date m : list) {
            m.getTime();
        }
    }
}

С точки зрения дженериков List<?> нельзя привести к Collection<? extends Date> и этот код не должен компилироваться.

--------------------

Disclaimer: this post contains explicit depictions of personal opinion. So, if it sounds sarcastic, don't take it seriously. If it sounds dangerous, do not try this at home or at all. And if it offends you, just don't read it.

LSD

Дата 3.6.2013, 15:27 (ссылка)

(нет голосов)

Загрузка ...

Leprechaun Software Developer

Профиль
Группа: Модератор
Сообщений: 15718
Регистрация: 24.3.2004
Где: Dublin

Репутация: 210
Всего: 538

Более того, этот код перестает работать если параметризовать TestClass

Код


new TestClass<Date>().addElement(unknownList);

--------------------

priam220

Дата 3.6.2013, 18:12 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 291
Регистрация: 4.6.2010

Репутация: 7
Всего: 8

Цитата

На самом деле вопрос должен быть сформулирован: почему работает если добавить <Z>

Именно это меня и интересует. Извиняюсь за кривую формулировку, первоначально задумывалось "почему так работает, а если убрать, то нет".
Но потом отрефакторил неудачно.
Получается синтаксический баг?

LSD

Дата 3.6.2013, 18:32 (ссылка)

(нет голосов)

Загрузка ...

Leprechaun Software Developer

Профиль
Группа: Модератор
Сообщений: 15718
Регистрация: 24.3.2004
Где: Dublin

Репутация: 210
Всего: 538

Цитата(priam220 @ 3.6.2013, 19:12

)

Получается синтаксический баг?

Если запустить компилятор то получим ворнинг

Цитата

TestClass.java:6: warning: [unchecked] unchecked call to addElement(java.util.Collection<? extends java.util.Date>) as a member of the raw type TestClass
new TestClass().addElement(unknownList);

Т.е. если мы не параметризуем TestClass, то вызов addElement() идет как unchecked, но вот почему я не знаю. IDEA code analysis совпадает во мнении с компилятором.
Надо спеки почитать.

--------------------

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| Java: Общие вопросы \| Следующая тема »