alignas 说明符 (C++11 起)

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

C++ 语言

一般主题
预处理器 注释	关键词 转义序列
流程控制
条件执行语句
if	switch
重复语句（循环）
for 范围 for(C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
lambda 函数表达式
inline 说明符
动态异常说明(C++17 前*)
noexcept 说明符(C++11)
异常
throw 表达式 try 块	catch 处理块
命名空间
命名空间声明	命名空间别名
类型
基础类型 枚举类型 函数类型	类/结构体类型 联合体类型
说明符
const/volatile decltype(C++11)   auto(C++11)	constexpr(C++11)   consteval(C++20) constinit(C++20)
存储期说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化(C++11) 常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔 - 整数 - 浮点
字符 - 字符串 - nullptr(C++11)
用户定义(C++11)
工具
属性(C++11)
类型
typedef 声明
类型别名声明(C++11)
类型转换
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
类特有的函数性质
虚函数 override 说明符(C++11)   final 说明符(C++11)	explicit(C++11) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数(C++11)	复制赋值 移动赋值(C++11) 析构函数
模板
类模板 函数模板	模板特化 形参包(C++11)
杂项
内联汇编	C++ 的历史

 

声明

概览 声明语法 声明说明符序列 声明符 有冲突的声明 说明符 typedef inline virtual 函数说明符 explicit 函数说明符 friend constexpr (C++11) consteval (C++20) constinit (C++20) 存储类说明符 翻译单元局部(C++20)       class/struct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile 包索引说明符(C++26)     详述类型说明符 属性(C++11)

声明符 引用 指针 数组 块声明 简单声明   →结构化绑定声明(C++17) 别名声明(C++11) 命名空间别名定义 using 声明 using 指令 static_assert 声明(C++11) asm 声明 笼统 enum 声明(C++11) 其他声明 命名空间定义 函数声明 类模板声明 函数模板声明 显式模板实例化(C++11) 显式模板特化 链接说明 属性声明(C++11) 空声明

 

指定类型或对象的对齐要求。

语法

alignas(表达式)
alignas(类型标识)
alignas(包名...)

1)表达式 必须是求值为零或合法的对齐或扩展对齐的整数常量表达式。

2) 等价于 alignas(alignof(类型标识))。

3) 等价于对同一说明应用多个 alignas 说明符，逐个对应于形参包的各个成员，形参包可以是类型或常量形参包。

解释

alignas 说明符可用于：

• 类的声明或定义；
• 非位域类数据成员的声明；
• 变量声明，但它不能应用于下列内容：
  • 函数形参；
  • catch 子句的异常形参。

这种声明所声明的对象或类型的对齐要求将等于用于该声明的所有 alignas 说明符中最严格（最大）的非零表达式 ，除非这会削弱类型的自然对齐。

如果某个声明上的最严格（最大）alignas 对齐要求比当它没有任何 alignas 说明符的情况下本应有的对齐更弱（即弱于其原生对齐，或弱于同一对象或类型的另一声明上的 alignas），那么程序非良构：

struct alignas(8) S {};struct alignas(1) U { S s;};// 错误：如果没有 alignas(1) 那么 U 的对齐将会是 8

无效的非零对齐，例如 alignas(3) 非良构。

同一声明上，比其他 alignas 弱的有效的非零对齐被忽略。

始终忽略 alignas(0)。

注解

按 ISO C11 标准，C 语言有 _Alignas 关键词，并于头文件 <stdalign.h> 中将 alignas 定义为展开成该关键词的预处理器宏。

在 C++ 中这是关键词，且

头文件 <stdalign.h> 与 <cstdalign> 并不定义这个宏。不过它们仍定义宏常量 __alignas_is_defined。	(C++20 前)
头文件 <stdalign.h> 并不定义这个宏。不过它仍定义宏常量 __alignas_is_defined。	(C++20 起)

关键词

alignas

示例

运行此代码

#include <iostream>   // 每个 struct_float 类型对象都将被对齐到 alignof(float) 边界// （通常为 4）：struct alignas(float) struct_float {// 定义在此};   // sse_t 类型的每个对象将对齐到 32 字节边界struct alignas(32) sse_t {float sse_data[4];};   int main(){struct default_aligned {float data[4];} a, b, c; sse_t x, y, z;   std::cout<<"alignof(struct_float) = "<< alignof(struct_float)<<'\n'<<"sizeof(sse_t) = "<< sizeof(sse_t)<<'\n'<<"alignof(sse_t) = "<< alignof(sse_t)<<'\n'<<std::hex<<std::showbase<<"&a: "<<&a <<"\n""&b: "<<&b <<"\n""&c: "<<&c <<"\n""&x: "<<&x <<"\n""&y: "<<&y <<"\n""&z: "<<&z <<'\n';}

可能的输出：

alignof(struct_float) = 4 sizeof(sse_t) = 32 alignof(sse_t) = 32 &a: 0x7fffcec89930 &b: 0x7fffcec89940 &c: 0x7fffcec89950 &x: 0x7fffcec89960 &y: 0x7fffcec89980 &z: 0x7fffcec899a0

缺陷报告

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

缺陷报告	应用于	出版时的行为	正确行为
CWG 1437	C++11	alignas 可以在别名声明中使用	已禁止
CWG 2354	C++11	alignas 可以用于枚举声明	已禁止

References

• C++23 标准（ISO/IEC 14882:2024）：

• 9.12.4 Carries dependency attribute [dcl.attr.depend]

• C++20 标准（ISO/IEC 14882:2020）：

• 9.12.3 Carries dependency attribute [dcl.attr.depend]

• C++17 标准（ISO/IEC 14882:2017）：

• 10.6.3 Carries dependency attribute [dcl.attr.depend]

• C++14 标准（ISO/IEC 14882:2014）：

• 7.6.4 Carries dependency attribute [dcl.attr.depend]

• C++11 标准（ISO/IEC 14882:2011）：

• 7.6.4 Carries dependency attribute [dcl.attr.depend]

参阅

alignof(C++11)	查询类型的对齐要求 (operator)
alignment_of (C++11)	获取类型的对齐要求 (类模板)
_Alignas, alignas 的 C 文档