lý do tại sao không thể là một đối tượng dễ bay hơi gọi hàm thành viên không linh hoạt

Question

Tại sao đối tượng volatile không gọi là chức năng thành viên không phải là volatile?

Trong trường hợp const, việc gọi hàm thành viên không phải là const vi phạm constness đối tượng và do đó bị cấm. Nhưng lý do tại sao trong trường hợp volatile?

Answer 1

Trong trường hợp const, có nghĩa là việc gọi hàm không phải thành viên sẽ vi phạm const-ness của đối tượng và do đó bị cấm. Nhưng tại sao trong trường hợp dễ bay hơi?

Nó cũng tương tự như dễ bay hơi. Dễ bay hơi có nghĩa là mọi truy cập vào một đối tượng là một tác dụng phụ có thể nhìn thấy và không thể loại bỏ được. Nếu bạn gọi một phương thức không bay hơi trên một đối tượng dễ bay hơi, bạn sẽ vi phạm thuộc tính này (vì phương thức nonvolatile sẽ xử lý đối tượng giống như một đối tượng bình thường). Do đó, điều đó là không thể.

Answer 2

Bộ định tính volatile hoạt động nhiều theo cách tương tự như const hoạt động. Để xem những gì có thể được thực hiện nhờ điều này, hãy xem this Alexandrescu article. Bài viết đó cũng sẽ cung cấp cho bạn thông tin chi tiết về số lý do tại sao.

Answer 3

Từ tiêu chuẩn:

7.1.5.1. Nếu một nỗ lực được thực hiện để đề cập đến một đối tượng được xác định với một loại biến dạng bay hơi qua việc sử dụng một lvalue với loại không bay hơi-quailified, hành vi của chương trình là không xác định.

Tôi đoán trình biên dịch của bạn sẽ đăng lỗi để ngăn hành vi không xác định. Tiêu chuẩn nêu rõ nên đủ lý do.