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

导语:

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

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

继承作用

代码的复用

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

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

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

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

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

形成多态

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

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

继承的结果

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

继承方式

公有继承

class student:public Person
{};

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

保护继承

class student:protected Person
{};

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

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

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

私有继承（默认继承）

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

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

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

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

什么都不能用，那私有继承有什么用？

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

子类构造

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

但要注意，这个构造，只是构造了一个对象（子类），不会构造出来一个父类对象。

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

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

赋值兼容规则：

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

代码：

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

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

要理解这点，一个内存图即可说明一切！

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

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

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

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

多继承

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

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

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

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

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

虚拟继承

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

代码：

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的数据了。

内存分布为：

总结

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

最新评论