c++ - 揮発性データメンバーは簡単にコピーできますか?

Question

この回答を書いているときに、 Post Your Answer.

データメンバーの自明なコピー可能性volatileは実装定義であるか、完全に許可されていないという議論について、合理的に説得力のある引用をいくつか見つけることができます。

• https://groups.google.com/forum/?fromgroups=#!topic/comp.std.c++/5cWxmw71ktI
• http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48118
• http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#496

^{しかし、標準1}自体でこれをバックアップすることはできませんでした。特に「懸念される」のは、実際の標準の最終的な文言に、n3159 の問題リストから提案された文言の変更の兆候がないことです。

それで、何が得られますか？volatileデータメンバーは自明にコピー可能ですか?

---

¹   C++11

Answer 1

「自明にコピー可能」(C++11 §3.9、パラグラフ 9) の次の定義を見ています。

...スカラー型、自明にコピー可能なクラス型、そのような型の配列、および これらの型のcv 修飾バージョンは、まとめて自明にコピー可能な型と呼ばれます....

定義によるcv 修飾にはconst 、and/or volatile (§3.9.3) が含まれます。したがってvolatile、修飾されていない型が自明にコピー可能 (スカラーまたは自明にコピー可能なクラス型、またはその配列) である場合、値は明示的に自明にコピー可能であるように見えます。