std::aligned_union

< cpp‎ | types
 
 
工具库
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++17)

初等字符串转换
(C++17)
(C++17)
 
类型支持
基本类型
基础类型
定宽整数类型 (C++11)
数值极限
C 数值极限接口
运行时类型信息
类型特性
类型类别
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
类型属性
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(C++20 前)
(C++11)(C++20 中弃用)
(C++11)
类型特性常量
元函数
(C++17)
常量求值语境
受支持操作
关系与属性查询
类型修改
(C++11)(C++11)(C++11)
类型变换
aligned_union
(C++11)
(C++11)
(C++11)
(C++17)
(C++11)(C++20 前)(C++17)
 
定义于头文件 <type_traits>
template< std::size_t Len, class... Types >
struct aligned_union;
(C++11 起)

提供嵌套类型 type ,它是平凡的标准布局类型,且其大小和对齐适合用作任何列于 Types 的类型的一个对象的未初始化存储。存储的大小至少为 Lenstd::aligned_union 亦确定所有 Types 中最严格(最大)的对齐要求,使之可用作常量 alignment_value

sizeof...(Types) == 0 或若 Types 中的任何类型不是完整对象类型,则行为未定义。

是否支持任何扩展对齐是实现定义的。

添加 aligned_union 的特化的程序行为未定义。

成员类型

 
名称 定义
type 适用于存储来自 Types 的任何类型的平凡类型

辅助类型

template< std::size_t Len, class... Types >
using aligned_union_t = typename aligned_union<Len,Types...>::type;
(C++14 起)

成员常量

alignment_value
[静态]
所有 Types 的最严格对齐
(公开静态成员常量)

可能的实现

#include <algorithm>
template <std::size_t Len, class... Types>
struct aligned_union
{
    static constexpr std::size_t alignment_value = std::max({alignof(Types)...});
 
    struct type
    {
      alignas(alignment_value) char _s[std::max({Len, sizeof(Types)...})];
    };
};

示例

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR 应用于 出版时的行为 正确行为
LWG 2979 C++11 不要求完整类型 要求完整类型

参阅

获取类型的对齐要求
(类模板)
定义适于用作给定大小的类型的未初始化存储的类型
(类模板)