传入const结构体的函数为何未被编译器优化？如何实现更优编译？

问题代码 #

#include <stdio.h>

typedef struct {
    bool some_var;
} model_t;

const model_t model = {
    true
};

void bla(const model_t *m) {
    if (m->some_var) {
        printf("Some var is true!\n");
    }
    else {
        printf("Some var is false!\n");
    }
}

int main() {
    bla(&model);
}

用户疑问 #

我认为编译器已具备消除bla()函数中else分支的全部信息：唯一调用该函数的路径来自main，且传入的是const model_t类型，理应识别到else分支不会被执行。但在GCC 12.2中，即使开启-O3或-Os优化，else分支对应的代码仍被链接进来；仅当为函数添加inline关键字后，该分支才会被消除。请问我忽略了什么？有没有方法让编译器执行更智能的优化？该现象在C和C++中均会出现。

解答 #

你忽略的核心点 #

全局函数的可见性边界是关键。默认情况下bla()是全局可见的（无static修饰），编译器必须假设它可能被当前编译单元之外的其他代码调用——哪怕当前代码里只有main调用了它，编译器无法预知未来是否会有外部文件链接这个函数并传入不同参数。因此它不能安全删除else分支，必须保留完整的函数实现。

可行的优化方案 #

• 用static修饰函数：将void bla(const model_t *m)改为static void bla(const model_t *m)，明确该函数仅在当前编译单元可见，不会被外部调用。此时开启-O3或-Os，编译器能确定所有调用都传入&model，进而消除else分支。
• 启用链接时优化（LTO）：添加编译选项-flto（需配合-O3等优化级别），让编译器在链接阶段整合所有编译单元的信息。此时即使bla()是全局可见的，链接器也能发现它没有被外部调用，从而执行跨单元的死代码消除。
• 保留inline关键字：你已经发现的这个方法有效，本质是inline后编译器会将函数体直接展开到调用点，此时能直接看到传入的是常量参数，进而优化掉无用分支。

补充说明 #

C和C++中此行为一致，因为两者都遵循编译单元的可见性规则：全局函数默认对外可见，编译器无法提前排除外部调用的可能性，除非通过static、LTO或inline来打破这个假设。

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