Czy zmienne elementy danych są trywialnie kopiowane?

Question

Podczas pisania this answer zdałem sobie sprawę, że nie jestem tak pewny co do swoich wniosków, co zwykle zapewniam przed uderzeniem Poinformuj swoją odpowiedź.

mogę znaleźć kilka rozsądnie przekonujących cytatów do argumentu, że trywialne-copyability z volatile członków danych jest albo implementacja zdefiniowane lub płasko-out niedozwolone: ​​

• 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

Ale nie byłem w stanie poprzeć tego w standardzie sam. Szczególnie "niepokojące" jest to, że nie ma oznak proponowanej zmiany brzmienia z tej listy zagadnień n3159 w ostatecznym brzmieniu aktualnego standardu.

Co daje? Czy elementy danych są trywialnie kopiowane, czy nie?

---

  C++ 11

Answer 1

widzę następującą definicję dla "trywialnie copyable" (C++ 11 §3.9 pkt 9):

... Typy skalarów, trywialnie kopiowane typy klas, tablice takich typów, i cv-kwalifikowane wersje tych typów są zbiorczo nazywane trywialnie copyable typy ....

cv wykwalifikowany z definicji obejmuje consti/lubvolatile (§3.9.3). Wydaje się zatem, że wartości, które można jawnie skopiować, można wyraźnie ograniczyć, jeżeli niewykwalifikowany typ byłby trywialnie kopiowalny (skalarny lub trywialnie kopiowalny typ klasy lub jej tablica).