Модераторы: LSD, AntonSaburov

Поиск:

Ответ в темуСоздание новой темы Создание опроса
> Iterable. Incompatible types. 
V
    Опции темы
User008
Дата 16.4.2012, 12:43 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


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

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

Iterable<Iterable<Integer>> c = new HashSet<HashSet<Integer>>();

Объясните, пожалуйста, почему не принимается такая строка?
PM MAIL   Вверх
LSD
Дата 16.4.2012, 12:56 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Leprechaun Software Developer
****


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

Репутация: 210
Всего: 538
Потому что
Код

 new HashSet<HashSet<Integer>>()

приводим к 
Код

Iterable<HashSet<Integer>>

но не 
Код

Iterable<Iterable<Integer>>



--------------------
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.
PM MAIL WWW   Вверх
Stolzen
Дата 16.4.2012, 12:58 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
***


Профиль
Группа: Завсегдатай
Сообщений: 1041
Регистрация: 17.10.2005

Репутация: 23
Всего: 48
Ответ есть в item25 книги Effective Java, 2 ed:

Цитата
Arrays differ from generic types in two important ways. First, arrays are covariant.
This scary-sounding word means simply that if Sub is a subtype of Super, then the
array type Sub[] is a subtype of Super[]. Generics, by contrast, are invariant: for
any two distinct types Type1 and Type2, List<Type1> is neither a subtype nor a
supertype of  List<Type2> [JLS, 4.10; Naftalin07, 2.5].


Это сообщение отредактировал(а) Stolzen - 16.4.2012, 12:58


--------------------
datatalks.ru - анализ данных, статистика, машинное обучение
PM MAIL WWW   Вверх
User008
Дата 16.4.2012, 13:18 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


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

Репутация: нет
Всего: 1
Спасибо. А как можно написать функцию, чтобы параметром была коллекция коллекций?

Это сообщение отредактировал(а) User008 - 16.4.2012, 13:19
PM MAIL   Вверх
Stolzen
Дата 16.4.2012, 13:26 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
***


Профиль
Группа: Завсегдатай
Сообщений: 1041
Регистрация: 17.10.2005

Репутация: 23
Всего: 48
Код

Iterable<? extends Iterable<Integer>>

Попробуйте так


--------------------
datatalks.ru - анализ данных, статистика, машинное обучение
PM MAIL WWW   Вверх
LSD
Дата 16.4.2012, 13:27 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Leprechaun Software Developer
****


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

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

Collection<? extends Collection<Integer>>



--------------------
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.
PM MAIL WWW   Вверх
User008
Дата 16.4.2012, 13:34 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


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

Репутация: нет
Всего: 1
Спасибо. А можно пояснить в чём разница между этими двумя записями? То, что написано в Effective Java, 2 ed я не совсем понял.
В С++ используется Template и там у меня таких проблем не возникало если есть нужные методы.
И что делает вопросительный знак?
PM MAIL   Вверх
Stolzen
Дата 16.4.2012, 13:37 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
***


Профиль
Группа: Завсегдатай
Сообщений: 1041
Регистрация: 17.10.2005

Репутация: 23
Всего: 48
Цитата(User008 @  16.4.2012,  14:34 Найти цитируемый пост)
И что делает вопросительный знак? 


Цитата
What is the difference between the unbounded wildcard type Set<?> and the
raw type Set? <...> the wildcard type is safe and the raw type isn’t. You can put any element
into a collection with a raw type, easily corrupting the collection’s type invariant; 
you can’t put any element (other than null) into a Collection<?>. 
Attempting to do so will generate a compile-time error message


Добавлено @ 13:38
Т.е. по простому говоря, программисту разрешается считывать элементы из коллекции так, как будто они все Iterable - но помещать туда ничего не разрешается

Это сообщение отредактировал(а) Stolzen - 16.4.2012, 13:38


--------------------
datatalks.ru - анализ данных, статистика, машинное обучение
PM MAIL WWW   Вверх
User008
Дата 16.4.2012, 13:43 (ссылка) | (голосов:1) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


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

Репутация: нет
Всего: 1
Т.е. один из вариантов, даёт возможность только читать и это ограничение порождает ещё и дополнительные проблемы, я правильно понял?
PM MAIL   Вверх
Stolzen
Дата 16.4.2012, 13:57 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
***


