C++ 11 新特性：内存对齐 alignof 和 alignas

在 C++11 中，内存对齐是一个重要的概念，它关乎于数据在内存中如何布局以提高访问效率。

内存对齐的基本思想，是将数据存储在地址能被特定大小（如4、8、16等）整除的内存地址上，这样的数据访问通常能得到硬件层面的优化，提高程序运行效率。

为什么需要内存对齐

现代计算机系统的硬件设计通常优化了对齐的内存访问。对齐的数据可以让 CPU 更高效地读写内存，因为它减少了访问内存所需的总体时间。如果数据未对齐，CPU 可能需要进行多次内存访问才能读取或写入数据，这显著降低了性能。

C++11 中的内存对齐特性

C++11 标准引入了两个关键的特性来支持内存对齐：alignof和alignas。这两个特性提供了对内存对齐的直接控制。

alignof

alignof是一个操作符，用于查询类型或变量的对齐要求。它返回一个std::size_t类型的值，表示类型或变量的对齐字节数。

#include <iostream>

struct MyStruct {
    char c;
    int i;
};

int main() {
    std::cout << "Alignment of char: " << alignof(char) << std::endl;
    std::cout << "Alignment of int: " << alignof(int) << std::endl;
    std::cout << "Alignment of MyStruct: " << alignof(MyStruct) << std::endl;
    return 0;
}

输出：

Alignment of char: 1
Alignment of int: 4
Alignment of MyStruct: 4

在这个例子中，alignof操作符用来查询char、int和用户定义的MyStruct类型的对齐要求。

alignas

alignas是一个对齐说明符，用于指定变量或类型的最小对齐要求。alignas可以用于变量声明或类型定义中，以确保所声明的变量或类型实例具有特定的对齐。

#include <iostream>

struct alignas(16) AlignedStruct {
    int i;
};

int main() {
    AlignedStruct a;
    std::cout << "Alignment of AlignedStruct: " << alignof(a) << std::endl;
    return 0;
}

输出：

Alignment of AlignedStruct: 16

在这个例子中，AlignedStruct被指定为 16 字节对齐。通过alignof操作符，我们可以看到AlignedStruct实例a的实际对齐要求确实为 16。

综合示例

#include <iostream>
 
// 每个 struct_float 类型的对象将会按照 alignof(float) 的边界对齐（通常是 4）：
struct alignas(float) struct_float
{
    // 你的定义在这里
};
 
// 每个 sse_t 类型的对象将会按照 32 字节的边界对齐：
struct alignas(32) sse_t
{
    float sse_data[4];
};
 
// 数组 cacheline 将会按照 64 字节的边界对齐：
using cacheline_t = alignas(64) char[64];
cacheline_t cacheline;
 
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'
        << "alignof(cacheline_t) = " << alignof(cacheline_t) << '\n'
        << "alignof(cacheline) = " << alignof(decltype(cacheline)) << '\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
alignof(cacheline_t) = 64
alignof(cacheline) = 64
&a: 0x7ffef1f24c10
&b: 0x7ffef1f24c20
&c: 0x7ffef1f24c30
&x: 0x7ffef1f24c40
&y: 0x7ffef1f24c60
&z: 0x7ffef1f24c80

注意，每次执行代码，内存地址值输出有可能不同。可以看到，x、y、z 是以指定的 32 字节对齐。

使用场景

内存对齐在需要高性能优化的代码中尤其重要。

例如，在多媒体处理、科学计算和游戏开发等领域，正确的内存对齐可以显著提升数据处理速度。此外，在与硬件直接交互的编程中，如驱动开发或嵌入式系统编程，内存对齐也是一个必须考虑的因素。

注意事项

• 虽然增加对齐要求通常能提高性能，但过度对齐可能会导致内存浪费。因此，选择合适的对齐大小通常需要权衡。
• 对齐值必须是 2 的幂，并且在某些平台上，对齐值可能有上限。
• alignas指定的对齐要求不能低于类型的自然对齐要求。

总结

C++11 中的内存对齐特性提供了直接控制数据对齐的能力，这对于优化程序性能、减少 CPU 访问内存的开销非常重要。

通过合理使用alignof和alignas，开发者可以在需要时显著提升数据访问速度，尤其是在性能敏感的应用程序中。当然，也要注意合理选择对齐大小，避免不必要的内存浪费。