数据对齐（结构体对齐、类成员对齐、动态内存对齐/指针对齐、函数参数对齐、SIMD对齐）

数据对齐

数据对齐是一种计算机内存管理技术，确保数据存储在内存中的特定地址上，以提高访问效率和性能。
不同的数据类型（如整数、浮点数、指针等）在内存中的存储位置通常需要满足特定的边界要求，即数据的起始地址是其大小的整数倍。
通过对数据进行对齐，可以减少处理器在访问不对齐的数据时可能产生的额外开销。
对齐可以在编译器级别通过设置编译选项或使用特定的关键字来控制，也可以使用一些预处理指令来进行调整。

总之，数据对齐是为了提高内存访问效率和性能，将数据存储在适当的内存地址上，以减少额外的开销和性能损失。

数据对齐主要体现于：结构体对齐、类成员对齐、动态内存对齐、函数参数对齐、SIMD对齐等形式。

结构体对齐

• 最大成员对齐：结构体的对齐通常取决于结构体中最大的成员的大小。编译器会将结构体成员对齐到最大成员大小的整数倍。
• 填充字节：为了满足对齐要求，编译器可能会在结构体成员之间插入一些填充字节，使得下一个成员能够按照适当的对齐方式存储。
• 指定对齐方式：某些编译器允许开发人员通过预处理指令或关键字来指定结构体的对齐方式，以满足特定的需求。
• 位域对齐：给基本数据类型使用位域指定其占用位数。

#include <iostream>

// 默认对齐方式
// 若结构体没有大于4字节的类型，一般为4字节对齐，本文以一个对齐字节默认为4个字节为例
struct Struct1
{
    char a[20]; // 160 bits，占用5个对齐字节
    int b;      // 32 bits，占用1个对齐字节
    int c : 33; // 33 bits，余1位，余的那一位占用下一个对齐字节的最低位。占用2个对齐字节
    int d;      // 32 bits，占用1个对齐字节
};
// 本结构体的大小为4*（5+1+2+1）=36个字节
// 说明：c使用位域为33导致余的那一位所在的对齐字节剩下的31位不足以装下d的32个位，
//  于是c的32+1个位一共占用2个对齐字节，而d额外占用一个对齐字节

// 指定最大成员对齐方式为 4 字节
#pragma pack(push, 4)
struct Struct2
{
    char a[19]; // 152 bits，占用5个对齐字节
    int b;      // 32 bits，占用1个对齐字节
    double c;   // 64 bits，占用2个对齐字节
    char d[4];  // 32 bits，占用1个对齐字节
};
#pragma pack(pop)
// 本结构体的大小为4*（5+1+2+1）=36个字节
// 说明：a占用5个对齐字节却占不满，还有8bits的空间，但8bits不足以装下b，于是这8bits空间由空位域填满，
//  而c单独占用2个对齐字节。d所在对齐字节还有4字节空间由空位域填满。

// 指定最大成员对齐方式为 8 字节
#pragma pack(push, 8)
struct Struct3
{
    char a[16]; // 128 bits，占用2个对齐字节
    int b;      // 32 bits，占用1个对齐字节
    double c;   // 64 bits，占用1个对齐字节
    char d[4];  // 32 bits，占用1个对齐字节
};
#pragma pack(pop)
// 本结构体的大小为8*（2+1+1+1）=40个字节
// 说明：b所在对齐字节剩下的4字节不够c用，于是c额外占用1个对齐字节，而b所在对齐字节由空位域填满余下4个字节
//  d所在的对齐字节未满，空位域填充余下4个字节

int main()
{
    std::cout << "Size of Struct1: " << sizeof(Struct1) << " bytes" << std::endl;
    std::cout << "Size of Struct2: " << sizeof(Struct2) << " bytes" << std::endl;
    std::cout << "Size of Struct3: " << sizeof(Struct3) << " bytes" << std::endl;

    return 0;
}

/*
./"test"
Size of Struct1: 36 bytes
Size of Struct2: 36 bytes
Size of Struct3: 40 bytes
*/

类成员对齐

• 数据成员的对齐：每个数据成员都有一个对齐要求，这是指数据成员在内存中的起始地址必须是对齐要求的整数倍。例如，int 类型通常需要4字节对齐，double 类型通常需要8字节对齐。
• 继承的对齐：派生类的成员对齐规则受基类和派生类成员的影响。在多继承情况下，编译器会根据继承的顺序和基类成员的对齐规则来确定派生类的成员排列。
• 虚函数表指针（vptr）的对齐：对于包含虚函数的类，编译器通常会在类中添加一个指向虚函数表的指针（vptr）。vptr 的对齐方式可能会影响整个类的对齐方式。

#include <iostream>

// 默认对齐方式为 4 字节
class MyClass1
{
public:
    char a[20]; // 160 bits，占用 5 个对齐字节
    int b;      // 32 bits，占用 1 个对齐字节
    int c : 33; // 33 bits，占用 2 个对齐字节
    int d;      // 32 bits，占用 1 个对齐字节
};

