LinuxSir.cn,穿越时空的Linuxsir!

 找回密码
 注册
搜索
热搜: shell linux mysql
查看: 234|回复: 0

alignas

[复制链接]
发表于 2024-1-29 23:11:59 | 显示全部楼层 |阅读模式
lignas 说明符更改内存中类型或对象的对齐方式。

语法

alignas(expression)
alignas(type-id)
alignas(pack...)
备注
可以对 struct、class、union 或变量声明使用 alignas 说明符。

对于 alignas(expression),表达式必须是 0 或幂为 2(1、2、4、8、16、...)的整型常量表达式。所有其他表达式的格式不正确。

使用 alignas,而不是 __declspec(align(#)) 实现代码可移植性。

alignas 的常见用途是控制用户定义类型的对齐方式,如以下示例所示:

struct alignas(8) S1
{
    int x;
};

static_assert(alignof(S1) == 8, "alignof(S1) should be 8");
当多个 alignas 应用于同一声明时,将使用具有最大值的声明。 忽略 0 的 alignas 值。

以下示例演示如何将 alignas 与用户定义的类型结合使用:

class alignas(4) alignas(16) C1 {};

// `alignas(0)` ignored
union alignas(0) U1
{
    int i;
    float f;
};

union U2
{
    int i;
    float f;
};

static_assert(alignof(C1) == 16, "alignof(C1) should be 16");
static_assert(alignof(U1) == alignof(U2), "alignof(U1) should be equivalent to alignof(U2)");
可以将类型作为对齐值提供。 该类型的默认对齐方式用作对齐值,如以下示例所示:

struct alignas(double) S2
{
    int x;
};

static_assert(alignof(S2) == alignof(double), "alignof(S2) should be equivalent to alignof(double)");
模板参数包(alignas (pack...))可用于对齐值。 使用包中所有元素的最大对齐值。

template <typename... Ts>
class alignas(Ts...) C2
{
    char c;
};

static_assert(alignof(C2<>) == 1, "alignof(C2<>) should be 1");
static_assert(alignof(C2<short, int>) == 4, "alignof(C2<short, int>) should be 4");
static_assert(alignof(C2<int, float, double>) == 8, "alignof(C2<int, float, double>) should be 8");
如果应用了多个 alignas,则生成的对齐是所有 alignas 值中最大的,并且不能小于应用于它的类型的自然对齐方式。

用户定义的类型的声明和定义必须具有相同的对齐值。

// Declaration of `C3`
class alignas(16) C3;

// Definition of `C3` with differing alignment value
class alignas(32) C3 {}; // Error: C2023 'C3': Alignment (32) different from prior declaration (16)

int main()
{
    alignas(2) int x; // ill-formed because the natural alignment of int is 4
}

您需要登录后才可以回帖 登录 | 注册

本版积分规则

快速回复 返回顶部 返回列表