std::is_trivial

template< class T >
struct is_trivial;

std::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 >
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);

// The following class shows why std::is_trivial(_v) may be a pitfall.
class C
{
private:
    C() = default;
};

static_assert(std::is_trivial_v<C> == true);
static_assert(std::is_trivially_default_constructible_v<C> == false);

int main() {}

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

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

См. также