C++ 语言特性27 - alignas 数据对齐介绍

黑不溜秋的

已于 2024-10-05 12:03:30 修改

阅读量426

点赞数 5

分类专栏： C++编程专栏文章标签： c++ 开发语言

于 2024-10-05 11:48:17 首次发布

本文链接：https://blog.csdn.net/zangle260/article/details/142712810

版权

C++编程专栏专栏收录该内容

219 篇文章 8 订阅

订阅专栏

一：概述

数据对齐（Data Alignment） 是指在内存中存储数据时，如何为数据分配地址，确保其满足 CPU 对内存访问的要求。不同的处理器对数据的存储位置（内存地址）有一定的要求，特别是对于多字节的数据类型（如 int、float、double 等），它们往往需要存放在特定的边界上。这种边界通常是数据大小的倍数，称为对齐边界。数据对齐的主要目的是提高内存访问的效率，并减少由于不对齐访问带来的性能损耗。

1. 为什么需要数据对齐？

现代 CPU 访问内存时，通常会一次读取多个字节（例如 4 字节或 8 字节）。如果数据存储在对齐的地址上，CPU 可以一次性读取到完整数据；如果数据不对齐，CPU 可能需要多次内存访问才能取回完整数据。这会导致性能下降。此外，一些架构（如某些 RISC 处理器）可能完全不支持不对齐的内存访问，导致程序崩溃。

2. 基本数据对齐规则

每种数据类型都有一个默认的对齐要求，通常为其大小的倍数。例如：

char 类型：通常大小为 1 字节，对齐要求为 1 字节（即可以存储在任何地址）。
int 类型：通常大小为 4 字节，对齐要求为 4 字节（即存储在地址必须是 4 的倍数）。
double 类型：通常大小为 8 字节，对齐要求为 8 字节。

数据对齐规则可以总结为：类型的对齐要求通常是其大小的倍数，当然不同平台和编译器可能略有不同。

/*
在这个结构体中，char a 的大小是 1 字节，int b 的大小是 4 字节。如果没有对齐，b 可能存储在 a 的下一个字节（位置 1），但为了满足 int 类型 4 字节对齐的要求，编译器通常会在 a 之后插入 3 个填充字节（padding），从而使 b 从地址 4 开始存储。
*/

struct MyStruct {
    char a;   // 1 byte
    int b;    // 4 bytes
};



//这个结构体的内存布局可能如下：
a (1 byte) | padding (3 bytes) | b (4 bytes)

//这个结构体的总大小是 8 字节，而不是 5 字节，因为编译器插入了 3 个填充字节以保证 int b 的 4 字节对齐。

3. 结构体的对齐和填充

当结构体包含多个成员时，编译器会为每个成员添加必要的填充字节，以保证它们按照各自的对齐要求存储。因此，结构体的总大小可能大于所有成员大小之和。

/*
在这个结构体中，a 的大小是 1 字节，b 的大小是 4 字节，c 的大小是 1 字节。为了保持 b 的对齐，编译器会插入填充字节，使得 b 从地址 4 开始，而 c 可能也会为了对齐插入填充字节。内存布局可能如下
*/

struct MyStruct {
    char a;   // 1 byte
    int b;    // 4 bytes
    char c;   // 1 byte
};

//内存布局如下：
//a (1 byte) | padding (3 bytes) | b (4 bytes) | c (1 byte) | padding (3 bytes)

//结构体的总大小是 12 字节，而不是 6 字节。填充字节的插入是为了满足对齐要求，提高内存访问效率。

4. 内存对齐与 CPU 的关系

不同的 CPU 架构对内存访问的要求不同。有些 CPU 对于不对齐的数据访问会产生性能损失，而有些 CPU（如一些嵌入式系统）可能根本不支持不对齐访问，导致程序崩溃。因此，确保数据按照适当的边界对齐非常重要。

x86 架构：在 x86 系列处理器中，虽然允许不对齐访问，但这通常会导致性能下降。
ARM 架构：许多 ARM 处理器在不对齐访问时可能会触发硬件异常，需要特殊处理。

二：C++ 中对数据对齐的支持

C++11 引入了 alignas 关键字，允许程序员手动指定自定义对齐要求。这对于优化特定场景中的内存布局非常有用。

struct MyStruct {
    alignas(16) float a;  // 强制 a 对齐到 16 字节边界
    float b;
};

#include <iostream>

struct alignas(16) MyStruct {
    int x;
    float y;
};

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

可以使用 alignof 运算符来查询类型或对象的对齐要求。

#include <iostream>
#include <type_traits>

int main() {
    std::cout << "Alignment of int: " << alignof(int) << std::endl;
    std::cout << "Alignment of double: " << alignof(double) << std::endl;
    std::cout << "Alignment of struct: " << alignof(MyStruct) << std::endl;
}

C++11 引入的 std::aligned_storage 允许你定义一个具有指定对齐要求和大小的未初始化存储空间。这个工具通常用于手动控制对象的内存布局，尤其在手动管理内存的场景中非常有用。

#include <iostream>
#include <type_traits> // std::aligned_storage

int main() {
    // 创建一个具有 16 字节对齐和 64 字节大小的存储空间
    std::aligned_storage<64, 16>::type buffer;

    // 使用 buffer 进行手动管理，构造一个对象在 buffer 上
    int* p = new (&buffer) int(42);  // 使用 placement new
    std::cout << "Value: " << *p << std::endl;

    // 手动调用析构函数
    p->~int();
    return 0;
}

C++17 标准库提供了 std::aligned_alloc 函数来分配指定对齐长度的动态内存。它可以分配一块满足特定对齐要求的内存。


#include <iostream>
#include <cstdlib> // std::aligned_alloc
#include <memory>  // std::free

int main() {
    // 分配 64 字节对齐的 256 字节内存
    void* ptr = std::aligned_alloc(64, 256);
    if (ptr) {
        std::cout << "Memory allocated at: " << ptr << std::endl;
        std::free(ptr); // 释放内存
    }
    return 0;
}