构造函数缺失时析构函数会被编译器省略吗？MSVC 2022技术问询

复现代码 #

#include <iostream>

struct A {
    static void message()
    {
        std::cout << "A::message()\n";
    }

    struct B {
        B() {}
        ~B()
        {
            A::message();
        }
    };

    static inline B b;
};
 
int main()
{
}

现象 #

• 运行上述代码，A::message()的消息会正常输出。
• 移除B的自定义构造函数B()后，析构函数~B()被编译器省略，消息不再输出。
• 给结构体B添加哑元成员int dummy;后，消息又会重新输出。

问题解答 #

1. 当B无自定义构造函数且无成员时，编译器确实会将其视为空类并触发激进优化，跳过构造和析构操作。你的判断是正确的——空类的静态内联对象如果没有被显式使用，编译器可能认为它的存在不会产生可观测的程序行为，进而直接省略相关操作，哪怕析构函数里有逻辑。

2. 这种行为属于编译器的实现优化，C标准允许编译器在不改变程序可观测行为的前提下做优化，但这里你的析构函数调用了std::cout，属于明确的可观测行为，理论上不该被优化。MSVC的这种特殊逻辑属于其自身的优化策略，是针对空对象场景的特殊处理，并非C标准强制要求，在微软的编译器文档中可找到相关说明。

3. 要确保代码在所有编译器下正确运行，两种方式都可行，但添加哑元成员的兼容性更好：

   • 仅定义自定义构造函数B(){}在MSVC下可以解决问题，但不同编译器的优化策略可能存在差异，无法保证全覆盖。
   • 添加哑元成员让B成为非空类，此时编译器必须为对象分配空间并执行构造、析构操作，不会跳过相关逻辑，兼容性更强。
     另外也可以通过在main中显式使用A::b（比如取地址）来阻止优化，但这种方式不够直观，不如前两种方案可靠。

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