子类为完成基类初始化,在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标准规定,继承构造函数与类的一些默认函数(默认构造、析构、拷贝构造函数等)一样,是隐式声明,如果一个继承构造函数不被相关代码使用,编译器不会为其产生真正的函数代码。这样比通过派生类构造函数“透传构造函数参数”来完成基类初始化的方案,总是需要定义派生类的各种构造函数更加节省目标代码空间。
注意事项!!!
1.构造函数拥有默认值会产生多个构造函数版本,且继承构造函数无法继承基类构造函数的默认参数,所以我们在使用有默认参数构造函数的基类时就必须要小心。(即构造函数使用初始化列表是给类属性赋值的,其中也可以自动默认值,如果带了默认值的话,该类的构造函数就包含多个构造函数了,因为实现的时候回使用默认值替代缺少的)
例子:
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中的构造函数会有下面几个版本:
A()
A(int)
A(int,double)
A(constA&)
那么B中对应的继承构造函数将会包含如下几个版本://继承构造函数无法继承基类构造函数的参数,但是构造函数一个也不少
B()
B(int)
B(int,double)
B(constB&)
2.多继承的情况下,继承构造函数会出现“冲突”的情况,因为多个基类中的部分构造函数可能导致派生类中的继承构造函数的函数名、参数(即函数签名)相同。考察如下代码:
class A {
public:
A(int i) {}
};
class B
{
public:
B(int i) {}
};
class C : public A, public B {
public:
using A::A; //两个继承构造函数都会定义一个C(int)
using B::B; //编译出错,重复定义C(int)
//显示定义继承构造函数C(int)
C(int i) :A(i), B(i) {}
};
为避免继承构造函数冲突,可以通过显示定义继承类冲突的构造函数,组织隐式生成相应的继承构造函数。(感觉还是老老实实的写普通的继承吧,不要写继承构造)