_Alignas
来自cppreference.com
语法
_Alignas ( 表达式 )
|
(1) | (C11 起) | |||||||
_Alignas ( 类型 )
|
(2) | (C11 起) | |||||||
表达式 | - | 任何值为合法对齐或零的整数常量表达式 |
类型 | - | 任何类型名称 |
此关键词亦用作便利宏 alignas ,此宏可用于头文件 <stdalign.h>
。
解释
_Alignas
只能在声明不是位域,且不拥有寄存器存储类的对象时使用。它不能用于函数参数声明,亦不能用于 typedef 。
用于声明时,设置被声明对象的对齐要求为
1) 表达式 的结果,除非它是零
2) 类型 的对齐要求,即设置为 _Alignof(type)
除非这会减弱该类型自然拥有的对齐。
若 表达式 求值为零,则此指定符无效果。
多个 _Alignas
说明符出现于同一个声明中时,使用最严格者。
_Alignas
说明符只需要出现于对象定义中,但若任何声明使用 _Alignas
,则它所说明的对齐必须与定义上的 _Alignas
相同。若不同的翻译单元为同一对象说明不同对齐,则行为未定义。
注解
C++ 中, alignas
说明符亦可应用于声明 class
/struct
/union
类型以及枚举。这在 C 中不受支持,但能通过在成员声明中使用 _Alignas
控制 struct 类型的对齐。
关键词
示例
运行此代码
#include <stdalign.h> #include <stdio.h> // 每一个 struct sse_t 类型的对象会在 16 字节边界对齐 // (注意:需要支持 DR 444 ) struct sse_t { alignas(16) float sse_data[4]; }; // 这种 struct data 的每一个对象都会在 128 字节边界对齐 struct data { char x; alignas(128) char cacheline[128]; // 过对齐的 char 数组对象, // 不是过对齐的 char 对象的数组 }; int main(void) { printf("sizeof(data) = %zu (1 byte + 127 bytes padding + 128-byte array)\n", sizeof(struct data)); printf("alignment of sse_t is %zu\n", alignof(struct sse_t)); alignas(2048) struct data d; // 此 struct data 的实例会更严格地对齐 }
输出:
sizeof(data) = 256 (1 byte + 127 bytes padding + 128-byte array) alignment of sse_t is 16
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C 标准。
DR | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
DR 444 | C11 | 结构体与联合体成员中不允许 _Alignas
|
允许 |
引用
- C17 标准(ISO/IEC 9899:2018):
- 6.7.5 Alignment specifier (p: 92)
- 6.2.8 Alignment of objects (p: 36-37)
- 7.15 Alignment <stdalign.h> (p: 196)
- C11 标准(ISO/IEC 9899:2011):
- 6.7.5 Alignment specifier (p: 127-128)
- 6.2.8 Alignment of objects (p: 48-49)
- 7.15 Alignment <stdalign.h> (p: 268)