VPF::Type inference не работает для аргументов методов

CPlusPlusFAN

Дата 1.3.2013, 21:37 (ссылка)

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

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 315
Регистрация: 1.11.2005
Где: Воронеж

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

Здравствуйте!

Вот я не пойму, почему не происходит вывод типов:

Код


public static void main(final String[] args)
{
    final List<String> l = Collections.emptyList(); // Вывод типов ок
    f(Collections.emptyList()); // Почему-то пытается использовать подтип List<Object>
}
    
public static void f(final List<String> l)
{
    
}

И вот непонятно, почему он может посмотреть аргумент дженерика в переменной, но не может его посмотреть в параметре метода.

Это сообщение отредактировал(а) CPlusPlusFAN - 1.3.2013, 21:38

k0rvin

Дата 2.3.2013, 08:10 (ссылка)

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

Загрузка ...

Опытный

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

Репутация: 1
Всего: 5

Потому что в джаве вывод типов на уровне детского сада «Солнышко».

Надо так:

Код


f(Collections.<String>emptyList());

http://stackoverflow.com/questions/306713/...ns-a-listobject

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

“Object-oriented design is the roman numerals of computing.” — Rob Pike
All software sucks

CPlusPlusFAN

Дата 2.3.2013, 11:12 (ссылка)

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

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 315
Регистрация: 1.11.2005
Где: Воронеж

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

k0rvin, ну я знаю, как надо, чтоб компилятор наконец-таки догнал, что за тип я от него прошу. Просто думал, что этому есть какое-то рациональное объяснение.

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