编译器隐式生成的默认构造函数为何存在非空实现？

• C++标准的强制要求：当子类未显式定义默认构造函数，且父类没有可访问的无参默认构造函数时，编译器生成的子类默认构造函数必须调用父类的某个可用构造函数。这是C++标准的规定，并非IBM文档描述的“仅有空函数体”的场景。

• 父类构造的依赖逻辑：StackWalker类没有自定义无参默认构造函数，但存在带参的用户自定义构造函数。编译器为StackWalkerToConsole生成默认构造函数时，必须调用这个带参构造函数，而该构造函数的参数需要通过GetCurrentProcess()、GetCurrentProcessId()这两个WinAPI获取，因此这些API调用是隐式构造函数初始化逻辑的一部分，用来给父类构造传递必要参数。

• IBM文档的适用范围限制：IBM文档中“隐式默认构造函数仅有空函数体”的结论，仅适用于类无基类、且所有非静态数据成员都支持默认初始化的场景。一旦涉及基类构造调用、或成员需要显式初始化，隐式构造函数就会包含对应的初始化代码，不再是空函数体。

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