// 指定最大成员对齐方式为 4 字节
#pragma pack(push, 4)
class MyClass2
{
public:
    char a[19]; // 152 bits，占用 5 个对齐字节
    int b;      // 32 bits，占用 1 个对齐字节
    double c;   // 64 bits，占用 2 个对齐字节
    char d[4];  // 32 bits，占用 1 个对齐字节
};
#pragma pack(pop)

// 指定最大成员对齐方式为 8 字节
#pragma pack(push, 8)
class MyClass3
{
public:
    char a[16]; // 128 bits，占用 2 个对齐字节
    int b;      // 32 bits，占用 1 个对齐字节
    double c;   // 64 bits，占用 1 个对齐字节
    char d[4];  // 32 bits，占用 1 个对齐字节
};
#pragma pack(pop)

int main()
{
    std::cout << "Size of MyClass1: " << sizeof(MyClass1) << " bytes" << std::endl;
    std::cout << "Size of MyClass2: " << sizeof(MyClass2) << " bytes" << std::endl;
    std::cout << "Size of MyClass3: " << sizeof(MyClass3) << " bytes" << std::endl;

    return 0;
}

动态内存对齐 / 指针对齐

动态内存的分配和对齐在 C++ 中也是一个重要的概念。通常情况下，动态内存分配使用 new 和 delete 运算符（或者使用 malloc 和 free 函数），而这些函数会分配内存并返回指向该内存块的指针。

在动态内存分配过程中，对齐的概念同样也适用。通常情况下，动态内存分配的指针所指向的内存块会满足平台默认的对齐要求。如果需要特定对齐要求，可以使用 C++11 引入的 std::aligned_alloc 函数，它允许您指定所需的对齐方式。

以下是一个示例，演示了如何使用 std::aligned_alloc / std::posix_memalign 进行动态内存分配，并指定特定的对齐方式：

在这里插入代码片

函数参数对齐

在函数参数传递过程中，参数的对齐方式也是一个重要的概念。函数参数的对齐方式与内存对齐类似，会影响内存的使用情况和性能。

通常情况下，函数参数在调用栈上分配内存，而调用栈的分配和对齐方式可能会受到编译器、操作系统和平台的影响。不同的编译器和平台可能有不同的规则，但是一般来说，函数参数的对齐方式会遵循与数据类型有关的规则。

在实际编程中，大多数情况下，编译器会自动处理函数参数的对齐方式，确保程序的正确性和性能。

SIMD对齐

SIMD（Single Instruction, Multiple Data）是一种并行计算技术，旨在通过在单个指令中同时处理多个数据元素来提高计算性能。在使用SIMD指令集进行向量化计算时，数据需要按照特定的对齐要求存储在内存中，以便CPU能够高效地执行向量化操作。

SIMD对齐通常是按照硬件架构的要求进行的，以确保数据可以被SIMD指令正确地加载和处理。具体的对齐要求取决于使用的SIMD指令集和CPU架构。通常，SIMD对齐要求为16字节、32字节或更大。

为了实现SIMD对齐，您需要确保向量数据按照正确的字节边界进行存储。这可能涉及到在内存分配、数据传输和数据结构定义中使用特定的对齐指令或属性。

在C++中，您可以使用一些编译器指令或属性来控制数据的对齐，以便适应SIMD要求。例如，对于GCC编译器，可以使用__attribute__((aligned(n)))来指定数据的对齐方式，其中n表示字节对齐数。

以下是一个示例，展示如何在C++中使用GCC的对齐属性来实现SIMD对齐：

#include <iostream>

// 定义一个结构体，其中包含一个需要SIMD对齐的数据数组
struct AlignedData
{
    float data[4] __attribute__((aligned(16))); // 使用 GCC 对齐属性，要将数组按照16字节边界进行对齐
};

int main()
{
    AlignedData alignedArray;

    // 输出地址，以验证对齐是否生效
    std::cout << "Address of alignedArray: " << &alignedArray << std::endl;

    return 0;
}

/*
 * ./"test"
 * Address of alignedArray: 0x7fffd5c3ca10
 */

/*
 * 说明：对于16字节边界对齐，地址0x7fffd5c3ca10是否满足取决于该地址的末尾4位是否为零。
 * 如果末尾4位为零，那么该地址就是16字节对齐的，否则就不是。
 * 在16进制表示中，每个十六进制数字对应4个二进制位。
 * 因此，16字节的倍数的地址末尾4位是否都是零，可以通过以下方式来验证：
 * 将地址的末尾4位转换为二进制，检查这4位二进制是否都是零。
 * 例如，对于地址0x7fffd5c3ca10：
 * 0x10 转换为二进制为 0001 0000。
 * 这4位二进制都是零，因此地址0x7fffd5c3ca10是16字节对齐的。
 * 这种验证方法适用于所有的地址，只要将地址转换为二进制并检查末尾4位即可判断是否满足16字节对齐。
 **/