std::is_trivially_copyable

 

C++

Язык

Заголовочные файлы

Концепты

Поддержка языка

Ошибка

Утилиты

Строки

Контейнеры

Алгоритмы

Итераторы

Работа с числами

Ввод/вывод

Локализация

Регулярные выражения (C++11)

Атомарные операции (C++11)

Потоки (C++11)

Файловая система (C++17)

Технические спецификации

 

Утилиты библиотеки

Поддежка типов (базовые типы, RTTI, type traits)

Динамическое управление памятью

Обработка ошибок

Управление жизненным циклом программы

Функции с переменным числом аргументов

Дата и время

Функциональные объекты

initializer_list Шаблон:lines

bitset

hash Шаблон:lines

Реляционные операторы

rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>=

Пары и кортежи

pair

tuple Шаблон:lines

piecewise_construct_t Шаблон:lines

piecewise_construct Шаблон:lines

Обмен, передача и перемещение

swap

forward Шаблон:lines

move Шаблон:lines

move_if_noexcept Шаблон:lines

declval Шаблон:lines

 

Поддержка типов

Основные типы Оригинал: Basic types Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Основные типы
Исправлены типы целых ширину (C++11)
ptrdiff_t size_t max_align_t Шаблон:lines	nullptr_t Шаблон:lines offsetof NULL
Числовые пределы Оригинал: Numeric limits Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
numeric_limits
С числовым ограничивает интерфейс
Время тип информации Оригинал: Runtime type information Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
type_info type_index Шаблон:lines	bad_typeid bad_cast
Тип черты Оригинал: Type traits Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Первичные категории типа Оригинал: Primary type categories Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_void Шаблон:lines is_array Шаблон:lines is_pointer Шаблон:lines is_enum Шаблон:lines is_union Шаблон:lines is_class Шаблон:lines is_function Шаблон:lines	is_object Шаблон:lines is_scalar Шаблон:lines is_compound Шаблон:lines is_integral Шаблон:lines is_floating_point Шаблон:lines is_fundamental Шаблон:lines is_arithmetic Шаблон:lines
is_reference Шаблон:lines
is_lvalue_reference Шаблон:lines
is_rvalue_reference Шаблон:lines
is_member_pointer Шаблон:lines
is_member_object_pointer Шаблон:lines
is_member_function_pointer Шаблон:lines

Тип свойства Оригинал: Type properties Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_const Шаблон:lines is_volatile Шаблон:lines is_pod Шаблон:lines is_empty Шаблон:lines is_polymorphic Шаблон:lines is_abstract Шаблон:lines	is_trivial Шаблон:lines is_trivially_copyable Шаблон:lines is_standard_layout Шаблон:lines is_literal_type Шаблон:lines is_signed Шаблон:lines is_unsigned Шаблон:lines

Поддерживаемые операции Оригинал: Supported operations Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_constructibleis_trivially_constructibleis_nothrow_constructible Шаблон:lines
is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible Шаблон:lines
is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible Шаблон:lines
is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible Шаблон:lines
is_assignableis_trivially_assignableis_nothrow_assignable Шаблон:lines
is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable Шаблон:lines
is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable Шаблон:lines
is_destructibleis_trivially_destructibleis_nothrow_destructible Шаблон:lines
has_virtual_destructor Шаблон:lines
Отношения собственности и запросов Оригинал: Relationships and property queries Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_same Шаблон:lines is_base_of Шаблон:lines is_convertible Шаблон:lines	alignment_of Шаблон:lines rank Шаблон:lines extent Шаблон:lines
Тип модификаций Оригинал: Type modifications Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
remove_cvremove_constremove_volatile Шаблон:lines add_cvadd_constadd_volatile Шаблон:lines make_signed Шаблон:lines make_unsigned Шаблон:lines	remove_reference Шаблон:lines add_lvalue_referenceadd_rvalue_reference Шаблон:lines remove_pointer Шаблон:lines add_pointer Шаблон:lines remove_extent Шаблон:lines remove_all_extents Шаблон:lines
Тип преобразования Оригинал: Type transformations Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
aligned_storage Шаблон:lines aligned_union Шаблон:lines decay Шаблон:lines enable_if Шаблон:lines	conditional Шаблон:lines common_type Шаблон:lines underlying_type Шаблон:lines result_of Шаблон:lines
Характеристики типов констант Оригинал: Type trait constants Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
integral_constant Шаблон:lines

 

Defined in header <type_traits>
template< class T > struct is_trivially_copyable;		(начиная с C++11)

Если T является TriviallyCopyable (тривиальнокопируемым) типом , то предоставляется константа-член value, которая будет равна true. Для всех остальных типом она будет равна false.

Тривиально копируемыми типами могут быть скалярные типы, тривиальнокопируемые классы, массивы с такими объектами (с возможным квалификатором const, но не volatile).

Класс называется тривиальнокопируемым, если он:

1. Не имеет нетривиальный конструктор копирования (также требуется, чтобы не было виртуальных функций или виртуальных базовых классов)
2. Не имеет нетривиальный конструктор перемещения
3. Не имеет нетривиальную операцию копирующего равно
4. Не имеет нетривиальную операцию переместительного равно
5. Имеет тривиальный деструктор

Поведение не определено, если std::remove_all_extents_t<T> является неполным типом и не (с возможными cv-квалификаторами) void.

Аргумент шаблона

T

—

Тип для проверки

Вспомогательная шаблонная переменная

template< class T > constexpr bool is_trivially_copyable_v = is_trivially_copyable<T>::value;		(начиная с C++17)

Унаследован от 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

См. также

is_trivial (C++11)	Проверяет является ли тип тривиальным или нет (шаблон класса)
std::experimental::is_trivially_copyable_v (library fundamentals TS)	Шаблонная переменная, являющая псевдонимом для std::is_trivially_copyable::value (шаблонная переменная)