Концепции C++: TriviallyCopyable

Материал из cppreference.com

Тривиально-копируемый тип — это тип данных, который копируется простым копированием области памяти без разбора, что внутри.

В C++03 было понятие «простые тупые данные», в C++11 эту концепцию разделили на несколько, одна из который — тривиально-копируемый тип.

Конструктор копирования T(const T&) тривиальный (неявно или через default) или удалён.
Конструктор перемещения T(T&&) тривиальный или удалён.
Операция «присвоить» T& operator = (const T&) тривиальная или удалена.
Операция «присвоить с перемещением» T& operator = (T&&) тривиальная или удалена.
При этом хоть одно из этих четырёх должно существовать.
Тривиальный деструктор.

Отсюда следует, что нет виртуальных функций, виртуального наследования.

Скалярные типы, массивы из TriviallyCopyable и const-версии этих типов (но не volatile!) также TriviallyCopyable.

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

Номер	Применён	Поведение в стандарте	Корректное поведение
CWG 1734	C++11	POD’ы C++03 с убранной операцией присваивания были не тривиальными	Разрешены удалённые конструкторы/операции

(C++11)

проверяет, можно ли тривиально скопировать тип
(шаблон класса) [править]

Поддержка компилятором
Автономные и размещённые реализации
Язык
Стандартная библиотека
Заголовки стандартной библиотеки
Требования к именованию
Макросы тестирования функциональности (C++20)
Поддержка языка
Библиотека концептов (C++20)
Библиотека метапрограммирования (C++11)
Библиотека диагностики
Библиотека общих утилит
Библиотека строк
Библиотека контейнеров
Библиотека итераторов
Библиотека диапазонов (C++20)
Библиотека алгоритмов
Библиотека численных данных
Библиотека ввода/вывода
Библиотека локализаций
Регулярные выражения (C++11)
Атомарные операции (C++11)
Библиотека поддержки конкуренции (C++11)
Библиотека файловой системы (C++17)
Технические спецификации
Указатель символов
Внешние библиотеки