前言

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

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

面向对象程序设计

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

  • 它可以减少程序员必须同时考虑的细节量,减少了人的概念负担
  • 它起到一种故障遏制作用,可以防止程序员以不适当的方式使用程序的各种部件。也限制了查找程序错误必须考虑的程序的部分
  • 它为程序部件之间的独立性提供了一个重要的层次,使得将程序的构造分配到各个单独的部分更加容易,在修改部件的内部实现就可以避免改动使用它们的外部代码

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

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

封装和继承

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

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

在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#则只提供了一种受限的多重继承方式。

总结

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

PL真有意思(七):数据抽象和面向对象的更多相关文章

  1. PL真有意思(三):名字、作用域和约束

    前言 这两篇写了词法分析和语法分析,比较偏向实践.这一篇来看一下语言设计里一个比较重要的部分:名字.在大部分语言里,名字就是标识符,如果从抽象层面来看名字就是对更低一级的内存之类的概念的一层抽象.但是 ...

  2. PL真有意思(四):控制流

    前言 对大多数计算模型而言,顺序都是基本的东西,它确定了为完成所期望的某种工作,什么事情应该最先做,什么事应该随后做,我们可以将语言规定顺序的机制分为几个类别: 顺序执行 选择 迭代 过程抽象 递归 ...

  3. PL真有意思(一):引言

    前言 断断续续学编译原理到之前发过写一个编译器和正则表达式引擎系列文章也有一段时间了,然后最近看完PLP这本书,这本书应该算是入门书,但是对我这种半吊子收获很大.所以为了弥补最近学操作系统和接外包摸的 ...

  4. PL真有意思(五):数据类型

    前言 现在大多数程序设计语言中都有表达式和/或对象的类型概念.类型起着两种主要作用: 为许多操作提供了隐含的上下文信息,使程序员可以在许多情况下不必显示的描述这种上下文.比如int类型的两个对象相加就 ...

  5. PL真有意思(六):子程序和控制抽象

    前言 在之前我们把抽象定义为一种过程,程序员可以通过它将一个名字与一段可能很复杂的程序片段关联起来.抽象最大的意义就在于,我们可以从功能和用途的角度来考虑它,而不是实现. 在大多数程序设计语言中,子程 ...

  6. PL真有意思(二):程序设计语言语法

    前言 虽然标题是程序语言的语法,但是讲的是对词法和语法的解析,其实关于这个前面那个写编译器系列的描述会更清楚,有关语言语法的部分应该是穿插在整个设计当中的,也看语言设计者的心情了 和英语汉语这些自然语 ...

  7. PL真有意思(八):其它程序设计模型

    前言 在之前几篇我们讨论的语法.语义.命名.类型和抽象适用于所有语言.然而我们的注意力都主要集中在命令式语言上,现在这篇来看看其它范式的语言.函数式和逻辑式语言是最主要的非命令式语言. 函数式语言 命 ...

  8. 简学Python第七章__class面向对象高级用法与反射

    Python第七章__class面向对象高级用法与反射 欢迎加入Linux_Python学习群  群号:478616847 目录: Python中关于oop的常用术语 类的特殊方法 元类 反射 一.P ...

  9. 【python自动化第七篇:面向对象进阶】

    知识点概览: 静态方法,类方法,属性方法 类的特殊方法 反射 异常处理 socket开发基础 一.静态方法:@staticmethod 只是名义上归类管理,实际上在静态方法里访问不了类或者实例中的任何 ...

随机推荐

  1. java秀发入门到优雅秃头路线导航【教学视频+博客+书籍整理】

    目录 一.Java基础 二.关于JavaWeb基础 三.关于数据库 四.关于ssm框架 五.关于数据结构与算法 六.关于开发工具idea 七.关于项目管理工具Mawen.Git.SVN.Gradle. ...

  2. 接口 IEnumerable

    C#提供了可供类继承的接口,在此解释一下经常遇到的IEnumerable,在此首相解释一下接口,如下例所示: /// <summary> /// 简述Interface的用法 /// &l ...

  3. 爬虫连接mongodb、多线程多进程的使用

    一.连接mongodb 1.            设置数据库 client=pymongo.MongoClient(‘localhost’) 2.            db=client[‘lag ...

  4. AB实验的高端玩法系列3 - AB组不随机?观测试验?Propensity Score

    背景 都说随机是AB实验的核心,为什么随机这么重要呢?有人说因为随机所以AB组整体不存在差异,这样才能准确估计实验效果(ATE) \[ ATE = E(Y_t(1) - Y_c(0)) \] 那究竟随 ...

  5. 务必收藏备用:.net core中通过Json或直接获取图形验证码(数字验证码、字母验证码、混合验证码),有源代码全实战demo(开源代码.net core3.0)

    很多人写的博客大家看了会一知半解,不知道怎么用,应该引用什么类库或者代码不全,这样很多小白很是头疼,尤其是尝新技术更是如此.我们这边不止告诉你步骤,而且还提供开源demo.随着时间的推移,我们的dem ...

  6. IIS中如何设置域名

    如何在IIS中设置域名: 1,想好我们想要配置的本地域名,我们以www.baidu.com为例. 2,打开系统盘,一般默认的系统盘为C盘,打开:C:\Windows\System32\drivers\ ...

  7. Luogu P1098 字符串的展开

    这几天划了划水看了看初赛的试题,没写什么随笔. 今天刷刷洛谷试炼场.(不要问为什么我还在普及区) 题目描述 在初赛普及组的“阅读程序写结果”的问题中,我们曾给出一个字符串展开的例子:如果在输入的字符串 ...

  8. C/C++ return *this和return this的区别

    首先我们知道~ class Test { public: Test() { return this; //返回的当前对象的地址 } Test&() { return *this; //返回的是 ...

  9. NOIP模拟 8

    T1 水题,可是没A,惭愧. 值得一提的是,虽然我忘了kmp,现场制造的kmp因为缺少针对题目的特判挂了,但是现场制造的kmp板子能过字符串板子题.. 对..把板子改装了...而且改对了! nx[]= ...

  10. python编程【环境篇】- 如何优雅的管理python的版本

    简介 之前的文章(Python2还是python3 )中我们提到,建议现在大家都采用python3,因为python2在今年年底将不在维护.但在实际的开发和使用python过程中,我们避免不了还得用到 ...