为何三元表达式生成的汇编代码比等效if语句更多？

在使用-Os优化选项的最新gcc、clang编译器下，逻辑等效的三元表达式函数和if语句函数生成的汇编代码存在差异：三元表达式版本比if语句版本多一条指令。即便*dest = *dest无副作用且未标记volatile，两款编译器都没有将其优化为if语句的等效汇编，原因可以从以下几点分析：

代码与汇编对比 #

三元表达式函数代码 #

void foo(int *const restrict dest, const int *const restrict source) {
    *dest = (*source != -1) ? *source : *dest;
}

生成的汇编 #

foo:
        mov     eax, dword ptr [rsi]
        cmp     eax, -1
        jne     .LBB0_2
        mov     eax, dword ptr [rdi]
.LBB0_2:
        mov     dword ptr [rdi], eax
        ret

等效if语句函数代码 #

void foo(int *const restrict dest, const int *const restrict source) {
    if (*source != -1) {
        *dest = *source;
    }
}

生成的汇编 #

foo:
        mov     eax, dword ptr [rsi]
        cmp     eax, -1
        je      .LBB0_2
        mov     dword ptr [rdi], eax
.LBB0_2:
        ret

未触发优化的原因 #

• 语义结构差异：三元表达式的语义是「无论条件是否成立，必须对*dest执行赋值操作」，而if语句的语义是「仅当条件成立时才执行赋值」。编译器的优化规则基于代码的语法结构和底层语义生成中间代码，不会主动将强制赋值的结构重构为条件赋值，除非有专门的优化规则覆盖这种特定场景。
• 优化级别优先级：-Os优化的核心目标是最小化代码体积。虽然*dest = *dest是无副作用操作，但将三元表达式重构为if语句需要额外的数据流分析——判断赋值的源和目标为同一地址且无volatile标记。这种跨结构的等价转换对代码体积的影响极小，编译器会优先处理更能显著缩减代码的优化，不会消耗资源做这种极致转换。
• 汇编生成逻辑：两种结构对应的汇编生成路径是独立的。三元表达式会生成「统一赋值」的汇编模板，而if语句生成「条件赋值」模板。在-Os级别下，编译器不会触发激进的结构重构优化，只有在更高优化级别（如-O2）下，才可能通过数据流分析将无意义的赋值操作消除。

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