C11/C17标准是否允许编译器覆盖复合字面量内存及栈内存疑问

你的评估基本准确 #

你对传值和传指针场景下复合字面量内存使用的分析，在多数实际编译场景中是成立的，核心差异在于编译器对对象生命周期和后续引用的推断能力：

传值场景的优化空间 #

当复合字面量以值传递给函数时，这个临时对象的使命在函数调用完成后就结束了——后续代码没有任何方式能访问它。编译器完全可以通过复用同一块栈内存来实现，就像你改写的代码那样，只分配一个struct st的空间，反复赋值后传递给函数。这种优化完全符合程序的语义，不会产生任何可见行为差异。

传指针场景的限制 #

传指针时，复合字面量的生命周期在标准中被定义为所在的块作用域（比如main函数的整个执行周期）。如果编译器能确定foo不会保存传入的指针、也不会在函数返回后通过该指针访问内存（比如foo是当前编译单元内的函数，编译器能直接分析其实现），那么依然可以复用内存。但如果foo是外部链接的函数（比如定义在其他文件），编译器无法确认foo的行为，就必须为每个复合字面量分配独立的栈空间，避免后续覆盖导致未定义行为。因此你的评估是最坏情况下的合理结论，实际优化程度取决于编译器的分析能力。

C11/C17标准对内存复用的规定 #

C标准遵循**“as-if”规则**：只要程序的可观察行为（输出、副作用等）与标准规定一致，编译器可以进行任何优化，包括复用技术上仍在作用域内的内存。

针对复合字面量的生命周期：

• 块作用域内的复合字面量，生命周期到块结束为止；
• 但作为函数参数传递的复合字面量（传值），其实际需要的生命周期仅到函数调用完成即可——因为函数接收的是副本，原临时对象后续无任何引用，编译器可以提前结束其生命周期并复用内存，这完全符合标准要求。

对于传指针的情况，只要编译器能证明没有任何后续代码会访问该复合字面量的内存，就可以安全复用内存。标准并未禁止这种优化，只是要求优化不能改变程序的可见行为。

循环场景的内存开销 #

你给出的循环代码不会迫使编译器分配未知大小的内存：

for(int c = 0; c < SOME_RUNTIME_VALUE; ++c)
    printf("%d\n", foo((struct st){.a = c/4, .b = c%4}));

• 传值场景：每次循环的复合字面量都是临时对象，函数调用后即无引用，编译器会在栈上固定分配一个struct st的空间，每次循环覆盖其值，栈内存开销固定。
• 传指针场景：即使编译器无法确定foo的行为，由于循环是顺序执行的，上一次迭代的复合字面量在进入下一次迭代时已经没有被访问的可能（指针未被保存），编译器依然可以复用同一块栈内存，不会累积分配空间——栈的使用是线性的，每次循环复用同一位置即可。

传值与传指针的栈内存差异 #

• 传值：函数接收结构体副本，编译器通常可以直接在函数形参的位置构造复合字面量，省去临时对象的开销，栈开销一般为一个结构体的大小（甚至可以通过寄存器传递，进一步降低开销）。
• 传指针：栈上需要分配结构体的空间供指针指向，再传递指针（通常是寄存器或栈上的一个指针大小）。若编译器能复用内存，栈开销与传值场景相当；只有在极端情况下（编译器无法确认指针不会被保存），才会为每个复合字面量分配独立空间，但这种情况在实际编译中极少出现。

内容的提问来源于stack exchange，提问作者Willis Hershey