问为什么基类析构函数必须只有在声明了自定义构造函数时才能访问？

EN

我怀疑这可能是特定于编译器的行为。这是我的理论：

因为(在本例中)隐式定义的T()是一个微不足道的构造函数(如标准的12.1(5)中所定义的)，编译器甚至不会尝试为T()生成主体。因为没有ctor body，所以没有可能在“构造”期间生成的异常(实际上没有任何异常)，所以不需要生成dtor调用，也不需要生成dtor body，只需要发现基类的dtor是私有的。

但是，一旦T()变得非常重要(即使它仍然是隐式定义的)，就必须生成一个ctor主体，然后您就会得到错误。像向具有用户定义构造函数的类T添加一个成员这样简单的事情就会使隐式定义的T()变得非常重要。

另一个相关的问题是，new T()不会生成dtor调用(因为您在任何地方都没有相应的delete )。相反，如果我只是在代码中用T dummy替换new T()，那么我会从gcc得到以下结果，这表明它现在正在对dtor可访问性进行完整的检查(由于必须生成dtor调用)：

test.cpp: In destructor 'T::~T()':
test.cpp:3: error: 'indestructible_base::~indestructible_base()' is private
test.cpp:7: error: within this context
test.cpp: In function 'int main()':
test.cpp:12: note: synthesized method 'T::~T()' first required here
test.cpp:12: warning: unused variable 'dummy'

好吧，如果自动生成的构造函数调用一个可能抛出的构造函数，那么it will give the same access error。

#include <string>

class indestructible_base
{
  ~indestructible_base();
  std::string s; // <------ this may throw
};

class T : indestructible_base
{
public:
  //T() {}
};

int main(void) { new T(); }

所以我猜exceptions就是答案。在ANSI ISO IEC 14882中，唯一的noexcept(true)字符串构造函数是move构造函数。我认为this应该编译，但有一个人说不可以。