std::is_aggregate

定義於標頭檔案 `<type_traits>`
template< class T > struct is_aggregate;		(C++17 起)

std::is_aggregate 是一個一元型別特性 (UnaryTypeTrait)。

若 T 是聚合型別，則提供成員常量 value 等於 true。對於任何其他型別，value 為 false。

若 T 是不完整型別，但不是陣列型別或（可能經 cv 限定的）void，則行為未定義。

若程式為 std::is_aggregate 或 std::is_aggregate_v 新增特化，則行為未定義。

繼承自 std::integral_constant

成員常量

value

[靜態]

若 T 是聚合型別則為 true，否則為 false
(public static 成員常量)

成員函式

operator bool	將物件轉換為 bool，返回 value (公開成員函式)
operator() (C++14)	返回 value (公開成員函式)

成員型別

型別	定義
`value_type`	bool
`型別`	std::integral_constant<bool, value>

[編輯] 註解

特性測試宏	值	標準	特性
`__cpp_lib_is_aggregate`	`201703L`	(C++17)	`std::is_agregate`

[編輯] 示例

執行此程式碼

#include <algorithm>
#include <cassert>
#include <cstddef>
#include <new>
#include <string_view>
#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; };
static_assert(std::is_aggregate_v<A>);
 
struct B
{
    int i;
    std::string_view str;
 
    B(int i, std::string_view str) : i(i), str(str) {}
};
static_assert(not std::is_aggregate_v<B>);
 
template <typename... Ts>
using aligned_storage_t = alignas(Ts...) std::byte[std::max({sizeof(Ts)...})];
 
int main()
{
    aligned_storage_t<A, B> storage;
 
    A& a = *construct(reinterpret_cast<A*>(&storage), 1, 2);
    assert(a.x == 1 and a.y == 2);
 
    B& b = *construct(reinterpret_cast<B*>(&storage), 3, "4");
    assert(b.i == 3 and b.str == "4");
}

[編輯] 缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 3823	C++17	若 `T` 是陣列型別但 `std::remove_all_extents_t<T>` 是不完整型別，則行為未定義。	無論 `std::remove_all_extents_t<T>` 的不完整性如何，只要 `T` 是陣列型別，行為即已定義。

編譯器支援
自由（freestanding）與宿主（hosted）
語言
標準庫
標準庫標頭檔案
具名要求
特性測試宏 (C++20)
語言支援庫
概念庫 (C++20)
診斷庫
記憶體管理庫
超程式設計庫 (C++11)
通用工具庫
容器庫
迭代器庫
範圍庫 (C++20)
演算法庫
字串庫
文字處理庫
數值庫
日期和時間庫
輸入/輸出庫
檔案系統庫 (C++17)
併發支援庫 (C++11)
執行控制庫 (C++26)
技術規範
符號索引
外部庫

cppreference.com

名稱空間

變體

檢視

操作