Профиль
Группа: Завсегдатай
Сообщений: 1041
Регистрация: 17.10.2005

Репутация: 23
Всего: 48
Цитата(User008 @  16.4.2012,  14:43 Найти цитируемый пост)
Т.е. один из вариантов, даёт возможность только читать и это ограничение порождает ещё и дополнительные проблемы, я правильно понял? 

Да нет, проблем вообщем-то никаких, если нужно только прочитать. Если нужно еще и добавить в коллекцию, то используйте
Код
Iterable<Iterable<Integer>> c = new HashSet<Iterable<Integer>>();



--------------------
datatalks.ru - анализ данных, статистика, машинное обучение
PM MAIL WWW   Вверх
User008
Дата 17.4.2012, 08:33 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


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

Репутация: нет
Всего: 1
А если я хочу возвращать объект того же типа, что и аргумент Iterable<Iterable<T>>, как мне это сделать?

Это сообщение отредактировал(а) User008 - 17.4.2012, 08:33
PM MAIL   Вверх
Stolzen
Дата 17.4.2012, 08:41 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
***


Профиль
Группа: Завсегдатай
Сообщений: 1041
Регистрация: 17.10.2005

Репутация: 23
Всего: 48
Цитата(User008 @  17.4.2012,  09:33 Найти цитируемый пост)
А если я хочу возвращать объект того же типа, что и аргумент Iterable<Iterable<T>>, как мне это сделать?


Код

public static void main(String[] args) {
    Set<List<Integer>> set = new HashSet<List<Integer>>();
    set.add(Arrays.asList(10));
    System.out.println(it(set));
}

public static <E> E it(Iterable<? extends Iterable<E>> it) {
    return it.iterator().next().iterator().next();
}

Так, если я правильно понял вопрос


--------------------
datatalks.ru - анализ данных, статистика, машинное обучение
PM MAIL WWW   Вверх
User008
Дата 17.4.2012, 08:44 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


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

Репутация: нет
Всего: 1
Цитата(Stolzen @  17.4.2012,  08:41 Найти цитируемый пост)
Так, если я правильно понял вопрос 

Наверное неправильно.

Код

    public static <T> Iterable<Iterable<T>> product(Iterable<Iterable<T>> arg) {
        Iterable<? extends Iterable<T>> ret = ?
        ...
        return ret;
PM MAIL   Вверх
User008
Дата 17.4.2012, 11:13 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


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

Репутация: нет
Всего: 1
И что здесь неправильно?
Код

    public static <E extends Collection<I>, I extends Collection<T>, T> Iterable<Iterable<T>> f(E e) {
        E x = new E();

Type parameter E cannot be installed directly.

Это сообщение отредактировал(а) User008 - 17.4.2012, 11:13
PM MAIL   Вверх
LSD
Дата 17.4.2012, 14:36 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Leprechaun Software Developer
****


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

Репутация: 210
Всего: 538
Цитата(User008 @  17.4.2012,  12:13 Найти цитируемый пост)
И что здесь неправильно?

Во время выполнения информации о типе E не будет, потому конструкция new E() невалидна. Да и вообще явно же не каждый класс имеет конструктор по умолчанию smile


--------------------
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.
PM MAIL WWW   Вверх
Ответ в темуСоздание новой темы Создание опроса
Правила форума "Java"
LSD   AntonSaburov
powerOn   tux
javastic
  • Прежде, чем задать вопрос, прочтите это!
  • Книги по Java собираются здесь.
  • Документация и ресурсы по Java находятся здесь.
  • Используйте теги [code=java][/code] для подсветки кода. Используйтe чекбокс "транслит", если у Вас нет русских шрифтов.
  • Помечайте свой вопрос как решённый, если на него получен ответ. Ссылка "Пометить как решённый" находится над первым постом.
  • Действия модераторов можно обсудить здесь.
  • FAQ раздела лежит здесь.

Если Вам помогли, и атмосфера форума Вам понравилась, то заходите к нам чаще! С уважением, LSD, AntonSaburov, powerOn, tux, javastic.
 
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | Java: Общие вопросы | Следующая тема »

Подписаться на тему | Подписка на этот форум | Скачать/Распечатать тему


 




[ Время генерации скрипта: 0.1110 ]   [ Использовано запросов: 22 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
 По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.