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;

关注问我技术公众号，加小问，拉您入技术交流群：