1.4 面向对象编程简介
面向对象设计实践指南:Ruby语言描述
面向对象的应用程序由对象和它们之间传递的消息构成。其中,消息相对更为重要。但在本节的简介里(以及在本书的前面几个章节里),这两个概念都同等重要。
1.4.1 过程式语言
相对于非面向对象(或过程式)的编程来说,面向对象编程是面向对象的。依据这两种风格的差异来考虑它们很有意义。假设有这么一种通用的编程语言,它可用来创建简单的脚本。在这门语言里,你可以定义变量(即组成多个名称),并将这些名字与少量的数据相关联。一旦进行了分配,便可以通过引用这些变量来访问相关的数据。
与所有的过程式语言一样,这门语言只对少量固定集合的不同类型数据(诸如字符串、数字、数组、文件等)有所了解。这些不同类型的数据叫做数据类型。每一种数据类型都描述了某种非常具体的事物。字符串数据类型与文件数据类型是不同的。这门语言的语法还会包含许多内建操作,以完成某些对各种数据类型来说都很合理的事情,如字符串连接和文件读取。
因为创建了变量,所以你能够知道每一个容纳的内容是何种类型。哪些操作是可用的,你对这一点的期望都依托于你对变量数据类型知识的了解。往字符串里进行追加、使用数字进行数学计算、对数组进行索引、阅读文件等等,所有这些都是你所知道的。
每一种可能的数据类型和操作都已存在,所有这些内容都被构建在语言的语法里。这门语言可能允许你创建函数(将一些预定义操作以一个新的名字组合在一起),或者允许你定义复杂的数据结构(将某些预定义的数据类型组装成一个命名排列),但是你无法组成全新的操作或全新的数据类型。你所看到的内容便是你能得到的。
与所有过程式语言一样,在这门语言里的数据和行为之间都有一道鸿沟。数据是一回事,行为是与之完全不同的另一回事。数据被包裹在变量里,然后四处传递给行为(坦率地讲,可以对它做任何事情)。数据就像一个孩子,在每天早上行为都将其送至学校;当它离开你的视线后,你便无办法知道实际所发生的事情。对数据的影响是不可预知的,并且在很大程度上也是捉摸不定的。
1.4.2 面向对象语言
现在假设有另一门不一样的编程语言,它像Ruby一样是基于类和面向对象的。Ruby没有将数据和行为分裂成两个单独的部分(如两个绝不相遇的球体),它将这两者结合成为了一个事物(即对象)。对象拥有行为,也包含了可单独访问控制的数据。对象之间通过相互发送消息来调用彼此的行为。
Ruby有一个字符串对象,它没有字符串数据类型。处理字符串的操作都构建在字符串对象内部,而没有构建在语言的语法里。字符串对象各不相同,它们每一个都包含有属于自己的字符串数据;但是它们的行为又彼此很相似。每一个字符串都将其数据封装或隐藏起来,以便与外面隔离。每一个对象都要自己决定需要暴露多少数据。
因为字符串对象可以自己提供操作,所以Ruby没必要对字符串数据类型特别了解,它只需要提供一种通用的方式方便对象发送消息即可。例如,字符串能理解concat消息,因此Ruby没必要包含字符串连接的语法,它只需要提供某种方式,让一个对象可以将concat发送至另一个即可。
即便是最简单的应用程序也可能需要多个字符串、数字、文件或数组。事实上,虽然你可能偶尔会需要一个唯一、单独的对象,但更为常见的期望是需要产生一大堆的对象—它们拥有相同的行为,但却封装了不同的数据。
像Ruby那样基于类的OO语言允许定义类——它为构建相似对象提供了一个蓝图。一个类可以定义多个方法(定义行为)和多个属性(定义变量)。在响应消息时,方法会被调用。不同的对象可以定义具有相同名字的方法,Ruby会为发送来的任何消息查找和调用正确对象的合适方法。
在有了String类之后,你便可以用它来重复地实例化(或创建)新的字符串对象实例。每一个重新实例化的String都会实现相同的方法,并使用相同的属性名称,但每一个String对象都包含了它们自己个人的数据。它们共享相同的方法,因此它们都像是String。由于都包含不同的数据,因此它们又代表了不同的状态。
String类定义了一种类型,它远不只是数据那么简单。在知道某个对象的类型之后,你便可以对它将如何表现有所期待。在过程式语言里,变量都只有单一的数据类型。这个数据类型的知识允许你对哪些是有效的操作会有所期待。在Ruby里,一个对象可能有多种类型,其中任何一种都来自与它对应的类。因此对象类型的知识会让你对它能响应的消息有所期待。
Ruby提供了一系列预定义好的类。最可容易立即辨别出来的是与过程式语言所使用的数据类型相重叠的那些。例如,String类定义了字符串、Fixnum类是定义了整数。对于你所期望的一门编程语言应该提供的每一种数据类型,都有一个预先存在的类。不过,面向对象的语言是使用对象来构建自己的,这一点让事情开始变得很有意思。
那个String类(即创建新字符串对象的蓝本),其自身也是一个对象。它是Class类的一个实例。如同每个字符串对象都是String类的特定数据实例一样,每个类对象(如String、Fixnum等)也都是Class类的特定数据实例。String类会生成新的字符串,Class类会生成新的类。
因此,OO语言是开放式的。它们不会将你限制在一个很小的内建类型和事先预定义好的操作集合里。你可以创造出全新的属于自己的类型。每一个OO应用程序都会渐渐变成一门唯一的编程语言,它专属于你的领域。
这门语言最终带给你的是快乐,还是痛苦,都与设计有关,而这也正是本书关注的内容。
本文仅用于学习和交流目的,不代表异步社区观点。非商业转载请注明作译者、出处,并保留本文的原始链接。