C语言循环内使用复合字面量：GCC是否重复创建销毁对象？

首先看你提供的第一种代码实现：

typedef struct my_struct { int a; int b; int c; } my_struct;

void some_function(my_struct *value)
{
    // do something
}

int main(void)
{
    for (;;) {
        some_function(&(my_struct){1, 2, 3});
    }

    return 0;
}

当传递的复合字面量所有成员都是固定常量值时，只要开启GCC的常规优化选项（比如-O、-O2等），编译器会自动将结构体的创建逻辑外提到循环外部，最终生成的代码等价于你手写的第二种优化版本：

typedef struct my_struct { int a; int b; int c; } my_struct;

void some_function(my_struct *value)
{
    // do something
}

int main(void)
{
    my_struct once_and_for_all = {1, 2, 3};

    for (;;) {
        some_function(&once_and_for_all);
    }

    return 0;
}

核心原因： #

• 复合字面量(my_struct){1,2,3}的所有成员都是编译期可确定的常量，GCC能识别出该结构体的值在循环迭代过程中不会发生变化。
• 优化器会执行循环不变代码外提优化，将循环内不会改变的对象初始化操作移到循环体外，彻底避免重复的内存分配与初始化开销。

特殊场景说明： #

如果关闭所有优化（使用-O0选项，仅用于调试场景），GCC可能会在每次循环迭代时重新创建并销毁该结构体，但这种场景下性能并非核心需求，代码行为贴近源码写法更便于调试。

因此你完全可以放心使用第一种简洁的语法，在常规优化级别下，其性能表现与第二种手写优化的代码完全一致。

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