_Alignas

< c‎ | language
 
C
 
C 语言
 
声明
 

出现于声明语法中，作为修改声明对象对齐要求的说明符。

语法

_Alignas ( 表达式 ) (1) (C11 起)
_Alignas ( 类型 ) (2) (C11 起)
表达式 - 任何值为合法对齐或零的整数常量表达式
类型 - 任何类型名称

此关键词亦用作便利宏 alignas ，此宏可用于头文件 <stdalign.h> 。

解释

_Alignas 只能在声明不是位域，且不拥有寄存器存储类的对象时使用。它不能用于函数参数声明，亦不能用于 typedef 。

用于声明时，设置被声明对象的对齐要求为

1) 表达式 的结果，除非它是零
2) 类型 的对齐要求，即设置为 _Alignof(type)

除非这会减弱该类型自然拥有的对齐。

若 表达式 求值为零，则此指定符无效果。

多个 _Alignas 说明符出现于同一个声明中时，使用最严格者。

_Alignas 说明符只需要出现于对象定义中，但若任何声明使用 _Alignas ，则它所说明的对齐必须与定义上的 _Alignas 相同。若不同的翻译单元为同一对象说明不同对齐，则行为未定义。

注意

在出版之初， C11 不允许将说明符用于结构体和联合体成员；这已为 DR 444 所更正。

C++ 中， alignas 说明符亦可应用于声明 class/struct/union 类型以及枚举。这在 C 中不受支持，但能通过在成员声明中使用 _Alignas 控制 struct 类型的对齐（ DR 444 前）。

关键词

_Alignas

示例

运行此代码
#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

引用

  • C11 standard (ISO/IEC 9899:2011):
  • 6.7.5 Alignment specifier
  • 6.2.8 Alignment of objects (p: 48-49)
  • 7.15 Alignment <stdalign.h> (p: 268)

参阅