为何相乘两个std::complex<double>时会调用__muldc3函数？

嘿，我完全理解你的困惑——本来以为开启-O2优化后，std::complex<double>的*=操作会被直接内联到你的mult函数里，但看到汇编里居然有call指令调用std::complex<double>::operator*=，确实有点意外对吧？

先把你的代码和生成的汇编用代码块整理出来，方便梳理：

你的C++代码 #

#include <complex>
void mult(std::complex<double> &a, std::complex<double> &b){
    a*=b;
}

GCC -O2生成的汇编（补全常见完整片段） #

mult(std::complex<double>&, std::complex<double>&):
        pushq   %rbx
        movsd   8(%rdi), %xmm3
        movsd   (%rdi), %xmm2
        movq    %rdi, %rbx
        movsd   8(%rsi), %xmm1
        movsd   (%rsi), %xmm0
        call    std::complex<double>::operator*=(std::complex<double> const&)
        popq    %rbx
        ret

接下来拆解一下为什么会出现这种情况：

• 编译器的内联是权衡后的决策：GCC的-O2确实会做内联优化，但它会平衡代码体积和执行效率。std::complex的operator*=背后可能包含不少细节逻辑——比如处理NaN、无穷大等特殊数值的分支判断，这些代码如果内联进去，会让mult函数的体积明显变大。编译器可能认为保留函数调用更划算，尤其是当mult本身可能被多次调用时，能避免重复生成冗余代码。
• 单独编译函数的限制：如果你只是单独编译这个mult函数（没有实际调用它的上下文），编译器无法预知这个函数的使用场景，所以不会做过度的内联优化。要是把mult放到有实际调用的代码里（比如在main函数里调用它），编译器在-O2甚至-O3下很可能会把整个乘法逻辑直接展开到调用处。
• 试试更高优化级别或全程序优化：换成-O3的话，编译器会更激进地做内联；或者加上-flto（链接时优化），让编译器在链接阶段看到整个程序的调用关系，这样更有可能把复数乘法的逻辑内联进去。
• 标准库实现的差异：不同版本的GCC标准库对std::complex的实现可能不同，有些版本的operator*=可能被标记为inline，但有些可能没有，这也会影响编译器的内联决策。你可以打开本地的<complex>头文件看看具体实现——如果它是模板内联函数，那编译器没内联大概率是基于代码体积的权衡。

举个实际的例子，如果你把代码改成带调用上下文的版本：

#include <complex>
void mult(std::complex<double> &a, std::complex<double> &b){
    a*=b;
}

int main() {
    std::complex<double> x{1.0, 2.0}, y{3.0, 4.0};
    mult(x, y);
    return 0;
}

用GCC -O2编译后，你会发现main函数里直接展开了复数乘法的指令，完全没有函数调用——因为编译器能看到整个调用链，判断内联是更划算的选择。

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