为什么需要在派生类的初始化列表中调用基类的构造函数？

Question

在 C++ 中，假设我有一个带有以下构造函数的类 Person -

Person::Person(const string& nm, const string& id)
{
   name = nm;
   idNum = id; 
}

现在，我还有一个名为 Student 的 Person 子类，带有额外的数据成员<强>专业和毕业年份。 Student类的构造函数是否需要调用初始化列表中基类Person的构造函数，如果需要，为什么？

Student::Student(const string& nm, const string& id, const string& maj, int year)
: Person(nm, id){
   major =maj;
   gradYear =year;
}

我不能像这样定义 Student 的构造函数 -

Student::Student(const string& nm, const string& id, const string& maj, int year)
{
   Person(nm, id);
   major =maj;
   gradYear =year;
}

Answer 1

Student类的构造函数是否需要调用初始化列表中基类Person的构造函数，如果需要，为什么？

基类构造函数始终在派生类构造函数之前调用。如果不在初始化列表中显式调用它们，则隐式调用默认构造函数 em>。如果基类没有默认构造函数，则这不起作用，因此您必须显式指定要调用的基类构造函数。

有必要在派生类的构造函数之前调用基类构造函数，因为您可以从派生类的构造函数访问基类子对象。您可以调用它们的公共和受保护的成员函数，为了成功，它们的数据成员当然必须被初始化 - 这正是基类构造函数所做的。

---

我不能这样定义Student的构造函数吗 -

Student::Student(const string& nm, const string& id, const string& maj, intyear)
{
   人（nm，id）；
   专业 = 专业；
   毕业年份=年份；
}

不，你不能。 在执行派生类构造函数的主体之前，从初始化列表中调用基类构造函数。这就是语言的定义方式。
您的语法创建了一个未命名的临时对象，该临时对象会立即被丢弃。

---

请注意，它也被认为是良好的风格（对于某些类型，也是技术上的必要性）初始化初始化列表中的数据成员。

这样做的一个很好的理由是，在 C++ 中，对象具有值语义，它们不是引用。也就是说，变量引用实际对象，而不是对对象的引用，并且变量之间的赋值会更改实际对象的内容，而不是使它们引用其他对象。

考虑这种类型：

class Student {
  public:
    Student(const std::string& n)
    {
      name = n; // this is bad!
    }
    // ...
  private:
    std::string name;
    // ...
};

该赋值 name = n 并不分配对字符串的引用，它实际上分配字符串，也就是说，它调用赋值运算符，然后复制字符！为了调用 names 的赋值运算符，name 当然必须正确构造。因此，编译器会默默地插入对构造函数的调用，以便构造函数看起来像这样：

Student(const std::string& n)
  : name() // therefore 
{
  name = n; // this is bad!
}

现在，这将首先创建一个空字符串，只是为了立即在下一个语句中覆盖它。那太愚蠢了。因此，您最好在初始化列表中初始化所有数据成员（以及基类）：

Student(const std::string& n)
  : name(n) // good!
{
}

Answer 2

因为你不能调用构造函数。构造初始化列表在几个方面都很特殊，其中之一就是为您提供访问基本构造函数的方法。另外，您应该始终初始化初始化列表中的字段。

Answer 3

Student类的构造函数是否需要调用初始化列表中基类Person的构造函数，如果需要，为什么？

是否仅当基类无法默认构造时才需要？构造函数初始化列表是唯一可以构造基类的地方。即使你可以不这样做，为什么呢？ Student 是一个 Person，因此只有构建 Student 是一个包含构建 Person 的操作才有意义>。

我不能像这样定义 Student 的构造函数 -

学生::学生(const string& nm, const string& id, const string& maj, intyear)
{
人（nm，id）；
专业 = 专业；
毕业年份=年份；
}

你尝试过吗？不，你不能像那样调用基本构造函数。如果有的话，那就是构造一个临时未使用的 Person，而不是基类。

Answer 4

Student 类的构造函数是否需要调用初始化列表中基类 Person 的构造函数，如果需要，为什么？

简而言之，是的。派生类构造函数将始终尝试首先调用基类构造函数。如果您没有明确告诉它调用您重写的构造函数，它将尝试调用默认构造函数（没有参数）。在你的情况下，这将失败，因为你还没有定义它。

我不能像这样定义 Student 的构造函数吗......

不，因为你不能在这样的代码中调用构造函数。此外，即使你可以，你的代码也会失败，因为编译器将出于上述原因寻找默认构造函数。如果你真的想（我不明白为什么你会这样做）你可以定义一个默认构造函数 Person::Person()，然后这样：

Student::Student(const string& nm, const string& id, const string& maj, int year) 
{    
    name = nm;     
    idNum = id;
    major =maj;    
    gradYear =year; 
} 

Answer 5

Student类的构造函数是否需要调用初始化列表中基类Person的构造函数，如果需要，为什么？

基类的构造函数需要在派生类的构造函数之前调用类，因此您需要在派生类的初始化列表中调用它，否则编译器将在您进入派生类主体之前调用基类的默认构造函数。

我不能像这样定义 Student 的构造函数 -

不，你不能。

第二种方法将创建一个新的临时本地对象 Person ，而不是为正在创建的对象调用基类构造函数。