为派生类使用不同的基构造函数

Using a different base constructor for a derived class C++

本文关键字:构造函数 派生      更新时间:2023-10-16

根据我的理解,以下代码将按此顺序执行:

  1. 基对象是使用默认的基构造函数构造的。
  2. 执行派生构造函数的主体。

如果是,成员z不是被赋值两次吗?

class base {
public:
    int x, y, z;
    base() {x = 0; y = 0; z = 0;};
};
class derived : public base {
public:
    derived() {z = 5;};
};

是否有一种更有效的方法来创建类"派生"的对象,所以它使用不同的构造函数,在这种情况下,一个只会分配成员x和y一个值,留下z在派生()中分配一个值?

是的,有一种更有效的方法,但它将需要更多的代码(从而增加维护开销)。

class base {
public:
    int x, y, z;
    // Default constructor
    base() {x = 0; y = 0; z = 0;};
    // Constructor to be called if you want to override the z value
    base(int zValue) { x=0; y=0; z=zValue; };
};
class derived : public base {
public:
    derived() : base(5) {};
};

是的,z在你的例子中被分配了两次,就像它看起来的那样。

要做你想做的,你可以这样做,这需要几乎完全相同的代码量(只是移动一些在这里和那里):

class base {
public:
    int x, y, z;
    base(int z = 0) : x(), y(), z(z) { }
};
class derived : public base {
public:
    derived() : base(5) { } // with this one, z is assigned 5 once
    // or
    derived() { } // z is assigned 0 once
};

当然。使用所谓的ctor-initializer:

class base {
public:
    int x, y, z;
    base(int z = 0) : x(0), y(0), z(z) {};
};
class derived : public base {
public:
    derived() : base(5) {}
};

构造函数声明中:之后和第一个{之前的代码是ctor-initializer。(有些人称之为"初始化列表",但ctor-initializer才是c++标准的叫法。)

只要可以,就应该使用 ctor-initializers将类成员初始化为某个值。虽然这对int并不重要,但使用ctor-initializer初始化可以比默认构造类成员和赋值更快。

当然可以。

使用member-initialization-list作为:

class base {
public:
    int x, y, z;
    base(int a, int b, int c) : x(a), y(b), z(c) {}
                           //^^^^^^^^^^^^^^^^^^^ it's member-initialization-list!
};
class derived : public base {
public:
    derived() : base(0,0,5) {}
            // ^^^^^^^^^^^ call the specific base constructor
};

详细说明Andrew的回答,如果您真的想确保 base的所有成员只被设置一次,并且以最有效的方式,您可以使用成员列表初始化器,而不是在构造函数中设置值。

class base {
public:
    int x, y, z;
    base() : x(0), y(0), z(0) {};
    base( int xval, int yval, int zval ) : 
            x(xval), y(yval), z(zval) 
            { };
};
class derived : public base {
public:
    derived() : base( 0, 0, 5 ) {};
};

大多数编译器会为: x(_x), ...生成与在构造函数中设置值相同的代码,但我看到过一些编译器没有这样做。