Potencjalne zanieczyszczenie hałdy przez parametr varargs

Kiedy zadeklarujesz

public static <T> void foo(List<T>... bar) kompilator konwertuje go do

public static <T> void foo(List<T>[] bar) następnie do

public static <T> void foo(List[] bar)

Pojawia się niebezpieczeństwo, że przez pomyłkę przypiszesz niepoprawne wartości do listy i kompilator nie uruchomi żadnego błędu. Na przykład, jeśli T jest String, to następujący kod zostanie skompilowany bez błędu, ale nie powiedzie się w czasie wykonywania:

// 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);

Jeśli sprawdziłeś metodę, aby upewnić się, że nie zawiera takich luk, możesz dodać do niej adnotację za pomocą @SafeVarargs aby stłumić Ostrzeżenie. W przypadku interfejsów użyj @SuppressWarnings("unchecked").

Jeśli otrzymasz ten Komunikat o błędzie:

Metoda Varargsa może powodować zanieczyszczenie sterty nieefektywnym parametrem varargsa

I jesteś pewien, że Twoje użycie jest bezpieczne, powinieneś zamiast tego użyć @SuppressWarnings("varargs"). Zobacz czy @ SafeVarargs jest odpowiednią adnotacją dla tej metody? i https://stackoverflow.com/a/14252221/14731 dla miłego wyjaśnienia tego drugiego rodzaju błąd.

Bibliografia:

• 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 nie przeszkadza to jednak, że kompilator jest surowszy podczas kompilacji kodu, który go używa.

Http://docs.oracle.com/javase/7/docs/api/java/lang/SafeVarargs.html wyjaśnia to bardziej szczegółowo.

Zanieczyszczenie sterty jest wtedy, gdy otrzymujemy ClassCastException podczas wykonywania operacji na interfejsie generycznym i zawiera on inny typ niż zadeklarowany.

Kiedy używasz varargs, może to spowodować utworzenie Object[] do przechowywania argumentów.

Ze względu na analizę ucieczki, JIT może zoptymalizować tworzenie tej tablicy. (Jeden z kilku razy znalazłem to robi) jego nie gwarantuje być zoptymalizowane daleko, ale nie martwiłbym się o to, chyba że widzisz jego problem w pamięci profiler.

AFAIK @SafeVarargs tłumi Ostrzeżenie kompilatora i nie zmienia zachowania JIT.

Powodem jest to, że varargs daje możliwość wywołania z nieparametryzowaną tablicą obiektów. Więc jeśli twój typ był List ... , może być również wywołany z typem List [] non-varargs.

Oto przykład:

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

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

Jak widać List [] b może zawierać dowolny typ konsumenta, a jednak kod ten kompiluje się. Jeśli używasz varargs, to jest dobrze, ale jeśli używasz definicji metody po type-erasure - void test(List []) - wtedy kompilator nie sprawdzi szablonu typy parametrów. @SafeVarargs stłumi to Ostrzeżenie.