基类含protected析构函数时GCC/Clang报错而MSVC不？编译器正确性及差异原因解析

咱们先直接给出结论：GCC和Clang的行为完全符合C++标准要求，而Visual Studio 2019在这里存在一个编译器bug。

为什么定义base b(41)会触发报错？ #

当你在全局作用域（或者任何非base类成员/友元、非派生类作用域的地方）定义base类型的变量时，这个变量在生命周期结束时必须调用析构函数完成清理。

根据C++标准，protected成员的访问权限规则是：

• 仅能被类自身的成员函数、友元访问；
• 仅能在派生类的成员函数/友元中，访问派生类对象的基类部分的protected成员。

全局作用域不属于上述任何合法访问场景，所以尝试调用base的protected析构函数完全不合法，GCC和Clang的报错是正确的合规行为。

为什么定义derived d可以正常编译？ #

derived是base的public派生类且被标记为final。由于你没有手动定义derived的析构函数，编译器会自动为它生成一个public的默认析构函数。

这个自动生成的derived析构函数会调用基类base的析构函数——这是合法的：因为derived作为base的派生类，它的成员函数（包括自动生成的析构函数）有权访问基类的protected成员。整个变量d的生命周期管理流程完全符合标准，所以三款编译器都能正常编译通过。

关于MSVC的Bug分析 #

你提到的现象非常关键：当base的析构函数是= default的protected析构函数时，MSVC错误地允许了base类型变量的定义；但当你把析构函数改成手动实现的~base() {}时，MSVC又正确报错了。

根据C++标准，默认生成的析构函数和手动实现的析构函数在访问权限检查规则上没有任何区别，MSVC的这种不一致行为明显违反了标准，这确实是一个编译器bug。

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