为什么执行sizeof(i++)后变量i的值没有自增？

核心原因是 sizeof是编译期运算符，除操作数为可变长度数组（VLA）的特殊场景外，不会对括号内的表达式做运行时求值。

• 编译器处理常规sizeof表达式时，仅需要在编译阶段推导括号内表达式的返回类型，直接计算该类型对应的内存占用字节数即可，不会为括号内的表达式生成任何可执行的机器指令，表达式附带的所有副作用（比如这里的i自增、函数调用的输入输出等）都不会实际触发。
• 你给出的代码中，编译器处理sizeof(i++)时，只需要识别i++的返回值类型是int，就能直接得到对应平台下int的大小（多数通用平台为4字节），完全不会生成执行i自增的对应指令，所以i始终保持初始赋值的1，最终打印结果自然为1。

你可以通过带函数副作用的代码直观验证这个特性：

#include <iostream>
int test_effect() {
    std::cout << "副作用触发" << std::endl;
    return 0;
}
int main() {
    int i = 1;
    sizeof(i++);
    sizeof(test_effect());
    std::cout << i << std::endl; 
    // 最终仅输出1，不会打印"副作用触发"，因为两个sizeof括号内的表达式都没有被实际执行
}

唯一的例外场景：如果sizeof的操作数是C99引入的可变长度数组，那么括号内用于计算数组长度的表达式会在运行期求值，对应副作用会生效，例如int n=3; sizeof(int[n++]);执行后n的值会变为4，这是C/C++标准明确规定的特殊处理逻辑。

内容的提问来源于stack exchange，提问作者Yongqi Z