Модераторы: 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   Вверх
User008
Дата 17.4.2012, 15:32 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


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

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

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

А я думал это во время компиляции проверяется.

Добавлено @ 15:34
А здесь что не так?
Код

    public static void main(String args[]) {
        HashSet<HashSet<Integer>> set = new HashSet<HashSet<Integer>>();
        f(set);
    }

    public static <E extends Collection<I>, I extends Collection<T>, T> E f(E e) {
        return e;
    }


error: invalid inferred types for I,T; inferred type does not conform to declared bound(s)
inferred: HashSet<Integer>
bound(s): Collection<Object>
where I,E,T are type-variables:
I extends Collection<T> declared in method <E,I,T>f(E)
E extends Collection<I> declared in method <E,I,T>f(E)
T extends Object declared in method <E,I,T>f(E)

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


Leprechaun Software Developer
****


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

Репутация: 210
Всего: 538
Цитата(User008 @  17.4.2012,  16:32 Найти цитируемый пост)
А я думал это во время компиляции проверяется.

А как во время компиляции узнать кто с каким значением E будет вызывать метод?



Цитата(User008 @  17.4.2012,  16:32 Найти цитируемый пост)
А здесь что не так?

Тут все так, javac 1.6.0_30 все нормально компилирует.


--------------------
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
Дата 18.4.2012, 02:36 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


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

Репутация: нет
Всего: 1
Спасибо.
Только я не понимаю как добавить новый элемент.
Код

public static <E extends Collection<I>, I extends Collection<T>, T> E add(E e) {
    e.add(new I()); // Type parameter I cannot be instantiated directly
}


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


Эксперт
***


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

Репутация: 23
Всего: 48
Цитата(User008 @  18.4.2012,  03:36 Найти цитируемый пост)
Только я не понимаю как добавить новый элемент.

Создать элемент типа I нельзя - во время выполнения нет инофрмации о типе, LSD уже писал про это. Советую почитать подробнее, как устроены генерики в java, например, в главах из Effective Java по генерикам довольно много ролезной информации.


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


Опытный
**


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

Репутация: нет
Всего: 1
Ок, спасибо.
PM MAIL   Вверх
Страницы: (2) [Все] 1 2 
 Ответ в темуСоздание новой темы Создание опроса
Правила форума "Java"
LSD   AntonSaburov
powerOn   tux
javastic
  • Прежде, чем задать вопрос, прочтите это!
  • Книги по Java собираются здесь.
  • Документация и ресурсы по Java находятся здесь.
  • Используйте теги [code=java][/code] для подсветки кода. Используйтe чекбокс "транслит", если у Вас нет русских шрифтов.
  • Помечайте свой вопрос как решённый, если на него получен ответ. Ссылка "Пометить как решённый" находится над первым постом.
  • Действия модераторов можно обсудить здесь.
  • FAQ раздела лежит здесь.

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

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


 




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


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

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