DevTool-C++内存对齐与结构体布局

结构体的大小不一定等于成员大小相加。编译器为了满足成员与对象的对齐要求，会在成员之间或对象尾部插入填充。

优化布局时，第一步是查询目标平台的 sizeof 和 alignof。原笔记里“地址必须是自身大小的倍数”的说法需要改为类型的对齐要求，二者并不总相等。

1. 对齐要求是什么

若一个类型的对齐值为 8，合法对象地址需要满足相应 8 字节边界。sizeof(T) 表示对象占用大小，alignof(T) 表示对齐要求，语义不同。

基本类型大小也有平台和 ABI 差异。指针在某个 64 位目标上通常为 8 字节，不意味着所有 C++ 实现都如此；double 的对齐也不应从大小直接推断。

2. 逐字段计算一个例子

假定 char/short/int/double 的大小分别为 1/2/4/8，对齐分别为 1/2/4/8：

1
2

struct A { char a; int b; short c; double d; };
struct B { double d; int b; short c; char a; };

在这些假设下：

A 的成员实际字节合计为 15，内部填充为 9，总共已经是 24；不是“先得到 20，再尾补到 24”。B 在末尾补 1 字节，以便数组中下一个元素也满足 8 字节对齐。

3. 使用工具确认，不靠手算定案

1
2
3
4
5
6
7
8

#include <cstddef>
#include <iostream>
struct A { char a; int b; short c; double d; };
int main() {
    std::cout << sizeof(A) << ' ' << alignof(A) << '\n';
    std::cout << offsetof(A,a) << ' ' << offsetof(A,b) << ' '
              << offsetof(A,c) << ' ' << offsetof(A,d) << '\n';
}

offsetof 适用于满足标准布局要求的类型；不要对复杂多态继承对象一概使用，然后把编译器扩展当作可移植结论。

4. alignas 提高要求，不能随意减弱要求

alignas(16) 可以为类型指定更严格的对齐。按前面的目标假设，A 的字段尾部到 24，补到 16 的倍数后为 32；B 已占 16，因此仍可为 16。

1

struct alignas(16) C { double d; int b; short c; char a; };

alignas 不是任意压缩布局工具，也不能要求一个对象使用比其自然要求更弱的对齐。#pragma pack 等属于另一个层面，具有编译器和 ABI 边界。

5. 更小不总是更快

重排字段能减小对象和数组工作集，改善缓存利用率。但要兼顾热点字段、访问顺序、SIMD 和并发共享。多个线程频繁写同一缓存行不同字段，还可能产生 false sharing。

强行压紧可能导致非对齐访问，影响性能甚至违反特定访问要求。与文件协议、网络、GPU Buffer 交互时，还可能破坏双方约定。

CPU 结构体、HLSL StructuredBuffer、常量缓冲和其他 API 的布局规则不能默认相同。需要显式描述与验证 stride、字段偏移及填充。

6. 序列化不要直接复制整个对象

对象填充可能没有稳定值，布局也可能随编译目标改变。直接把结构体内存写盘，容易绑定到某个 ABI，还可能把无意义填充一起输出。

跨平台数据应逐字段定义格式、字节序和版本。只有明确控制双方布局和生命周期的内部通道，才适合使用经过验证的直接拷贝。

总结

布局优化需要同时关注大小、对齐和访问方式。先写出目标假设，再用编译器查询确认；减少填充可以节约空间，但可移植数据格式和 CPU/GPU 共享布局需要更明确的契约。

参考资料

• Microsoft：alignas

• Microsoft：Alignment