编译器何时为派生类生成默认构造函数

Question

这是我的观察：

编译器不会为基类定义了构造函数的派生类生成默认构造函数。

// example
class ClassCBase
{
public:
    ClassCBase(int i) {}
};

class ClassC : public ClassCBase
{

};

int main()
{
  ClassC c; // error C2512: 'ClassC' : 
                // no appropriate default constructor available
}

Q1>我理解正确吗？

Q2>是否存在编译器不会为派生类生成默认构造函数的其他情况？

Answer 1

如果超类没有默认构造函数，编译器不会生成默认构造函数。换句话说，由于超类构造函数需要一个参数，并且不能期望编译器知道合适的默认值是什么，编译器将无法生成有用的默认构造函数。但是，如果您向ClassCBase 添加了一个无参数构造函数，ClassC 将可以按原样使用。

Answer 2

如果基类没有默认构造函数，编译器不会为派生类定义隐式默认构造函数（不仅仅是“声明”，定义是这里的关键）。 （任何可以不带参数调用的构造函数都是默认构造函数，无论实际签名如何，只要提供了默认参数。）

所以我们可以总结出 any 类的要求，以拥有一个格式良好的隐式定义的构造函数：

• 没有 const 成员。
• 没有参考成员。
• 所有基类都必须具有可访问的默认构造函数。
• 所有非静态成员都必须具有可访问的默认构造函数。