Ô nhiễm heap có thể thông qua tham số varargs

Tôi hiểu điều này xảy ra với Java 7 khi sử dụng varargs với một kiểu chung;

Nhưng câu hỏi của tôi là ..

Chính xác thì Eclipse có nghĩa là gì khi nói rằng "việc sử dụng nó có thể gây ô nhiễm heap?"

Và

Làm thế nào để @SafeVarargschú thích mới ngăn chặn điều này?

Ô nhiễm heap là một thuật ngữ kỹ thuật. Nó đề cập đến các tài liệu tham khảo có một loại không phải là siêu kiểu của đối tượng mà chúng trỏ đến.

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

Điều này có thể dẫn đến "không thể giải thích" ClassCastException.

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

@SafeVarargskhông ngăn chặn điều này cả. Tuy nhiên, có những phương pháp có thể chứng minh sẽ không gây ô nhiễm, trình biên dịch không thể chứng minh được. Trước đây, người gọi các API như vậy sẽ nhận được các cảnh báo gây phiền nhiễu hoàn toàn vô nghĩa nhưng phải bị loại bỏ tại mọi trang web cuộc gọi. Bây giờ tác giả API có thể ngăn chặn nó một lần tại trang web khai báo.

Tuy nhiên, nếu phương pháp thực sự không an toàn, người dùng sẽ không còn được cảnh báo.

Khi bạn tuyên bố

public static <T> void foo(List<T>... bar) trình biên dịch chuyển đổi nó thành

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

public static void foo(List[] bar)

Nguy hiểm sau đó phát sinh là bạn sẽ gán nhầm các giá trị không chính xác vào danh sách và trình biên dịch sẽ không kích hoạt bất kỳ lỗi nào. Ví dụ: nếu Tlà một Stringthì đoạn mã sau sẽ biên dịch không có lỗi nhưng sẽ thất bại khi chạy:

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

Nếu bạn đã xem lại phương pháp để đảm bảo rằng nó không chứa các lỗ hổng như vậy thì bạn có thể chú thích nó @SafeVarargsđể ngăn chặn cảnh báo. Đối với giao diện, sử dụng @SuppressWarnings("unchecked").

Nếu bạn nhận được thông báo lỗi này:

Phương pháp Varargs có thể gây ra ô nhiễm đống từ tham số varargs không thể xác định lại

và bạn chắc chắn rằng việc sử dụng của bạn an toàn thì bạn nên sử dụng @SuppressWarnings("varargs")thay thế. Xem @SafeVarargs có chú thích thích hợp cho phương pháp này không? và https://stackoverflow.com/a/14252221/14731 cho một lời giải thích hay về loại lỗi thứ hai này.

Người giới thiệu:

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

@SafeVarargs không ngăn chặn nó xảy ra, tuy nhiên, nó bắt buộc trình biên dịch chặt chẽ hơn khi biên dịch mã sử dụng nó.

http://docs.oracle.com/javase/7/docs/api/java/lang/SafeVarargs.html giải thích điều này chi tiết hơn.

Ô nhiễm heap là khi bạn nhận được một ClassCastExceptionthao tác trên giao diện chung và nó chứa một loại khác so với khai báo.

Khi bạn sử dụng varargs, nó có thể dẫn đến việc tạo một Object[]để giữ các đối số.

Do phân tích thoát, JIT có thể tối ưu hóa việc tạo mảng này. (Một trong số ít lần tôi thấy nó làm như vậy) Nó không được đảm bảo để tối ưu hóa, nhưng tôi sẽ không lo lắng về điều đó trừ khi bạn thấy vấn đề của nó trong trình hồ sơ bộ nhớ của bạn.

AFAIK @SafeVarargschặn cảnh báo của trình biên dịch và không thay đổi cách JIT hành xử.

Lý do là bởi vì các vararg cung cấp tùy chọn được gọi với một mảng đối tượng không tham số. Vì vậy, nếu loại của bạn là Danh sách <A> ..., thì nó cũng có thể được gọi với loại Danh sách [] không có varargs.

Đây là một ví dụ:

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

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

Như bạn có thể thấy Danh sách [] b có thể chứa bất kỳ loại người tiêu dùng nào và mã này sẽ biên dịch. Nếu bạn sử dụng varargs, thì bạn vẫn ổn, nhưng nếu bạn sử dụng định nghĩa phương thức sau khi xóa kiểu - void test (List []) - thì trình biên dịch sẽ không kiểm tra các loại tham số mẫu. @SafeVarargs sẽ ngăn chặn cảnh báo này.