在之前的名字、作用域那篇提到模块类型，它使程序员可以从一个给定抽象出发，通过实例化产生多个实例；再后面是类，它使程序员可以定义一族相关的抽象。
在这一篇里，我们会来看一下面向对象程序设计及其三个基本概念、动态方法约束、多重继承等等
面向对象程序设计随着软件变得越来越复杂，数据抽象已经变成了软件工程中最重要的部分。由模块和模块类型提供的这种抽象至少带来了如下三个好处：
它可以减少程序员必须同时考虑的细节量，减少了人的概念负担
它起到一种故障遏制作用，可以防止程序员以不适当的方式使用程序的各种部件。也限制了查找程序错误必须考虑的程序的部分
它为程序部件之间的独立性提供了一个重要的层次，使得将程序的构造分配到各个单独的部分更加容易，在修改部件的内部实现就可以避免改动使用它们的外部代码
但是很显然，第三点在实践中却很难做到。因为或许我们有一个原先做好的模块几乎具有当前某个新应用所需的全部性质，但是并不完全适用。假如我们有一个队列抽象，但是需要的却是能够在两端插入删除，那么就不完全符合了
面向对象的程序设计可以看作是这个方向上的一种努力，它使我们能够更容易的扩展或精化现有抽象的方式定义新抽象，也就是继承。
封装和继承封装机使程序员可以将数据和操作它们的子程序组织在一起，对抽象的用户隐藏起各种无关紧要的实现细节。
类随着继承的引入，面向对象语言不但要支持基于模块的语言的作用域规则，还需要处理另外一些问题，比如基类中的私有成员对于派生类的方法应该是可见的吗？基类中的公用成员在派生类中也总是公用的吗？
在C++中可见性规则背后的基本原则可以总结如下
任何一个类都可以限制其成员的可见性。只要该类声明在作用域中，其公用成员就都是可见的。私用成员只在本类的方法中可见。保护成员在本类及其派生类中可见
派生类可以显式其基类成员的可见性，但是不能提升它们的可见性。基类私用成员在派生类中根本不可见。公用基类的保护成员和公用成员，在派生类中仍然分别是保护的和公用的成员。
如果一个派生类通过将基类声明的protected或private而限制了基类成员的可见性，那么在这个派生类中还可以一个一个恢复基类成员的可见性。
嵌套类许多语言都允许类声明的嵌套。这带来了一个直接的问题：如果Inner是Outer的成员，那么Inner的方法能够看到Outer的成员吗？
在C++和C#中，只允许访问外层类的静态成员。而Java中则更复杂，它允许嵌套类访问外层类的任意成员。因此内层类的每个实例都必须属于外层类的一个实例。
初始化和终结处理我们将对象的生存期定义为它占据空间并因此能保存数据的那段时间。大多数面向对象的语言都提供了某种特殊机制，用以在对象的生存期开始时自动做初始化。也有几种语言提供了类似的析构函数机制，用于在对象生存期结束时自动来终结它。
构造函数的选择C++、Java和C#都允许程序为一个类指定多个构造函数。多个构造函数的行为方式就像是重载的子程序，必须能根据其参数的个数和类型区分它们。
执行顺序C++强调每个对象都要在使用前初始化，进一步说，如果该对象的类派生自另一个类，C++强调必须在调用派生类的构造函数之前调用基类的构造函数。以保证派生类不会看到它所继承的域处于不一致的状态。
在Java中
super(args);super关键字用于引用当前类的基类。如果没有这种对super的调用，Java编译器就会自动插入一个对基类的无参构造函数的调用。
废料收集当一个C++对象被销毁时，首先会调用它所在派生类的析构函数，然后按照与派生类相反的顺序调用各基类的析构函数。在C++中，析构函数最常见的用途就是手工释放存储空间。
但是现在的许多语言都提供了自动废料收集
动态方法约束假设我们现在有三个类：
class Persopn {} class Student : public Persion {} class Professor : public Persion {} Student s; Professor p; Persopn *x = &s; Persopn *y = &p现在假设三个类都有一个print_mailing_label方法，那么对x,y调用这个方法将会调用的是基类的Persion的方法，还是根据现在变量引用的s、p的类型来做选择呢？
第一种选择是静态方法约束，而第二种方法是动态方法约束。动态方法约束是面向对象程序设计的核心概念
虚方法和非虚方法C++和C#默认使用静态方法约束，但是程序员可以将特定的方法标记为virtual，要求对它使用动态约束。对虚方法的调用将在运行时根据对象的类而不是引用的类型指派适当的方法实现
抽象类在大多数面向对象语言中，基类中都可以不给出virtual方法的体。在Java和C#中，做这件事的方法是将类或没有体的方法都标记为abstract
无论用什么语法形式，如果一个类中包含了至少一个抽象方法，这个类就称为是抽象的。我们不能够声明抽象类的对象
成员查找