Какое объяснение для следующего:
public class GenericsTest {
//statement 1
public ArrayList<Integer>[] lists;
public GenericsTest()
{
//statement 2
lists = new ArrayList<Integer>[4];
}
}
Компилятор принимает оператор 1. Утверждение 2 помечено компилятором для "создания общего массива".
Хорошее объяснение, которое я видел относительно отказа от общих массивов, - этот, утверждая, что поскольку массивы являются ковариантными, а дженерики - это вы не можете подорвать типичная типизация, если вы разрешили общие массивы.
Оставляя в стороне аргумент о том, должен ли язык идти на крайние этапы создания такого сложного несогласованности в лечении дженериков, чтобы вы не стреляли в себя независимо от того, насколько сильно вы пытаетесь (и если кто-нибудь знает о хороших дискуссиях по относительным достоинствам/недостаткам проблемы, пожалуйста, напишите мне, мне было бы интересно увидеть аргументы), зачем нужно утверждать (1), если (2) нет?
Похоже, что есть неясные случаи, когда вы можете непреднамеренно вызвать ClassCastException, как описано здесь http://java.sun.com/j2se/1.5/pdf/generics-tutorial.pdf (раздел 7.3)
интересное обсуждение этой темы можно найти здесь http://courses.csail.mit.edu/6.170/old-www/2006-Spring/forum/index.php%3Ftopic=324.msg1131.html
Это потому, что вы не можете создать, но можете использовать их:
public class GenericsTest {
//statement 1
public ArrayList<Integer>[] lists;
public GenericsTest()
{
//statement 2
lists = new ArrayList[4];
//statement 3
lists[0].add(new Integer(0));
//statement 4
lists[0].add(new String(""));
}
}
Утверждение 3 возможно, оператор 4 приведет к ошибке компилятора.
Итак, актуальный вопрос: почему нет ошибки для объявления общего массива?
Вы всегда будете получать ошибку в том месте, где вы делаете что-то ошибочное. Добавление ошибки, когда технически проблема не возникает, просто добавляет к беспорядку (хотя редактор может захотеть указать это на вас).
В некоторых случаях вам может понадобиться немного свести правила с помощью непроверенного броска. Нет необходимости принудительно заставлять код забивать больше предупреждающих подавлений, чем необходимо (кроме указания глупости).
В этом случае я бы не стал использовать массивы именно по этой причине. Объявление "списков" в исходном коде может быть
List<List<Integer>> lists = new ArrayList<List<Integer>>(4);
for(int i = 0; i < 4; i++) lists.add(null); // or add an empty ArrayList<Integer>
(вы должны использовать интерфейс, а не реализацию в объявлениях переменных)
Вместо синтаксиса array [] вы должны использовать get() или set(). Кроме этого, это эквивалентно.