Являются ли изменчивые элементы данных тривиально скопируемыми?

Question

Во время написания this answer Я понял, что я не настолько уверен в своих выводах, как обычно бывал перед ударом Опубликовать свой ответ.

я могу найти пару достаточно убедительных цитат для аргумента, что тривиальное-copyability из 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

Но я не смог поддержать это в стандарте себя. В частности, «беспокойство» заключается в том, что нет никаких признаков предлагаемого изменения формулировки из этого списка проблем n3159 в окончательной формулировке фактического стандарта.

Итак, что дает? Имеются ли элементы данных volatile тривиально с возможностью копирования или нет?

---

  C++ 11

Answer 1

Я вижу следующее определение "тривиальным копируемыми" (C++ 11 §3.9, пункт 9):

... Скалярные типы, типы типов с возможностью сбрасывания типов, массивы таких типов, и cv-certified версии этих типов называются вместе тривиальным Copyable типа ....

резюме квалифицированных по определению, включает в себя constи/илиvolatile (§3.9.3). Следовательно, было бы очевидно, что значения volatile явно тривиально можно копировать, если неквалифицированный тип будет тривиально скопируемым (скалярным или тривиально-скопируемым типом класса или его массивом).