7.1 Когда обращаются к объекту volatile C++?

Стандарт C++ отличается от стандарта C в обращении с объектами volatile. Он не уточняет, что представляет собой доступ к volatile объекту, кроме того, что C++ должен вести себя аналогично C относительно volatile, где это возможно. Однако различные характеристики выражений с lvalue в C и C++ усложняют поведение. G++ ведет себя так же, как GCC при доступе к volatile, см. Volatile для описания поведения GCC.

Стандарты языков C и C++ отличаются, когда объект обращается в контексте void:

volatile int *src = somevalue;
*src;

Стандарт C++ определяет, что такие выражения не претерпевают преобразования lvalue в rvalue и что тип образованного объекта может быть неполным. Стандарт C++ не указывает явно, что преобразование lvalue в rvalue отвечает за возникновение доступа. Есть основания полагать, что это так, так как в противном случае определенные простые выражения становятся неопределенными. Однако, чтобы не удивить большинству программистов, G++ обрабатывает разыменование указателя на volatile объект полного типа так же, как GCC обрабатывает эквивалентный тип в C. Когда объект имеет неполный тип, G++ выдает предупреждение; если вы хотите получить ошибку, вы должны принудительно преобразовать в rvalue, например, с помощью static_cast.

При использовании ссылки на volatile, G++ не обрабатывает эквивалентные выражения как доступ к volatile, а вместо этого выдает предупреждение, что нет доступа к volatile. Обоснование этого в том, что в противном случае становится сложно определить, где происходит доступ к volatile, и невозможно игнорировать возвращаемое значение от функций, возвращающих volatile ссылки. Опять же, если вы хотите выполнить чтение, преобразуйте ссылку в rvalue.

G++ реализует такое же поведение, как GCC, при присваивании volatile объекту — нет повторного чтения присвоенного объекта, повторно используется присвоенное rvalue. Обратите внимание, что в выражениях присваивания C++ — lvalue, и если они используются как lvalue, к volatile объекту обращаются. Например, vref ссылается на vobj, как ожидается, в следующем примере:

volatile int vobj;
volatile int &vref = vobj = something;

Далее: Ограниченные указатели, Назад: Расширения C++ [Содержание][Индекс]