为何按值接收std::unique_ptr的函数在GCC/Clang中不调用析构函数？

先看问题中的C++代码：

#include <memory>
int square(std::unique_ptr<int> num) {
    return *num * *num;
}

GCC和Clang在-O2优化等级下生成的汇编代码如下：

square(std::unique_ptr<int, std::default_delete<int> >):
        mov     rax, QWORD PTR [rdi]
        mov     eax, DWORD PTR [rax]
        imul    eax, eax
        ret

你疑惑的点在于这段汇编里看不到unique_ptr析构函数的调用，但MSVC会正常生成析构调用，且排除了小对象优化的可能，以下是具体原因：

• GCC和Clang做了激进的所有权语义优化：因为unique_ptr是按值传递给函数，调用方必须通过移动语义转移所有权给形参，而函数内部仅读取指针指向的值，完全没有修改unique_ptr的状态（比如没有调用reset、release等会改变指针所有权的方法）。
• 编译器能证明：形参unique_ptr的析构操作（本质是调用delete释放指针），可以被安全地合并到调用方的逻辑中，或者直接将整个unique_ptr的传递逻辑退化为原始指针的传递——相当于调用方直接传指针给函数，函数使用后由调用方负责释放，这样就省去了unique_ptr构造、析构的开销，所以函数内部不需要生成析构相关的汇编代码。
• MSVC的优化器在这个场景下没有采用这种激进优化，因此会保留unique_ptr析构函数的调用代码，符合你最初的预期。

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