移动std::shared_ptr的开销：MSVC与Clang/GCC编译代码差异解析

差异产生的原因 #

• 异常安全实现策略差异：MSVC采用SEH（结构化异常处理）模型，依托系统层面机制就能简化临时对象的异常清理代码生成；而Clang/GCC默认严格遵循C++标准的异常安全要求，会生成显式的异常清理框架（如try块），确保std::shared_ptr临时对象在Func2抛出异常时被正确销毁——哪怕从逻辑上看该临时对象移动后引用计数已归零，编译器仍会保守保留这些代码以符合标准。
• 优化优先级不同：MSVC在默认或优化模式下，对这种右值传递场景做了更激进的优化，直接省略不必要的异常清理代码；而Clang/GCC默认优化等级下会优先保证标准合规性，而非极致的代码精简。

让Clang/GCC生成更短代码的方法 #

• 禁用异常支持：使用编译选项-fno-exceptions，编译器会完全移除所有异常处理相关代码，包括std::shared_ptr的异常清理逻辑，代码体积将和MSVC版本相当。注意这要求整个代码体系不依赖异常机制。
• 启用高等级优化：添加-O2或-O3优化选项，编译器会在保证正确性的前提下，分析并消除冗余的异常清理代码。部分版本的Clang/GCC在O2及以上优化等级中，会识别到该场景下临时对象的异常清理是不必要的，从而自动精简代码。
• 调整异常元数据选项：使用-fno-unwind-tables或-fno-asynchronous-unwind-tables（适用于GCC），这些选项会减少异常处理所需的unwind表生成，缩小代码体积，同时保留基本的异常支持。

相关代码片段 #

#include <memory>

std::shared_ptr<double> Func1();
void Func2 (std::shared_ptr<double> s);

void Func3()
{
  Func2(Func1());
}

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