21、内存对齐与布局：alignof/alignas、结构体对齐、位域、union与variant内存

内存对齐这个话题，说实话，很多C++开发者写了三五年代码都不太在意。我早年也是这样——直到有一次在嵌入式项目里，一个结构体因为对齐问题多占了40%的内存，导致缓存命中率暴跌，整个系统的实时性直接崩了。嗯，从那以后，我再也不敢小看这几个字节的“浪费”了。

今天咱们就把内存对齐和布局这块彻底聊透。我会从最基础的alignof和alignas讲起，然后深入到结构体对齐、位域、union，最后聊聊C++17引入的std::variant。每个知识点我都会结合项目里的实际踩坑经历来讲。

alignof 和 alignas：对齐的“尺子”与“扳手”

先问个问题：你知道一个int变量在内存里必须放在4的倍数的地址上吗？这就是对齐的本质——硬件要求某些类型的数据必须放在特定对齐边界上。

alignof是个操作符，用来查询某个类型的对齐要求。比如：

#include <iostream>
#include <cstddef>

struct Small {
    char c;
    int i;
};

int main() {
    std::cout << "int的对齐要求: " << alignof(int) << '\n';
    std::cout << "Small的对齐要求: " << alignof(Small) << '\n';
    std::cout << "double的对齐要求: " << alignof(double) << '\n';
    return 0;
}

输出结果：

int的对齐要求: 4
Small的对齐要求: 4
double的对齐要求: 8

你想想看，Small结构体里明明有个char只占1字节，为什么对齐要求是4？因为结构体的对齐要求等于其成员中最大的对齐要求——这里int是4，所以整个结构体也得按4对齐。

alignas则是用来指定对齐方式的。你可以用它来“强制”一个变量或类型按更大的对齐边界存放：

// 强制按64字节对齐，适合缓存行优化
alignas(64) int cache_line_buffer[1024];

// 也可以用在结构体上
struct alignas(128) AlignedStruct {
    int x;
    double y;
};

static_assert(alignof(AlignedStruct) == 128);

我在做高性能计算时经常用这个技巧。把热点数据按缓存行大小（通常是64字节）对齐，可以避免伪共享（false sharing）问题。说白了，就是让两个线程操作的不同变量不要挤在同一条缓存行里，否则一个线程修改变量会导致另一个线程的缓存行失效，性能直接腰斩。

结构体对齐：编译器在背后做了什么？

结构体对齐的规则其实不复杂，但新手很容易被“坑”。核心就三条：

1. 每个成员按自己的对齐要求放置——编译器会在成员之间插入填充字节（padding）
2. 结构体的总大小必须是对齐要求的整数倍——最后可能还会补一些尾填充
3. 结构体的对齐要求等于最大成员的对齐要求

来看个经典例子：

struct Example1 {
    char a;      // 1字节，偏移0
    // 填充3字节
    int b;       // 4字节，偏移4
    short c;     // 2字节，偏移8
    // 填充2字节（为了总大小是4的倍数）
};
// 总大小：12字节

如果调整一下成员顺序呢？

struct Example2 {
    int b;       // 4字节，偏移0
    short c;     // 2字节，偏移4
    char a;      // 1字节，偏移6
    // 填充1字节（为了总大小是4的倍数）
};
// 总大小：8字节

看到了吗？同样的成员，只是换了个顺序，大小就从12字节变成了8字节。我在项目中遇到过好几次这种“莫名其妙的内存暴涨”，最后发现就是结构体成员顺序没排好。

所以我的建议是：把大的成员放在前面，小的放在后面。按对齐要求从大到小排列，这样填充最少。

位域：精确控制比特位

位域（bit-field）允许你精确指定每个成员占用的比特数。这在硬件寄存器映射、网络协议头解析等场景下特别有用。

struct IPHeader {
    unsigned int version : 4;    // 4位
    unsigned int ihl : 4;        // 4位
    unsigned int dscp : 6;       // 6位
    unsigned int ecn : 2;        // 2位
    unsigned int total_length : 16; // 16位
    // ... 其他字段
};

不过位域有几个“坑”需要注意：

• 位域的内存布局是编译器相关的——不同编译器可能从不同方向分配比特位（大端/小端问题）
• 位域成员不能取地址——因为它在比特级别，不是字节级别
• 位域的类型通常用unsigned int——用signed int可能会导致符号扩展的意外行为

union：共享内存的“多面手”

union让多个成员共享同一块内存。它的总大小等于最大成员的大小。说白了，就是同一块内存，你可以用不同的“视角”去解读它。

union Data {
    int i;
    float f;
    char str[4];
};

int main() {
    Data d;
    d.i = 42;
    // 现在d.f和d.str的内容取决于你怎么解释那4个字节
    std::cout << d.f << '\n'; // 输出的是42的浮点数表示
    return 0;
}

但union有个大问题：它不跟踪当前“活跃”的是哪个成员。如果你写入了i然后读取f，行为是未定义的。C++17引入了std::variant来解决这个问题。

std::variant：类型安全的“union”

std::variant是C++17引入的“类型安全联合体”。它记住当前存储的是哪个类型，并且保证你只能通过正确的方式访问它。

#include <variant>
#include <string>
#include <iostream>

int main() {
    std::variant<int, float, std::string> v;
    
    v = 42;                    // 存储int
    std::cout << std::get<int>(v) << '\n';  // 正确
    
    v = 3.14f;                 // 存储float
    std::cout << std::get<float>(v) << '\n'; // 正确
    
    // std::get<int>(v);       // 会抛出std::bad_variant_access异常
    
    // 用visit来安全访问
    std::visit([](auto&& arg) {
        std::cout << arg << '\n';
    }, v);
    
    return 0;
}

std::variant的内存布局是怎样的？它的大小等于最大成员的大小 + 一个“判别式”字段（用来记录当前类型）。这个判别式通常是一个整数，所以variant会比最大的union成员多几个字节。

知识体系总览

下面这张图把本章的核心知识点串起来了：

总结一下今天的内容：内存对齐不是玄学，而是硬件和编译器共同作用的结果。理解alignof和alignas能让你精确控制内存布局；掌握结构体对齐规则可以帮你写出更紧凑的数据结构；位域和union在特定场景下很有用，但要注意可移植性和安全性；std::variant则是现代C++推荐的替代方案。

嗯，这些知识点看起来零散，但实际项目里它们经常一起出现。比如我在做网络协议栈时，既要考虑结构体对齐来匹配协议格式，又要用位域来解析头部字段，还得用variant来处理不同类型的报文。把这些工具用好，你的C++代码会既高效又安全。

---

公众号:蓝海资料掘金营，微信deep3321