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++11 中弃用*)
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++ 历史

 

声明

概述 声明语法 decl-specifier-seq 声明符 冲突声明 说明符 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 声明 不透明枚举声明 (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; }; // error: alignment of U would have been 8 without alignas(1)

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

有效的非零对齐，但比同一声明上的另一个 alignas 弱，则会被忽略。

alignas(0) 始终被忽略。

注意

从 ISO C11 标准开始，C 语言具有 _Alignas 关键字，并将 alignas 定义为在头文件 <stdalign.h> 中扩展为关键字的预处理器宏。

在 C++ 中，这是一个关键字，并且

头文件 <stdalign.h> 和 <cstdalign> 不定义此类宏。但是，它们定义了宏常量 __alignas_is_defined。	(直到 C++20)
头文件 <stdalign.h> 不定义此类宏。但是，它定义了宏常量 __alignas_is_defined。	(自 C++20 起)

关键字

alignas

示例

运行此代码

#include <iostream>
 
// Every object of type struct_float will be aligned
// to alignof(float) boundary (usually 4):
struct alignas(float) struct_float
{
    // your definition here
};
 
// Every object of type sse_t will be aligned to 32-byte boundary:
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++ 标准。

DR	应用于	已发布行为	正确行为
CWG 1437	C++11	alignas 可以用于别名声明	禁止
CWG 2354	C++11	alignas 可以应用于枚举的声明	禁止

参考

• C++23 标准 (ISO/IEC 14882:2024)

• 9.12.4 传递依赖属性 [dcl.attr.depend]

• C++20 标准 (ISO/IEC 14882:2020)

• 9.12.3 传递依赖属性 [dcl.attr.depend]

• C++17 标准 (ISO/IEC 14882:2017)

• 10.6.3 传递依赖属性 [dcl.attr.depend]

• C++14 标准 (ISO/IEC 14882:2014)

• 7.6.4 传递依赖属性 [dcl.attr.depend]

• C++11 标准 (ISO/IEC 14882:2011)

• 7.6.4 传递依赖属性 [dcl.attr.depend]

参见

alignof (C++11 起)	查询类型的对齐要求 (运算符)
alignment_of (C++11)	获取类型的对齐要求 (类模板)
C 文档 关于 _Alignas, alignas