PL真有意思（七）：数据抽象和面向对象

前言

在之前的名字、作用域那篇提到模块类型，它使程序员可以从一个给定抽象出发，通过实例化产生多个实例；再后面是类，它使程序员可以定义一族相关的抽象。

在这一篇里，我们会来看一下面向对象程序设计及其三个基本概念、动态方法约束、多重继承等等

随着软件变得越来越复杂，数据抽象已经变成了软件工程中最重要的部分。由模块和模块类型提供的这种抽象至少带来了如下三个好处：

但是很显然，第三点在实践中却很难做到。因为或许我们有一个原先做好的模块几乎具有当前某个新应用所需的全部性质，但是并不完全适用。假如我们有一个队列抽象，但是需要的却是能够在两端插入删除，那么就不完全符合了

面向对象的程序设计可以看作是这个方向上的一种努力，它使我们能够更容易的扩展或精化现有抽象的方式定义新抽象，也就是继承。

封装机使程序员可以将数据和操作它们的子程序组织在一起，对抽象的用户隐藏起各种无关紧要的实现细节。

随着继承的引入，面向对象语言不但要支持基于模块的语言的作用域规则，还需要处理另外一些问题，比如基类中的私有成员对于派生类的方法应该是可见的吗？基类中的公用成员在派生类中也总是公用的吗？

在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

无论用什么语法形式，如果一个类中包含了至少一个抽象方法，这个类就称为是抽象的。我们不能够声明抽象类的对象

对于静态方法约束，编译器总可以基于所引用的变量的类型确定应该调用相应的方法的哪个版本。然而，对于动态约束，被引用或指针变量所引用的对象中就必须包含足够的信息，使编译器生成的代码能够在运行时找到正确的方法版本。

最常见的实现方式是用记录的形式表示每个对象，这种记录中第一个域是一个指针，指向该对象的类的虚方法表。虚表也就是一个数组，其中的第i个项指明该对象的第i个虚方法的代码地址。同一个类的所有对象共享同一个虚表。

动态方法约束将多态性引入到期望某个基类foo的对象引用的所有代码中。只要派生类的对象支持这个基类的操作，这些代码对于基类的任何派生类的对象都可以很好的工作。

有人可能会认为，有了继承和动态方法约束后就不再需要泛型了，但实际情况并非如此，为了访问这些派生类的特殊内容，就必须进行强制转换，并且得到的代码仍然是不安全的，但是泛型能够解决这些问题

有些时候，让一个派生类继承多个基类的特征也是非常有用的。例如我们需要一个学生类，又希望能够方便进行增加删除，那么就可能希望从Person类和链表类派生出一个类来。

C++和Python都有多重继承。Java、C#则只提供了一种受限的多重继承方式。

在这一篇的一开始我们指出了面向对象程序设计的三大基本概念：封装、继承和多态。在之后我们讨论了对象的初始化和终结操作、动态方法约束和多重继承。