Tại sao biến cuối cùng tĩnh này trong một chuỗi an toàn đơn lẻ?

Question

Đọc trang web này, tôi đã tìm thấy this:

[The] dòng private static final Foo INSTANCE = new Foo(); chỉ thực hiện khi lớp được thực tế sử dụng, điều này sẽ chăm sóc của các instantiation lười biếng, và nó đảm bảo được đề an toàn.

Tại sao chuỗi này được đảm bảo an toàn? Bởi vì trường này là final? Hoặc vì một lý do nào khác?

Answer 1

Vì nó là cuối cùng, vâng. Biến cuối cùng có ngữ nghĩa chủ đề an toàn đặc biệt, trong đó các chủ đề khác được đảm bảo để xem trường cuối cùng trong ít nhất là trạng thái khi nó được xây dựng.

Đây là số JLS 17.5, mặc dù ngôn ngữ có chút dày đặc. Các ngữ nghĩa này được giới thiệu trong Java 1.5, cụ thể là JSR-133. Xem trang này để biết một cuộc thảo luận không cụ thể về JSR-133 và các tác động khác nhau của nó.

Lưu ý rằng nếu bạn sửa đổi cá thể sau hàm tạo của nó, đó là không phải là nhất thiết phải là chuỗi an toàn. Trong trường hợp đó, bạn phải thực hiện các biện pháp phòng ngừa an toàn chủ đề thông thường để đảm bảo xảy ra trước các cạnh.

Tôi khá chắc chắn (mặc dù không hoàn toàn 100%) rằng thực tế chỉ có một luồng khởi tạo lớp là không phải là một yếu tố ở đây. Đúng là lớp chỉ được khởi tạo bởi một luồng, nhưng tôi không tin rằng có bất kỳ điều gì xảy ra cụ thể trước khi các cạnh được thiết lập giữa chuỗi đó bất kỳ chuỗi nào khác sử dụng lớp đó (trừ chuỗi khác không phải khởi tạo lại lớp). Vì vậy, không có từ khóa final, một chuỗi khác sẽ có thể thấy một thể hiện được tạo một phần của đối tượng. Cụ thể xảy ra trước khi các cạnh JMM định nghĩa là trong JLS 17.4.5, và khởi tạo lớp không được liệt kê ở đó.

Answer 2

Khối khởi tạo tĩnh của bất kỳ lớp nào được đảm bảo là chuỗi đơn. Một singleton đơn giản hơn là sử dụng một enum

enum Singleton { 
    INSTANCE; 
} 

Đây cũng là chủ đề an toàn và lớp được khởi tạo lười biếng.

Answer 3

Nó được đảm bảo là luồng an toàn vì JVM đảm bảo rằng các bộ khởi tạo tĩnh được thực hiện trên một chuỗi đơn. Nó không có nghĩa là trường hợp của Foo là chủ đề an toàn trong nội bộ - nó chỉ có nghĩa là bạn được đảm bảo rằng hàm tạo của Foo sẽ được gọi chính xác một lần, trên một sợi, thông qua đường dẫn mã cụ thể này.

Answer 4

constructor của lớp cha và initializers tĩnh/Chẳng hạn được đảm bảo để được thực thi nguyên tử và từ private static final FOO INSTANCE = new FOO; tương đương với

private static final FOO INSTANCE; 

static{ 
    INSTANCE = new FOO(); 
} 

trường hợp này rơi vào thể loại trên.