【C++ Priemr | 15】构造函数与拷贝控制

继承的构造函数

1. 简介：

子类为完成基类初始化，在C++11之前，需要在初始化列表调用基类的构造函数，从而完成构造函数的传递。如果基类拥有多个构造函数，那么子类也需要实现多个与基类构造函数对应的构造函数。

class Base
{
public:
    Base(int va) : m_value(va), m_c(‘0’) {}
    Base(char c) : m_c(c), m_value(0) {}
private:
    int m_value;
    char m_c;
};

class Derived : public Base
{
public:
    // 初始化基类需要透传基类的各个构造函数，那么这是很麻烦的
    Derived(int va) : Base(va) {}
    Derived(char c) : Base(c) {}
    void display() { /* dosomething */ } //假设派生类只是添加了一个普通的函数
};

书写多个派生类构造函数只为传递参数完成基类的初始化，这种方式无疑给开发人员带来麻烦，降低了编码效率。从C++11开始，推出了继承构造函数（Inheriting Constructor），使用using来声明继承基类的构造函数，我们可以这样书写。

class Base {
public:
    Base(int va) : m_value(va), m_c('0') {}
    Base(char c) : m_c(c), m_value(0) {}
private:
    int m_value;
    char m_c;
};

class Derived : public Base {
public: 
    using Base::Base; //使用继承构造函数    
    void display() { /* dosomething */ } //假设派生类只是添加了一个普通的函数
};

上面代码中，我们通过using Base::Base把基类构造函数继承到派生类中，不再需要书写多个派生类构造函数来完成基类的初始化。更为巧妙的是，C++11标准规定，继承构造函数与类的一些默认函数（默认构造、析构、拷贝构造函数等）一样，是隐式声明，如果一个继承构造函数不被相关代码使用，编译器不会为其产生真正的函数代码。这样比通过派生类构造函数“透传构造函数参数”来完成基类初始化的方案，总是需要定义派生类的各种构造函数更加节省目标代码空间。

 

2. 注意事项

（1）继承构造函数无法初始化派生类数据成员。

继承构造函数的功能是初始化基类，对于派生类数据成员的初始化则无能为力。解决的办法主要有两个：一是使用C++11特性就地初始化成员变量，可以通过=、{}对非静态成员快速地就地初始化，以减少多个构造函数重复初始化变量的工作，注意初始化列表会覆盖就地初始化操作。

class Derived :public Base
{
public:
    using Base::Base; //使用继承构造函数    
    void display() { /* dosomethin */ } //假设派生类只是添加了一个普通的函数
private:
    double m_double{ 0.0 }; //派生类新增数据成员
};

 

（2）构造函数拥有默认值会产生多个构造函数版本，且继承构造函数无法继承基类构造函数的默认参数，所以我们在使用有默认参数构造函数的基类时就必须要小心。

class A 
{
public:
    A(int a = 3, double b = 4) : m_a(a), m_b(b) {}
    void display() { cout << m_a << " " << m_b << endl; }

private:
    int m_a;
    double m_b;
};

class B : public A 
{
public:
    using A::A;
};

那么A中的构造函数会有下面几个版本：

1 2 3 4

A() A(int) A(int,double) A(constA&)

那么B中对应的继承构造函数将会包含如下几个版本： 

1 2 3 4

B() B(int) B(int,double) B(constB&)

可以看出，参数默认值会导致多个构造函数版本的产生，因此在使用时需格外小心。

 

（3）多继承的情况下，继承构造函数会出现“冲突”的情况，因为多个基类中的部分构造函数可能导致派生类中的继承构造函数的函数名、参数（即函数签名）相同。考察如下代码：

class A {
public:
    A(int i) {}
};

class B {
public:
    B(int i) {}
};

class C : public A, public B {
public:
    using A::A;
    using B::B;  //编译出错，重复定义C(int)

    C(int i) :A(i), B(i) {} //显示定义继承构造函数C(int)
};

为避免继承构造函数冲突，可以通过显示定义继承类冲突的构造函数，组织隐式生成相应的继承构造函数。

此外，使用继承构造函数时，还需要注意以下几点：

• 如果基类构造函数被申明为私有成员函数，或者派生类是从基类中虚继承的 ，那么就不能在派生类中申明继承构造函数；
• 一旦使用继承构造函数，编译器就不会再为派生类生成默认构造函数了。

 

3. 测试代码：

#include <iostream>
using namespace std;

class Base {
public:
    Base(int va) : m_value(va), m_c('0') {}
    Base(char c) : m_c(c), m_value(0) {}
    int m_value;
    char m_c;
};

class Derived : public Base {
public:
    using Base::Base;
    void display() { cout << m_value << endl << m_c << endl; }
};

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

输出结果：