sizeof不会执行括号内表达式，仅依据结果类型在编译期计算大小；故a++、func()、*ptr（空指针）均无实际运行效果，适用于模板元编程与static_assert。
sizeof 不会执行括号里的表达式
这是 sizeof 最关键的行为特征：它只关心表达式的**结果类型**，编译器在编译期就完成计算，运行时连表达式里的操作符都不会触发。
常见错误现象：
- 写
sizeof(a++)以为a会自增 → 实际上a值完全不变 - 写
sizeof(func())担心函数被调用 → 函数体根本不会执行，只看返回类型 - 写
sizeof(*ptr)且ptr是空指针 → 不崩溃，因为没解引用，只查ptr所指类型的大小
使用场景中需注意：
立即学习“C++免费学习笔记（深入）”；
- 可用于带副作用的表达式（如
i++、func()）而无需担心副作用发生 - 适合在模板元编程或
static_assert中做编译期判断，比如static_assert(sizeof(T) - 不能依赖它来“试探”运行时行为（例如判断指针是否为空、对象是否已构造）
为什么 sizeof(a++) 返回的是 int 大小，但 a 不变？
sizeof 的语义是“取这个表达式若被求值时的类型大小”，而非“先求值再取大小”。所以 a++ 的类型是 int（假设 a 是 int），sizeof(a++) 等价于 sizeof(int)，编译器连 a++ 的汇编指令都不会生成。
示例验证：
int a = 10; std::cout << sizeof(a++) << '\n'; // 输出 4（64位系统下 int 通常为 4 字节） std::cout << a << '\n'; // 输出 10，不是 11
哪些表达式在 sizeof 里“看似危险”却安全？
这些写法合法且无运行时风险，因为 sizeof 完全跳过执行：
-
sizeof(*((int*)nullptr))→ 不段错误，只查int大小 -
sizeof(arr[1000])（arr是长度为 10 的数组）→ 不越界访问，只查arr元素类型 -
sizeof(virtual_func_call())→ 不调用虚函数，只看返回类型 -
sizeof(delete ptr)→delete不执行，sizeof返回void类型大小（即 1，因sizeof(void)非法，但sizeof作用于void表达式是特例，实际编译报错；正确说法是：该表达式本身不合法，sizeof不能用于void类型，但可作用于返回void的函数调用——此时结果为 1）
容易被忽略的兼容性陷阱
虽然 sizeof 行为稳定，但结果受以下因素影响，容易误判：
-
sizeof(std::vector<T>)始终固定（通常 24 或 32 字节），和容器内元素数量无关 -
sizeof作用于数组形参时退化为指针 →void f(int a[10]) { sizeof(a); }返回指针大小，不是 40 - 结构体大小含填充字节，
sizeof(S)≠ 各成员sizeof之和 -
#pragma pack改变对齐方式后，同一结构体的sizeof结果可能不同
真正难的不是记住“不执行”，而是意识到：你写的那个表达式，哪怕语法上能通过编译，sizeof 也只当它是一张类型标签——连变量是不是已初始化、指针是不是有效，它一概不管。
