C++ 11的继承构造函数

一.概述

C++是面向对象的基石，类具有可派生性。派生类可以自动获得基类的成员变量和接口，不过基类的非虚函数则无法再被派生类使用了。如果派生类要使用基类的构造函数，通常需要在构造函数中显示声明。

例如：

struct A{    A(int i){}  };struct B : A {    B(int i) : A(i) {}};

B派生于A，B又在构造函数中调用A的构造函数，从而完成了构造函数的”传递”。

struct A { A(int i) {} };struct B : A{    B(int i) : A(i), d(i) {}    int d;};

上面代码中，派生于结构体A的结构体B拥有一个成员变量d,那么在B的构造函数B(int i)中，我们可以在初始化其基类A的同时初始化成员d,从这个意义上讲，这样的构造函数设计是合情合理的。但是者对于比较庞大的类来说，就不太适合了，类很庞大，我们需要写很多”透传”的构造函数。

例如：

struct A {    A(int i)()    A(double d, int i){}    A(float f, int i, const char* c)    {}};struct B : A{    B(int i) : A(i){}    B(double d, int i) : A(d, i){}    B(double f, int i, const char* c) : A(f, i, c){}    virtual void ExtraInterface(){}};

上面的代码中，我们可以看到，基类A中的构造函数又很多个版本，而继承A的派生类B中实际上只添加了一个ExtraInterface接口，那么如果我们在B中要想拥有A这样多的构造方法的话，就必须一一”透传”各个接口，这是很不方便的。

二.委派构造函数

想要解决以上问题，其实C++中已经有一个好用的规则，就是如果派生类要使用基类的成员函数的话，可以通过using声明来完成；代码如下：

#include <iostream>using namespace std;struct Base{    void f(double i)    {        cout << "Base:" << i << endl;    }};struct Derived : Base {    using Base :: f;    void f(int i)    {        cout << "Derived :" << endl;    }}int main(){    Base b;    b.f(4.5);    Derived d;    d.f(4.5);}

在C++ 11中，以上这个想法被扩展到了构造函数上，子类可以通过使用using声明来声明集成类的构造函数。那么要改造透传的代码接很简单了。

struct A {    A(int i)()    A(double d, int i){}    A(float f, int i, const char* c)    {}};struct B : A{    using A::A;    virtual void ExtraInterface(){}};

这里我们通过using A::A的声明，把基类中的构造函数悉数继承到派生类B中，这样我们就可以摒弃透传了。C++11标准继承构造函数被设计为跟派生类中的各种类默认函数(默认构造，析构，拷贝构造等)一样，是隐式声明的。不过继承构造函数只会初始化基类中的成员变量，对于派生类的成员变量，则无能为力。

struct A {    A(int i)()    A(double d, int i){}    A(float f, int i, const char* c)    {}};struct B : A{    using A::A;    int d {0}};int main(){    B b(356); //b被初始化为0}     

上面代码使用两个C++ 11的特性来解决继承构造无法初始化派生类成员变量的问题，

三.继承构造可能会产生的问题

由于继承构造是隐式的，C++类中也有很多隐式函数，因此传值得时候必须注意

继承构造函数的冲突的情况：

struct A { A(int) {}}；struct B {B(int) {}}；struct C : A, B {    using A::A;    using B::B;}

A和B的构造函数会导致C中重复定义相同类型的继承构造函数。这种情况下，可以通过显示定义继承类的冲突构造函数，阻止隐式生成相应的继承构造函数来解决冲突。
例如：

struct C : A, B {    using A::A;    using B::B;    C(int) {}}

此外，我们还要了解一些规则，如果基类的构造函数被声明为私有成员函数，或者派生类是从基类中继承的，那么就不能够在派生类中声明继承构造函数。当然，如果一旦使用了继承构造函数，编译器就不会再为派生类生成默认构造函数了，对于一下代码，必须注意继承构造函数中没有包含一个无参数的版本。

struct A {A (int){}};struct B : A {    using A::A;};B b;