Потенциальное загрязнение кучи по параметру varargs

Я понимаю, что это происходит с Java 7 при использовании varargs с общим типом;

Но мой вопрос …

Что именно означает Eclipse, когда говорится: «Его использование может потенциально загрязнить кучу?»

А также

Как это предотвращает появление новой annotations @SafeVarargs ?

Загрязнение кучи – технический термин. Это относится к ссылкам, которые имеют тип, который не является супертипом объекта, на который они указывают.

 List listOfAs = new ArrayList<>(); List listOfBs = (List)(Object)listOfAs; // points to a list of As 

Это может привести к «необъяснимому» ClassCastException s.

 // if the heap never gets polluted, this should never throw a CCE B b = listOfBs.get(0); 

@SafeVarargs не мешает этому вообще. Однако есть методы, которые, предположительно, не будут загрязнять кучу, компилятор просто не может это доказать. Раньше абоненты таких API бы раздражали предупреждения, которые были совершенно бессмысленны, но должны были быть подавлены на каждом сайте вызова. Теперь автор API может подавить его один раз на сайте объявления.

Однако, если этот метод фактически не безопасен, пользователи больше не будут предупреждены.

Когда вы заявляете

public static void foo(List... bar) компилятор преобразует его в

public static void foo(List[] bar) затем

public static void foo(List[] bar)

Тогда возникает опасность, что вы ошибочно назначите неверные значения в списке, а компилятор не вызовет никаких ошибок. Например, если T является String тогда следующий код будет компилироваться без ошибок, но не будет работать во время выполнения:

 // First, strip away the array type (arrays allow this kind of upcasting) Object[] objectArray = bar; // Next, insert an element with an incorrect type into the array objectArray[0] = Arrays.asList(new Integer(42)); // Finally, try accessing the original array. A runtime error will occur // (ClassCastException due to a casting from Integer to String) T firstElement = bar[0].get(0); 

Если вы рассмотрели метод, чтобы убедиться, что он не содержит таких уязвимостей, вы можете аннотировать его с помощью @SafeVarargs для подавления предупреждения. Для интерфейсов используйте @SuppressWarnings("unchecked") .

Если вы получите это сообщение об ошибке:

Метод Varargs может привести к загрязнению кучи от невосстанавливаемого параметра varargs

и вы уверены, что ваше использование безопасно, вместо этого вы должны использовать @SuppressWarnings("varargs") . См. Соответствует ли @SafeVarargs для этого метода? и https://stackoverflow.com/a/14252221/14731 для приятного объяснения этого второго рода ошибок.

Рекомендации:

@SafeVarargs не мешает ему произойти, однако он требует, чтобы компилятор был более строгим при компиляции кода, который его использует.

http://docs.oracle.com/javase/7/docs/api/java/lang/SafeVarargs.html объясняет это более подробно.

Загрязнение кучи – это когда вы получаете ClassCastException при выполнении операции на универсальном интерфейсе, и оно содержит другой тип, чем объявлено.

Когда вы используете varargs, это может привести к созданию Object[] для хранения аргументов.

Из-за анализа утечки JIT может оптимизировать создание этого массива. (Один из немногих раз, когда я нашел, что это так). Не гарантируется, что он будет оптимизирован, но я бы не стал беспокоиться об этом, если вы не заметите его проблемы в профилировщике памяти.

@SafeVarargs подавляет предупреждение компилятором и не изменяет поведение JIT.

Причина в том, что varargs дают возможность вызова с непараметризированным массивом объектов. Поэтому, если ваш тип был List …, его также можно вызвать с помощью типа List [] non-varargs.

Вот пример:

 public static void testCode(){ List[] b = new List[1]; test(b); } @SafeVarargs public static void test(List... a){ } 

Как видите, List [] b может содержать любой тип потребителя, но этот код компилируется. Если вы используете varargs, то вы в порядке, но если вы используете определение метода после type-erasure – void test (List []), то компилятор не будет проверять типы параметров шаблона. @SafeVarargs подавит это предупреждение.

  • Есть ли getchas с использованием varargs со ссылочными параметрами
  • Как определить применение Lisp в Haskell?
  • Как создать многовариантную функцию haskell?
  • Какие объявления по умолчанию для типов существуют в списке вариационных аргументов?
  • Как передать ArrayList параметру метода varargs?
  • Вызов метода Java varargs с единственным аргументом null?
  • Давайте будем гением компьютера.