深度解析 C/C++ 中 `sizeof` 运算符：如何准确计算大小？
在 C 和 C++ 编程中，`sizeof` 是一个看似简单却极易产生误解字。它不仅是获取数据类型或变量占用字节数的工具，更是理解内存布局、指针机制以及结构体对齐入口。很多的初学者甚至中级开发者混淆“元素个数”与“字节大小”，或在指针与数组之间做出错误判断。
这篇文章将深入探讨 `sizeof` 的工作原理，通过代码示例、数据表格和常见陷阱分析，帮助你彻底掌握“怎么用 `sizeof` 求大小”。
`sizeof` 的基本概念
`sizeof` 是 C 语言的一个编译时运算符（Unary Operator），而非函数。它的返回值类型是 `size_t`（是无符号整数类型，如 `unsigned long` 或 `unsigned int`，取决于平台）。
核心作用
- 获取数据类型在内存中占用的字节数。
- 获取变量实例占用的字节数。
- 获取数组、结构体、联合体等复合类型的总大小。
注意：`sizeof` 在编译阶段计算结果，因此它不执行任何运行时计算，效率极高。
基本数据类型的大小
不同数据类型的内存占用取决于编译器和目标平台架构（32位 vs 64位）。下面呢是常见平台下的典型值：
表 1：常见数据类型在 32 位与 64 位平台下的 `sizeof` 值
| 数据类型 | 32 位平台 (字节) | 64 位平台 (字节) | 说明 |
|---|---|---|---|
| `char` | 1 | 1 | 始终为 1 字节 |
| `short` | 2 | 2 | 2 字节 |
| `int` | 4 | 4 | 4 字节 |
| `long` | 4 | 8 | 关键差异点：Windows 下 long 始终 4 字节；Linux 64位下 long 为 8 字节 |
| `float` | 4 | 4 | IEEE 754 标准 |
| `double` | 8 | 8 | IEEE 754 标准 |
| `pointer` | 4 | 8 | 指针大小等于平台地址总线宽度 |
提示：利用 `sizeof(int)` 或 `sizeof(long)` 时，务必注意目标平台的 ABI（应用二进制接口）约定。
数组与指针：最大的误区
这是 `sizeof` 最容易出错的地方。数组名在大多数表达式中会退化为指向首元素的指针，但在 `sizeof` 内部，数组名保持其“数组”的本质，返回整个数组的大小。
示例代码分析
```c
#include
int main() {
int arr[10];
int ptr = arr;
// 1. 对数组名使用 sizeof
printf("sizeof(arr): %zun", sizeof(arr)); // 输出: 40 (10 4)
// 2. 对指针运用 sizeof
printf("sizeof(ptr): %zun", sizeof(ptr)); // 输出: 4 或 8 (取决于平台)
// 3. 对指针解引用使用 sizeof
printf("sizeof(ptr): %zun", sizeof(ptr)); // 输出: 4 (int 的大小)
// 4. 计算数组元素个数（正确做法）
int num_elements = sizeof(arr) / sizeof(arr[0]);
printf("Element count: %dn", num_elements); // 输出: 10
return 0;
}
```
关键结论
- `sizeof(arr)` 返回整个数组的字节数。
- `sizeof(ptr)` 返回指针本身的字节数（4 或 8），不是数组大小。
- 永远不要用 `sizeof(ptr)` 来推断动态数组或指针所指向内存的大小，因为指针不携带长度信息。
结构体与内存对齐
`sizeof` 对结构体的计算并非简单累加成员变量大小，而是遵循内存对齐规则。编译器会在成员之间插入填充字节（Padding），以确保每个成员按其自然边界对齐，从而提高 CPU 访问效率。
内存对齐规则简述
1. 结构体个成员偏移量为 0。 2. 其他成员对齐到其大小或结构体最大成员大小的较小倍数的偏移处。 3. 结构体总大小必须是其最大成员大小的整数倍（不足则尾部填充）。示例：内存对齐的影响
```c
struct Example1 {
char a; // 1 byte
int b; // 4 bytes
char c; // 1 byte
}; // 总大小？
struct Example2 {
int b; // 4 bytes
char a; // 1 byte
char c; // 1 byte
}; // 总大小？
```
表 2：结构体内存布局与 `sizeof` 结果（32 位平台）
| 结构体 | 成员顺序 | 内存布局示意（十六进制偏移） | 计算过程 | `sizeof` 结果 |
|---|---|---|---|---|
| `Example1` | `char`, `int`, `char` | `a`(0) `[3 bytes pad]` `b`(4) `c`(8) `[3 bytes pad]` | 1 + 3(pad) + 4 + 1 + 3(pad) = 12 | 12 |
| `Example2` | `int`, `char`, `char` | `b`(0) `a`(4) `c`(5) `[3 bytes pad]` | 4 + 1 + 1 + 3(pad) = 9 → 向上对齐到 4 的倍数 | 12 |
优化建议：在定义结构体时，按成员大小从大到小排序，可以最小化填充字节，节省内存。
动态内存分配中的 `sizeof`
在使用 `malloc` 或 `calloc` 时，`sizeof` 常用于计算所需内存块的大小。
正确用法
```c int arr = (int )malloc(10 sizeof(int)); // 或者 int arr = (int )malloc(sizeof(int) 10); ```常见错误
```c // 错误！sizeof(int) 只返回单个 int 的大小，未乘以元素个数 int arr = (int )malloc(sizeof(int)); ```为什么推荐 `sizeof(ptr)` 而非 `sizeof(type)`？
```c int ptr = malloc(sizeof(ptr) 10); // 推荐写法 ```- 优势：如果 `ptr` 的类型改变（如改为 `double `），`sizeof(ptr)` 会自动适配，无需修改 `sizeof` 内部的类型名，减少维护错误。
函数参数中的数组退化
当数组作为函数参数传递时，它会自动退化为指针。所以在函数内部使用 `sizeof` 无法获取原数组的大小。
```c
void func(int arr[]) {
// arr 在这里是指针！
printf("sizeof(arr) in function: %zun", sizeof(arr)); // 输出: 4 或 8
// 无法经由 sizeof 获取数组元素个数
}
int main() {
int arr[10];
func(arr);
return 0;
}
```
解决方案：
1. 显式传递数组长度。
2. 使用模板（C++）或宏封装。
3. 使用 `std::array`（C++）而非原始数组。
总结与最佳实践
1. `sizeof` 是编译时操作：结果在编译期间确定，不依赖运行时值。
2. 区分指针与数组：`sizeof(数组名)` 返回总字节数，`sizeof(指针)` 返回指针大小。
3. 注意内存对齐：结构体大小受对齐规则影响，合理排序成员可优化空间。
4. 平台依赖性：`long`、指针等类型大小随平台转变，编写跨平台代码时应利用固定宽度类型（如 `int32_t`、`uintptr_t`）。
5. 避免在函数内对数组使用 `sizeof`：数组已退化为指针，结果无意义。
通过理解 `sizeof` 的底层机制，你可以更精准地管理内存，避免缓冲区溢出和内存浪费，写出更高效、更健壮的 C/C++ 代码。
