面向对象三大特性

封装

  利用抽象数据类型将数据以及基于数据的操作封装在一起，构成不可分割的独立实体。数据被保护在抽象数据类型内部，尽可能向外界隐藏内部细节，只保留对外的接口与外部发生联系。外界不需要关心内部的细节，只利用对象提供的接口来访问。

  讲一下我自己的理解，抽象数据类型指的就是各种类（class），数据以及基于数据的操作我认为是指类的成员变量和成员函数，对象就是指从一个类创建的实例。

  封装的特性能带来以下优点：

• 减少耦合，各模块可以独立地开发，测试，优化，使用以及理解
• 便于维护，容易理解，对模块进行调试不影响其他模块
• 提高可重用性，降低大型项目开发风险，即使系统开发不成功，但各模块的功能是可行的

继承

继承提供的是一种“is-a”的关系，即子类 is a 父类。
子类可以继承父类所有非private的属性和方法，并且子类的对象可以替换所有父类的对象，因此，父类指针和引用都可以指向子类对象，这一行为叫做向上转型，是多态实现的一个要素。

Animal a = new Cat()

C++中支持多继承，即一个类可以拥有多个直接父类。

多态

在这篇文章里详细讲了一下个人对多态的理解。
多态分为编译时多态和运行时多态：

• 编译时多态主要指方法的重载，即同名的方法被赋予不同的参数时，会执行不同的功能。
• 运行时多态指程序中定义的对象引用所指向的具体类型在运行期间才确定，这一点的实现依赖于继承的特性。

C++语言支持多态性表现在：

• C++语言允许函数重载和运算符重载。
• C++语言通过定义虚函数来支持动态联编，动态联编是多态性的一个重要的特征。

C++中存在两种编译方式，一种是在编译阶段就确定了方法的调用地址，叫静态联编，另一种直到运行时才确定方法的地址，叫做动态联编。动态联编的实现基于虚函数和虚函数表的存在，同样在上这篇文章里有详细的理解，而虚函数标志virtual的作用，是告诉编译器，在编译阶段先不确定这个方法的地址，若没有virtual，则该方法的调用地址在编译阶段就已经确定。

class Animal{
public:
	void speak(){
		cout << "Animals speak" << endl;
	}
} 

class Cat : public Animal{
public:
	void speak(){
		cout << "Cats speak" << endl;
	}
} 
void do_speak(Animal &animal){
	animal.speak();
}

此时我们调用

Cat cat; 
do_spaek(cat);

将会得到Animals speak
因为此时animal.speak()这一函数在编译阶段就已经确定了调用地址，即使后面传进来的对象是Cat类的实例，但依然不改变函数的调用地址，但如果在Animal类的void speak前加上virtual， 该方法转换为虚函数，采用动态联编，直到运行时才确定调用地址，根据对象cat找到Cat类中的调用地址，那么输出结果就会变成Cats speak
这一特性的实现依赖于虚函数表，具体参考文章。