C++的继承特性你了解吗

导语:

C++是对C语言的优化和改进,C++之所以优秀的点在于它的特性:抽象、封装、继承和多态。

本章总结继承的规则和特性,都是干货,与读者共同学习。

继承作用

代码的复用

子类继承父类,可以理解为,将父类的代码拷贝一份到子类中,达到子类可以调用父类方法的目的。

那为什么是可以理解而不是就是呢?

是因为有几个东西是不可以拷贝的,比如,父类的拷贝和析构方法,友元和静态成员。

友元关系是不能继承的,必须各是各的。

静态成员是在类外初始化的,从定义到程序运行结束都一直存在,不是属于某一个类的。所以也不能拷贝。

形成多态

继承在代码复用上的应用是广泛的,但在我看来,继承最大的作用在于可以形成多态,当发生一种行为时,不同的对象去调用就是不同的状态。

这在很大程度上体现了C++作为面向对象语言的设计性。

继承的结果

上面说到继承相当于将父类的代码拷贝到子类中,达到可以使用子类对象可以调用父类方法的目的,而具体子类可以调用父类的哪些方法,还需要看它的继承方式。

继承方式

公有继承

class student:public Person
{};

公有继承,父类的公有方法以公有的形式,私有以私有的形式,保护以保护的形式,拷贝给子类,私有成员/成员方法对子类是不可见的。也就是说从对象角度:子类可以调用父类的公有方法和保护方法从方法角度:子类可以通过调用父类的公有方法/保护方法转调用父类的私有方法。

保护继承

class student:protected Person
{};

保护继承,父类的公有方法以保护的形式,私有以私有的形式,保护以保护的形式,拷贝给子类,继承后,子类中父类的私有方法对子类不可见的。

从对象角度,可以调用父类保护方法。

从方法角度,可以通过调用父类保护方法转调用父类私有方法。

私有继承(默认继承)

class student: Person     //什么都不给,默认私有继承
{}; 
class student:private Person
{};

私有继承,父类的所有方法均以私有的形式拷贝给子类,所有的对子类都是不可见的。

从对象角度:不能调用父类的方法

从方法角度:也不能转调用。

什么都不能用,那私有继承有什么用?

它作用的场景就是,在当前继承体系或分支,终止父类再往下继承下去。

子类构造

根据继承的拷贝性质,我们知道子类中有父类的成分,所以在构造子类之前,需要先调用父类的构造方法,再调用子类的构造方法。

但要注意,这个构造,只是构造了一个对象(子类),不会构造出来一个父类对象。

C++的继承特性你了解吗_第1张图片

赋值兼容规则/向上转换/内存切片

继承和多态体系中,深入理解了赋值兼容规则就很容易掌握了。

赋值兼容规则:

  • 子类对象可以直接给父类对象赋值
  • 子类对象的地址可以直接给父类对象指针赋值
  • 子类对象可以直接初始化父类对象的引用

代码:

int main()
{
	D d;
	Base b;
	b = d;           //子类对象给父类对象赋值
	Base* pb = &d;   //子类对象的地址给父类对象指针赋值
	Base& rb = d;    //子类对象初始化父类对象的引用
	return 0;
}

总结,都是子类给父类(所以是向上转换),那么能不能父类给子类呢?

要理解这点,一个内存图即可说明一切!

C++的继承特性你了解吗_第2张图片

很容易看出来,子类比父类的类型多了一部分,但都是序列化的,子类自身成员之前的内存空间与父类是完全一致的,所以子类是可以将地址、引用和对象转给父类的。

但是要注意,使用父类接收之后,父类对象/指针/引用,只能观察到父类拥有的,不能观察到子类。

当然,当有朝一日我们需要对父类取地址,要取到整个子类地址的时候(向下转换),C++11的reinterpret_cast强制类型转换可以实现这种需求。

赋值兼容规则的应用不在这几行代码,更在理解上,多态的形成就是建立在赋值兼容规则基础上的。

多继承

以上讲解都是建立在单继承上的。

一个子类有两个或两个以上直接父类时,就称这个继承是多继承。

多继承需要记住的点就是:
	构造时,按顺序对父类进行构造,若有虚拟继承的父类,先构造虚拟继承的父类
	菱形继承的问题和解决

多继承是复杂的,效率不高的。主要体现在菱形继承。一个图快速了解菱形继承:

C++的继承特性你了解吗_第3张图片

菱形继承的缺点在于,在效率的角度,它是数据冗余的;站在安全的角度,他是数据二义的。

虚拟继承

虚拟继承可以解决菱形继承数据冗余和二义性的问题,要注意的是,虚拟继承不要在其他地方使用。

代码:

class A
{
public:
	int _a;
};
// class B : public A
class B : virtual public A
{
public:
	int _b;
};
// class C : public A
class C : virtual public A
{
public:
	int _c;
};
class D : public B, public C
{
public:
	int _d;
};
int main()
{
	D d;
	d.B::_a = 1;
	d.C::_a = 2;
	d._b = 3;
	d._c = 4;
	d._d = 5;
	return 0;
}

B和C虚拟继承A,就可以使来自A的数据只有一份了。

内存分析:

虚拟继承后,多了四个字节存储A的数据了。

内存分布为:

C++的继承特性你了解吗_第4张图片

总结

本篇文章就到这里了,希望能够给你带来帮助,也希望您能够多多关注脚本之家的更多内容!      

你可能感兴趣的:(C++的继承特性你了解吗)