std::is_trivial

template< class T >
struct is_trivial;

Это унарный признак типа.

Если T является тривиальным типом, предоставляет стальную константу value равную true. Для любого другого типа value равно false.

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

Поведение программы, которая добавляет специализации для std::is_trivial или std::is_trivial_v не определено.

Параметры шаблона

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

template< class T >
inline constexpr bool is_trivial_v = is_trivial<T>::value;

Пример

#include <type_traits>
 
struct A { int m; };
static_assert(std::is_trivial_v<A> == true);
 
struct B { B() {} };
static_assert(std::is_trivial_v<B> == false);
 
int main() {}

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

См. также