从派生类调用基类构造函数的C++规则是什么?

例如,我知道在Java中,您必须作为子类构造函数的第一行执行此操作(如果不这样做,则假定对无参数超级构造函数的隐式调用-如果缺少,则会给您一个编译错误)。


当前回答

CDerived::CDerived()
: CBase(...), iCount(0)  //this is the initialisation list. You can initialise member variables here too. (e.g. iCount := 0)
    {
    //construct body
    }

其他回答

当一个类从多个类派生时,没有人提到构造函数调用的顺序。该序列如派生类时所述。

如果在基构造函数中有默认参数,则将自动调用基类。

using namespace std;

class Base
{
    public:
    Base(int a=1) : _a(a) {}

    protected:
    int _a;
};

class Derived : public Base
{
  public:
  Derived() {}

  void printit() { cout << _a << endl; }
};

int main()
{
   Derived d;
   d.printit();
   return 0;
}

输出为:1

每个人都提到通过初始化列表调用构造函数,但没有人说可以从派生成员的构造函数体显式调用父类的构造函数。例如,请参阅从子类的构造函数体调用基类的构造函数的问题。重点是,如果在派生类的主体中使用对父类或超级类构造函数的显式调用,这实际上只是创建父类的实例,而不是在派生对象上调用父类构造函数。在派生类对象上调用父类或超级类构造函数的唯一方法是通过初始化列表,而不是在派生类构造函数体中。因此,也许它不应该被称为“超类构造函数调用”。我把这个答案放在这里是因为有人可能会(像我一样)感到困惑。

如果基类构造函数没有参数,它们将自动为您调用。如果要使用参数调用超类构造函数,则必须使用子类的构造函数初始化列表。与Java不同,C++支持多重继承(无论好坏),因此基类必须按名称引用,而不是“super()”。

class SuperClass
{
    public:

        SuperClass(int foo)
        {
            // do something with foo
        }
};

class SubClass : public SuperClass
{
    public:

        SubClass(int foo, int bar)
        : SuperClass(foo)    // Call the superclass constructor in the subclass' initialization list.
        {
            // do something with bar
        }
};

有关构造函数初始化列表的更多信息,请点击此处。

在C++中,有一个构造函数初始化列表的概念,您可以也应该在这里调用基类的构造函数,也应该在那里初始化数据成员。初始化列表位于构造函数签名之后,冒号之后,构造函数主体之前。假设我们有a级:


class A : public B
{
public:
  A(int a, int b, int c);
private:
  int b_, c_;
};

然后,假设B有一个接受int的构造函数,a的构造函数可能如下所示:


A::A(int a, int b, int c) 
  : B(a), b_(b), c_(c) // initialization list
{
  // do something
}

如您所见,基类的构造函数在初始化列表中被调用。顺便说一句,初始化初始化列表中的数据成员比在构造函数的主体内为b_和c_赋值更可取,因为这样可以节省额外的赋值成本。

请记住,无论数据成员在初始化列表中的顺序如何,数据成员总是按照它们在类定义中声明的顺序进行初始化。为了避免在数据成员相互依赖时可能出现的奇怪错误,您应该始终确保初始化列表和类定义中成员的顺序相同。出于同样的原因,基类构造函数必须是初始化列表中的第一项。如果完全忽略它,那么将自动调用基类的默认构造函数。在这种情况下,如果基类没有默认构造函数,则会出现编译器错误。