Java có thể thu thập các biến trước khi kết thúc phạm vi không?

Question

Giả sử chúng ta có một chương trình như thế này:

void main() { 
    // Point 0 
    BigThing bt = new BigThing(); 
    // Point 1 
    WeakReference<BigThing> weak = new WeakReference<>(bt); 
    // Point 2 
    doSomething(weak); 
    // Point 3 
} 

void doSomething(...) { ... } 

Chúng ta biết rằng các tài liệu tham khảo yếu đến đối tượng BigThing không thể ngăn chặn các đối tượng bị thu rác khi nó trở nên không còn mạnh mẽ thể truy cập.

Câu hỏi của tôi là về biến cục bộ bt là tham chiếu mạnh mẽ đối tượng BigThing. Đối tượng có trở nên không thể tiếp cận mạnh tại điểm 2 (ngay trước khi gọi doSomething()) hoặc tại điểm 3 (kết thúc phạm vi khối) không?

Câu trả lời cho câu hỏi này sẽ ảnh hưởng đến việc cuộc gọi đến doSomething() được đảm bảo có thể truy cập đối tượng trực tiếp BigThing hay không.

Tôi không chắc chắn vì bạn có thể tranh luận rằng sau điểm 2, biến cục bộ bt không bao giờ được đọc hoặc viết nữa, do đó biến bị chết hiệu quả và giá trị con trỏ có thể bị loại bỏ. "Tối ưu hóa" này sẽ hợp lệ nếu tất cả các tham chiếu đều mạnh mẽ, nhưng lý do bị tách rời khi các khái niệm về các tham chiếu mềm, yếu, và ma được giới thiệu và các trình kết thúc. Cũng giống như một sự tương tự, bởi vì C++ có các hàm hủy, một giá trị phải được hủy ở cuối phạm vi và không thể được di chuyển về phía trước đến thời điểm sử dụng cuối cùng.

Answer 1

Tôi có thể nói đối tượng là thể thu hồi tại điểm 2, đi bằng ngôn ngữ sau trong JLS section 12.6.1:

Tối ưu hóa biến đổi của một chương trình có thể được thiết kế làm giảm số lượng các đối tượng mà có thể truy cập được ít hơn những người ngây thơ được coi là có thể tiếp cận được. Ví dụ: trình biên dịch Java hoặc trình tạo mã có thể chọn đặt biến hoặc tham số sẽ không còn được sử dụng để rỗng để khiến bộ nhớ cho đối tượng như vậy có khả năng thu hồi sớm hơn.

Vì biến số bt sẽ không còn được sử dụng sau điểm 2, Java được tự do xóa biến đó, khiến đối tượng BigThing chỉ có thể truy cập yếu.

Answer 2

Java 9 giới thiệu Reference.reachabilityFence để giải quyết trường hợp này, điều này tất nhiên cũng ngụ ý rằng nó tồn tại ngay từ đầu.