C++析构函数执行两次？GCC编译输出0而非1的原因排查

这不是编译器Bug，本质是C++标准中返回值优化（RVO/NRVO）的可选性，导致不同编译器的优化策略差异引发的行为区别。

核心原因拆解 #

1. Counter类的行为细节 #

Counter类的构造函数会递增全局counter，析构函数递减，但编译器生成的默认拷贝/移动构造函数不会修改counter——因为用户未自定义这些函数，默认版本仅复制成员变量（此类无成员，故无操作）。

2. 带if分支的执行流程差异 #

• Clang的处理逻辑：触发了命名返回值优化（NRVO），直接在main函数的c内存地址上构造test()里的局部对象c。全程仅调用1次构造函数（counter变为1），没有局部对象的析构，也无拷贝/移动操作，最终输出1。
• GCC的处理逻辑：未触发NRVO，执行常规流程：
  • 在if块内构造局部对象c → counter = 1；
  • 返回时，通过默认拷贝构造函数将c复制到返回值临时对象（counter不变）；
  • 局部对象c离开作用域，析构函数被调用 → counter = 0；
  • main中的c通过拷贝构造从临时对象初始化（counter保持0）；
  • 最终输出counter的值为0。

3. 移除if分支后的一致行为 #

当移除if语句后，函数返回路径单一，GCC和Clang都会触发NRVO：直接在main的c位置构造对象，全程仅1次构造、无额外析构，counter保持1，输出结果一致。

结论 #

这不属于编译器Bug，因为C++标准仅允许编译器进行RVO/NRVO优化，而非强制要求。不同编译器（或同一编译器的不同版本）的优化策略差异，导致了这种行为区别。

若要让各编译器行为一致，可显式定义拷贝/移动构造函数并同步修改counter，或通过编译参数（如GCC的-fno-elide-constructors）关闭返回值优化，但更合理的方式是依赖标准明确的对象生命周期规则，而非依赖优化行为。

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