Tại sao các công cụ sửa đổi chỉ đọc và dễ bay hơi được loại trừ lẫn nhau?

Question

Tôi có biến loại tham chiếu là readonly, vì tham chiếu không bao giờ thay đổi, chỉ các thuộc tính của nó. Khi tôi cố gắng thêm các sửa đổi volatile cho nó biên soạn cảnh báo tôi rằng nó sẽ không cho phép cả hai sửa đổi áp dụng cho cùng một biến. Nhưng tôi nghĩ tôi cần nó dễ bay hơi vì tôi không muốn có vấn đề về bộ nhớ đệm khi đọc các thuộc tính của nó. Tôi có thiếu gì không? Hoặc là trình biên dịch sai?

Cập nhật Như Martin đã nêu trong một trong các nhận xét dưới đây: Cả hai chỉ đọc và biến đổi dễ bay hơi chỉ áp dụng cho tham chiếu và không cho thuộc tính của đối tượng, trong trường hợp đối tượng kiểu tham chiếu. Đó là những gì tôi đã mất tích, do đó, trình biên dịch là đúng.

class C 
{ 
    readonly volatile string s; // error CS0678: 'C.s': a field cannot be both volatile and readonly 
} 

Answer 1

Cả các công cụ sửa đổi readonly cũng không phải volatile đều bị xâm nhập. Chúng áp dụng cho tham chiếu, chứ không áp dụng cho các thuộc tính của đối tượng.

Từ khóa readonly khẳng định — và thực thi — rằng biến số không thể thay đổi sau khi khởi tạo. Biến là bộ nhớ nhỏ, nơi tham chiếu được lưu trữ.

Từ khóa volatile cho trình biên dịch biết nội dung của biến có thể được thay đổi bởi nhiều chuỗi. Điều này ngăn cản trình biên dịch sử dụng tối ưu hóa (chẳng hạn như đọc giá trị của biến vào sổ đăng ký và sử dụng giá trị đó qua một số hướng dẫn) có thể gây ra sự cố khi truy cập đồng thời. Một lần nữa, điều này chỉ ảnh hưởng đến đoạn nhỏ của bộ nhớ, nơi tài liệu tham khảo được lưu trữ.

Được áp dụng theo cách này, bạn có thể thấy rằng chúng thực sự là loại trừ lẫn nhau. Nếu một cái gì đó là chỉ đọc (chỉ có thể được viết một lần, lúc khởi tạo hoặc xây dựng), thì nó cũng không thể dễ bay hơi (có thể được ghi vào bất kỳ lúc nào bằng nhiều luồng).

---

Vì lo ngại về các vấn đề bộ nhớ đệm, IIRC, có các quy tắc khá nghiêm ngặt về thời điểm trình biên dịch có thể lưu lại kết quả cuộc gọi thuộc tính. Hãy nhớ rằng nó là một cuộc gọi phương thức và đó là một tối ưu hóa khá nặng (từ điểm của trình biên dịch) để lưu trữ giá trị của nó và bỏ qua gọi lại. Tôi không nghĩ rằng đó là điều bạn cần phải quan tâm chính mình với quá nhiều.

Answer 2

Trường chỉ đọc có thể được viết khi đối tượng được xây dựng lần đầu tiên. Do đó sẽ không có bất kỳ vấn đề bộ nhớ đệm nào trên CPU vì trường này là bất biến và không thể thay đổi.

Answer 3

Mặc dù bản thân tài liệu tham khảo có thể an toàn cho luồng nhưng các thuộc tính của nó có thể không. Hãy suy nghĩ về điều gì sẽ xảy ra nếu hai chuỗi cố gắng lặp lại đồng thời thông qua Danh sách chứa trong phạm vi đối tượng tham chiếu của bạn.