Доброго всем времени!
Думал, что я знаю, как использовать дженерики, а оказалось xто и нет. Код:
class MyClass<T> {
T mas[];
void foo() {
mas = new T[10]; // ошибка!
}
}
Вопрос - почему возникает ошибка?
Stack Overflow на русском — это сайт вопросов и ответов для программистов. Присоединяйтесь! Регистрация займёт не больше минуты.
Присоединиться к сообществуЭто ограничение реализации дженериков в Java.
Дело в том, что дженерики — конструкция времени компиляции, информации о настоящем типе в рантайме нет. Это называется type erasure: Java заменяет везде T
на Object
в скомпилированном коде (если нет дальнейших условий). При создании массива, однако, Java нуждается в информации о типе элементов, но этот тип недоступен, дженерик не имеет возможности узнать тип своего параметра T
!
Поэтому и создать массив неизвестного (для дженерика) типа T
в Java невозможно.
В качестве рекламы корпорации мирового зла замечу, что дженерики в C# были разработаны с учётом опыта Java и избежали проблемы, с которой вы столкнулись.
На Stackoverflow обсуждаются возможные workaround'ы. Самый простой — передавать T.class
в конструкторе MyClass<T>
, и конструировать массив следующим образом:
mas = (T[])Array.newInstance(TClass, 10);
T
в качестве входного параметра: Class TClass = // как-то получить класс T T[] ts = (T[])Array.newInstance(TClass, 10); TClass можно, например, передать в качестве параметра в foo
: MyClass<String> object = ...; object.foo(String.class); Или в конструкторе, и потом запомнить в переменной. Знаю, некрасиво, сорри.
@nightin_gale, Еще один вариант так сказать "из жизни": вместо поля TClass
объявить абстрактный метод в духе:
protected Class<T> getClassDef();
и, переопределяя его в дочерних классах:
public class MyStringClass extends MyClass<String> {
protected Class<T> getClassDef() { return String.class; }
}
пользоваться в родительском:
mas = (T[])java.lang.reflect.Array.newInstance(getClassDef(), 10);
А почему бы не сделать вот так:
mas = (T[])(new Object[10]);
ClassCastException()
. Скомпилируется, но во время присвоения к конкретному типу будет exception, например, если под T
подразумеваем тип String
, то при присвоении ссылке типа String
- будет ошибка.
19 мар 2019 в 23:16
Ваш случай попадает под одно из ограничений для дженериков - невозможно создать экземпляр массива или переменной параметризованного типа. Как было описано выше во время компиляции вся информация об использовании параметра типа удаляется и подставляется конкретный, указанный вами тип. Необходимо это для обратной совместимости кода. Поэтому и выходит, что Вы пытаетесь создать экземпляр неизвестного типа, что в принципе невозможно. Но можете передавать массив снаружи, при вызове метода.
Мой ответ весьма упрощен, и является неполным, однако все же является одним из решений данной проблемы =)
class MyClass<T> {
T mas[];
void foo(T arr[]) {
mas = arr;
}
}
k
штук и выдаёт последовательность групп: IEnumerable<IEnumerable<T>> BufferBy<T>(this IEnumerable<T> self, int n) { T[] buffer; int index = 0; foreach (var t in self) { if (index == 0) buffer = new T[n]; buffer[index++] = t; if (index == n) { yield return buffer; index = 0; } } if (buffer != null) yield return buffer; }