问继承默认构造函数，是一个矛盾吗？

EN

“基类构造函数不被继承”意味着在类Base中定义的任何构造函数对于派生类Derived都不可用，除非在Derived中重新定义了它。这对于默认构造函数也是有效的。但是，“派生类自动具有默认构造函数”表示编译器将自动生成默认构造函数，就像对每个类一样。因此编译器将在派生类中重新定义默认构造函数；它仍未被继承。

唯一的问题是，“我们必须明确定义派生类所需的任何构造函数”，如果不存在此语句应保持的上下文，则似乎是错误的。在派生类中肯定有未明确定义的构造函数。这可以很容易地通过定义一个没有任何显式构造函数的派生类来显示：

struct Base {
    Base () { std::cout << "in default constructor of Base; not inherited, but still called." << std::endl; };
};

struct Derived : public Base {
   // no explicitly defined constructor...
};

int main() {
    Derived d;
}

输出：

in default constructor of Base; not inherited, but still called.

因此，我倾向于说，您引用的“.我们必须明确定义派生类所需的任何构造函数”的语句要么不精确，要么在完整上下文中显示，要么错误。

struct s {
    s() : s_str("my string") {}; // default constructor
    std::string s_str;
};

struct d : s {
    std::string d_str;
};

如果d没有任何需要构造的成员，默认构造函数将简单地使用s::s()构造s，该s::s()表面上看起来类似于继承(并且可以以这种方式实现)。但是，当您将数据成员添加到派生类时，这是行不通的。

s的默认构造函数使用文本"my string"构造s_str。

如果s::s()是在d中继承的，它就不会知道d_str，所以也不会构造它。所以它不是遗传的。

相反，编译器为d生成一个默认构造函数，该构造函数使用std::string的默认构造函数构造d_str，并使用s::s()构造s基。