一.概述
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;
关注问我技术公众号,加小问,拉您入技术交流群: