在深入学习JavaScript之前,我们首先要了解一下“面向对象”的具体含义,以及这种程序设计风格的主要特征。下面我们列出了一系列在面向对象程序设计(OOP)中最长用到的概念:
◆对象、方法、属性;
◆类;
◆封装;
◆聚合;
◆重用与继承;
◆多态。
对象
既然这种程序设计风格叫做面向对象,那么其重点就应该在对象上。而所谓对象,实质上就是指“事物”(包括人和物)在程序设计中的表现形式。这里的“事物”可以是任何东西(如某个客观存在的对象,或者某些较为抽象的概念)。例如,对于猫这种常见对象来说,我们可以看到它们具有某些明确的特征(如颜色、名字、体型等),能执行某些动作(如喵喵叫、睡觉、躲起来、逃跑等)。在OOP语义中,这些对象特征都叫做属性,而那些动作则被称为方法。
类
在现实生活中,相似对象之间往往都有一些共同的组成特征。例如蜂鸟和老鹰都具有鸟类的特征,因此它们可以被统称为鸟类。在OOP中,类实际上就是对象的设计蓝图或制作配方。“对象”这个词,我们有时候也叫做“实例”,所以我们可以说老鹰是鸟类的一个实例。我们可以基于同一个类创建出许多不同的对象。因为类更多的事一种模板,而对象则是在这些模板的基础上被创建出来的实体。
封装
封装是另一个与OPP相关的概念,其主要用于阐述对象中所包含的内容。封装概念通常由两部分组成。
◆相关的数据(用于存储属性)。
◆基于这些数据所能做的事(所能调用的方法)。
除此之外,这个术语中还有另一层信息隐藏的概念,这完全是另一方面的问题。因此,我们在理解这个概念时,必须留意它在OPP中的具体语境。
以一个MP3播放器为例。如果我们假设它是一个对象,那么作为该对象的用户,我们无疑需要一些类似于按钮、显示屏这样的工作接口。这些接口会帮助我们使用该对象(如播放歌曲之类)。至于他们内部是如何工作的,我们并不清楚,而且大多数情况下也不会在乎这些。换句话说,这些接口的实现对我们来说是隐藏的。同样的,在OOP中也是如此。当我们在代码中调用一个对象的方法时,无论该对象是来自我们自己的实现还是某个第三方库,我们都不需要知道该方法时如何工作的。在编译型语言中,我们甚至都无法查看这些对象的工作代码。由于JavaScript是一种解释型语言,源代码是可以查看的。但至少在封装概念上它们是一致的,即我们只需要知道所操作对象的接口,而不必去关心它的具体实现。
聚合
所谓聚合,有时候也叫组合,实际上是指我们将几个现有对象合并成一个新对象的过程。总之,这个概念所强调的就是这种将多个对象合而为一的能力。通过聚合这种强有力的方法,我们可以将一个问题分解成多个更小的问题。这样一来,问题就会显得更易于管理(便于我们各个击破)。当一个问题域的复杂程度令我们难以接受时,我们就可以考虑将它分解成若干子问题区,并且必要的话,这些问题区还可以再继续分解成更小的分区。这样做有利于我们从几个不同的抽象层次来考虑这个问题。
继承
通过继承这种方式,我们可以非常优雅地实现对现有代码的重用。例如,我们有一个叫做Person的一般性对象,其中包含一些姓名、出生日期之类的属性,以及一些功能性函数,如步行、谈话、睡觉、吃饭等。然后,当我们发现自己需要一个Programmer对象时,当然,这时候你可以再将Person对象中所有的方法与属性重新实现一遍,但除此之外还有一种更聪明的做法,即我们可以让Programmer继承自Person,这样就省去了我们不少工作。因为Programmer对象只需要实现属于它自己的那部分特殊功能(例如“编写代码”),而其余部分只需重用Person的实现即可。
多态
在之前的例子中,我们的Programmer对象继承了上一级对象Person的所有方法。这以为着这两个对象都实现了“talk”等方法。现在,我们的代码中有一个叫做Bob的变量,即便实在我们不知道它是一个Person对象还是一个Programmer对象情况下,也依然可以直接调用该对象的“talk”方法,而不必担心这会影响代码的正常工作。类似这种不同对象通过相同的方法调用来实现各自行为的能力,我们就称之为多态。