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

Я розумію, це відбувається з Java 7 під час використання варагрів із загальним типом;

Але моє питання:

Що саме означає Eclipse, коли йдеться про те, що "його використання може потенційно забруднити купу?"

І

Як нова @SafeVarargsанотація запобігає цьому?

Забруднення купи - технічний термін. Він посилається на посилання, які мають тип, який не є супертипом об'єкта, на який вони вказують.

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

Це може призвести до "незрозумілих" ClassCastExceptionс.

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

@SafeVarargsце зовсім не заважає. Однак є методи, які, очевидно, не забруднюють купу, компілятор просто не може цього довести. Раніше абоненти таких API отримували б набридливі попередження, які були абсолютно безглуздими, але їх потрібно було придушити на кожному сайті виклику. Тепер автор API може придушити його один раз на сайті декларації.

Однак якщо метод насправді не є безпечним, користувачів більше не буде попереджено.

Коли ви заявляєте

public static <T> void foo(List<T>... bar) компілятор перетворює його в

public static <T> void foo(List<T>[] 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 для приємного пояснення цього другого виду помилок.

Список літератури:

• http://docs.oracle.com/javase/7/docs/technotes/guides/language/non-reifiable-varargs.html
• http://docs.oracle.com/javase/tutorial/java/generics/nonReifiableVarargsType.html#heap_pollution

@SafeVarargs це не заважає йому статися, однак він вимагає, щоб компілятор був більш суворим при складанні коду, який його використовує.

http://docs.oracle.com/javase/7/docs/api/java/lang/SafeVarargs.html пояснює це детальніше.

Забруднення купи - це коли ви отримуєте ClassCastExceptionоперацію на загальному інтерфейсі, і вона містить інший тип, ніж заявлений.

Якщо ви використовуєте varargs, це може призвести до створення Object[]аргументу для проведення аргументів.

Завдяки аналізу втечі JIT може оптимізувати створення цього масиву. (Один з небагатьох разів, коли я виявив це так) Не гарантовано оптимізувати його, але я б не хвилювався з цього приводу, якщо ви не побачите її проблему у своєму профілі пам'яті.

AFAIK @SafeVarargsпригнічує попередження компілятора і не змінює поведінку JIT.

Причина полягає в тому, що varargs дають можливість викликатися з непараметризованим масивом об'єктів. Отже, якщо вашим типом був Список <A> ..., його також можна викликати за допомогою не [varargs] List [].

Ось приклад:

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

@SafeVarargs
public static void test(List<A>... a){
}

Як ви бачите, Список [] b може містити будь-який тип споживача, і все ж цей код складається. Якщо ви використовуєте varargs, то вам все в порядку, але якщо ви використовуєте визначення методу після стирання типу - тест недійсності (Список []) - тоді компілятор не перевірить типи параметрів шаблону. @SafeVarargs придушить це попередження.