Почему не может изменяться функция волатильного объекта с функцией энергонезависимой функции

Question

Почему объект volatile не может использовать функцию-член volatile?

В случае const, это имеет смысл, что вызов не- const функции члена нарушает константность от объекта и, следовательно, запрещается. Но почему в случае volatile?

Answer 1

В случае сопзЬ имеет смысл, что вызов функции неконстантного члена нарушает конструкцию объекта и, следовательно, запрещается. Но почему в случае летучих?

Это то же самое для летучих. Летучий означает, что каждый доступ к объекту является видимым побочным эффектом и не может быть устранен. Если вы вызываете энергонезависимый метод на летучем объекте, вы нарушите это свойство (потому что энергонезависимый метод будет обрабатывать объект как обычный объект). Поэтому это невозможно.

Answer 2

Отборщик volatile работает так же, как const работ. Чтобы увидеть , что можно сделать, взгляните на this Alexandrescu article. Эта статья также должна дать вам некоторое представление о , почему.

Answer 3

От стандарта:

7.1.5.1. Если делается попытка обратиться к объекту, определенному с помощью типа volatile-quailified, с использованием значения lvalue с типом , не измененным по времени, поведение программы не определено.

Я предполагаю, что ваши сообщения компилятора содержат ошибку, чтобы предотвратить неопределенное поведение. Стандартная формулировка так должна быть достаточной.