C++中short类型变量通常占用2个字节，但它的内存对齐规则并不是固定为2字节，会受到编译环境、对齐参数设置以及所在上下文的影响，理解这些规则对优化内存使用和避免未定义行为很有帮助。
short变量的基础对齐规则
在没有手动修改对齐参数的情况下，short变量的对齐值通常等于它自身的大小，也就是2字节。这意味着short变量的内存起始地址必须是2的整数倍，否则编译器会自动插入填充字节来满足对齐要求。
我们可以通过alignof运算符来查看short的对齐值，示例代码如下：
#include <iostream>
using namespace std;
int main() {
// 查看short类型的对齐值
cout << "short对齐值: " << alignof(short) << endl;
// 查看short变量的地址，验证是否为2的倍数
short s = 10;
cout << "short变量地址: " << (void*)&s << endl;
return 0;
}
编译参数对short对齐的影响
不同编译器或者同一编译器的不同对齐参数设置，会改变short的实际对齐规则。比如GCC编译器可以通过__attribute__((aligned(n)))手动指定对齐值，MSVC编译器可以通过#pragma pack(n)修改对齐参数。
当使用#pragma pack(1)取消填充时，short的对齐值会被强制改为1，此时变量可以放在任意地址，不会插入填充字节：
#include <iostream>
using namespace std;
#pragma pack(1) // 设置对齐参数为1
struct PackedStruct {
char c; // 1字节
short s; // 原本对齐值2，现在被强制为1
};
#pragma pack() // 恢复默认对齐
int main() {
cout << "紧凑结构体大小: " << sizeof(PackedStruct) << endl; // 输出2
return 0;
}
结构体中short的进阶对齐逻辑
当short和其他类型变量一起出现在结构体中时，对齐规则会变得更复杂，结构体的整体对齐值等于所有成员中最大的对齐值。
short与char组合的情况
char的对齐值是1，short是2，结构体的整体对齐值是2。如果char放在short前面，char会占用1字节，之后会插入1个填充字节，让short的起始地址满足2字节对齐：
#include <iostream>
using namespace std;
struct CharShort {
char c; // 偏移0，占1字节
// 填充1字节，偏移1
short s; // 偏移2，占2字节
};
int main() {
cout << "CharShort大小: " << sizeof(CharShort) << endl; // 输出4
return 0;
}
short与int组合的情况
int的对齐值通常是4，比short的2大，所以结构体的整体对齐值是4。short之后会插入2个填充字节，让int的起始地址满足4字节对齐：
#include <iostream>
using namespace std;
struct ShortInt {
short s; // 偏移0，占2字节
// 填充2字节，偏移2
int i; // 偏移4，占4字节
};
int main() {
cout << "ShortInt大小: " << sizeof(ShortInt) << endl; // 输出8
return 0;
}
联合体中的short对齐规则
联合体的大小至少等于最大成员的大小，对齐值等于所有成员中最大的对齐值。如果联合体中有short和其他更大对齐值的成员，short的起始地址也会满足联合体的整体对齐要求：
#include <iostream>
using namespace std;
union ShortDouble {
short s; // 2字节，对齐2
double d; // 8字节，对齐8
};
int main() {
cout << "联合体大小: " << sizeof(ShortDouble) << endl; // 输出8
cout << "联合体对齐值: " << alignof(ShortDouble) << endl; // 输出8
return 0;
}
对齐规则的注意事项
- 不要假设short的地址一定是偶数，在手动修改对齐参数的场景下可能不成立
- 跨平台开发时要注意不同编译器的默认对齐参数差异，避免内存布局不一致导致的问题
- 可以通过调整结构体成员的顺序来减少填充字节，优化内存占用，比如把对齐值大的成员放在前面
内存对齐的本质是CPU访问内存的效率问题，大部分CPU读取2字节数据时，更倾向于从偶数地址开始读取，对齐后的数据访问速度更快，牺牲少量内存换取效率是编译器的常见做法。