Какие правила определяют, можно ли тривиально скопировать объект? ⇐ C++

[Гость]

С появлением C++11 тривиальная возможность копирования стала весьма актуальной. В первую очередь это касается использования std::atomic. Основы довольно просты. Класс foo тривиально копируется, если:

foo* src = new foo(); foo* dest = malloc(sizeof(foo)); memcpy(dest, src, sizeof(foo)); Имеет тот же эффект, что и:

foo* src = new foo(); foo* dest = новый foo(src); Таким образом, объект, в котором копирование памяти будет иметь тот же эффект, что и конструктор копирования. Однако здесь, конечно, есть подвох. Существуют не только конструкторы копирования. Но также перемещайте конструкторы, перемещайте операторы присваивания. И т. д.

std::is_trivyly_copyable можно использовать для проверки того, можно ли тривиально скопировать объект. Таким образом, методом проб и ошибок можно сделать объект легко копируемым.

Но, конечно, четко определенный набор правил был бы немного лучше . Итак, моя просьба.