C++：なぜ揮発性アクセスはシーケンシングを必要としますか？

Question

私はC++のクイズサイトで以下のコードを調べました。それはまた説明を提供する。私はvolatile修飾子が変数の値が他のいくつかの要因によって変更される可能性があることをコンパイラに知らせることを認識しています。このサイトの説明によると、volatileにアクセスするには順序を付けるべきだという。なぜ、どのように配列を決定すべきですか？

の意味がわからないおよびスカラーオブジェクト。また、それを明確にしてください。ここ

#include <iostream> 
volatile int a; 
int main() { 
    std::cout << (a + a); 
} 

問題は、変数aの不足している初期化子ではありません - それ が暗黙のうちにここに0に初期化されます。しかし、問題は、アクセス間のシーケンシングなしに、2回のアクセス へのアクセスです。 §1.9¶12によると、volatile glvaluesのアクセスは副作用であり、 〜§1.9¶15によると、同じスカラー オブジェクト上のこれらの2つの順序付けられていない副作用は、未定義の動作になります。

Answer 1

2つのアクセスのどちらが最初に発生するかはここでは定義されていません。

この対称加算演算の場合は関係ありません。

しかし、対称ではない別の操作を考慮しては：

今

std::cout << a * (a+1); 

、外部要因による、自動的にすべてのアクセス後にインクリメントされます、volatileオブジェクトを検討します。例えば、aが何らかの種類のハードウェアレジスタであるとします。私が言ったように、アクセスされるたびに増分されるので、ハードウェアレジスタには最初のアクセスでは4、2番目のアクセスでは5が含まれているとします。簡単なカウンター。

最初のアクセスは、乗算の左側のためであり、第二のアクセスは、乗算の右側アクセスに加えて動作のためであった場合、これは

std::cout << 4 * (5+1); 

しかし場合なりますこれはvolatileオブジェクトを持つことは十分ではありません理由です

std::cout << 5 * (4+1); 

となり、最初のアクセスは、右側のためだった、と第二のアクセスは、左側のためでした。操作を順序付けする必要があります。