std::is_aggregate

Определено в заголовке `<type_traits>`
template< class T > struct is_aggregate;		(с C++17)

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

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

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

Поведение программы, добавляющей специализации для std::is_aggregate или std::is_aggregate_v не определено.

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

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

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

template< class T >
inline constexpr bool is_aggregate_v = is_aggregate<T>::value;

(с C++17)

Наследуется от std::integral_constant

Константы-члены

value

[static]

true если T — это тип-агрегат, false в противном случае
(публичная статическая константа-член)

Члены-функции

operator bool	преобразует объект в bool, возвращает `value` (публичная функция-член)
operator() (C++14)	возвращает `value` (публичная функция-член)

Типы-члены

Тип	Определение
`value_type`	bool
`type`	std::integral_constant<bool, value>

Примечания

Макрос проверки наличия функции	Значение	Стандарт	Функция
`__cpp_lib_is_aggregate`	201703L	(C++17)	`std::is_agregate`

Пример

#include <new>
#include <type_traits>
#include <utility>
 
// constructs a T at the uninitialized memory pointed to by p using
// list-initialization for aggregates and non-list initialization otherwise
template<class T, class... Args>
T* construct(T* p, Args&&... args)
{
    if constexpr (std::is_aggregate_v<T>)
        return ::new (static_cast<void*>(p)) T{std::forward<Args>(args)...};
    else
        return ::new (static_cast<void*>(p)) T(std::forward<Args>(args)...);
}
 
struct A { int x, y; };
struct B { B(int, const char*) {} };
 
int main()
{
    std::aligned_union_t<1, A, B> storage;
    [[maybe_unused]] A* a = construct(reinterpret_cast<A*>(&storage), 1, 2);
    [[maybe_unused]] B* b = construct(reinterpret_cast<B*>(&storage), 1, "hello");
}

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

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

DR	Применён к	Поведение, опубликованное в стандарте	Корректное поведение
LWG 3823	C++17	Поведение не определено, если `T` является типом массива, но `std::remove_all_extents_t<T>` является неполным типом.	Поведение определено независимо от неполноты `std::remove_all_extents_t<T>`, пока `T` является типом массива.

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/types/is_aggregate