std::is_trivially_copyable
| Определено в заголовочном файле <type_traits>
|
||
| template< class T > struct is_trivially_copyable; |
(начиная с C++11) | |
Если T является TriviallyCopyable (тривиальнокопируемым) типом , то предоставляется константа-член value, которая будет равна true. Для всех остальных типом она будет равна false.
Тривиально копируемыми типами могут быть скалярные типы, тривиальнокопируемые классы, массивы с такими объектами (с возможным квалификатором const, но не volatile).
Класс называется тривиальнокопируемым, если он:
- Не имеет нетривиальный конструктор копирования (также требуется, чтобы не было виртуальных функций или виртуальных базовых классов)
- Не имеет нетривиальный конструктор перемещения
- Не имеет нетривиальную операцию копирующего равно
- Не имеет нетривиальную операцию переместительного равно
- Имеет тривиальный деструктор
Поведение не определено, если std::remove_all_extents_t<T> является неполным типом и не (с возможными cv-квалификаторами) void.
Содержание |
[править] Аргумент шаблона
| T | - | Тип для проверки |
[править] Вспомогательная шаблонная переменная
| template< class T > constexpr bool is_trivially_copyable_v = is_trivially_copyable<T>::value; |
||
Унаследован от std::integral_constant
Константы-члены
| value [static] |
true, если T является тривиальнокопируемым типом , иначе false (public static константа-член) |
Функции-члены
| operator bool |
Преобразует объект в bool, возвращается value (public функция-член) |
| operator() (C++14) |
Возвращает value (public функция-член) |
Типы-члены
| Тип | Определение |
value_type
|
bool
|
type
|
std::integral_constant<bool, value> |
[править] Примечание
Только объекты тривиальнокопируемых типов в С++ могут безопасно скопироваться с помощью std::memcpy или сериализовываться в/из бинарного файла с помощью std::ofstream::write()/std::ifstream::read(). В общем, тривиальнокопируемый тип - это тип, байты которого можно скопировать в массив char или unsigned char и потом преобразовать в новый объект того же типа и при этом полученный объект должен иметь такое же содержимое, что и у исходного.
[править] Пример
#include <iostream> #include <type_traits> struct A { int m; }; struct B { B(const B&) {} }; struct C { virtual void foo(); }; int main() { std::cout << std::boolalpha; std::cout << std::is_trivially_copyable<A>::value << '\n'; std::cout << std::is_trivially_copyable<B>::value << '\n'; std::cout << std::is_trivially_copyable<C>::value << '\n'; }
Вывод:
true false false
[править] См. также
| (C++11) |
Проверяет является ли тип тривиальным или нет (шаблон класса) |
| (library fundamentals TS) |
Шаблонная переменная, являющая псевдонимом для std::is_trivially_copyable::value (шаблонная переменная) |
