与其他语言相比,JavaScript中的"对象"总是显得不那么合群,为什么JavaScript(直到ES6)有对象概念,但是却没有像其他的语言那样,有类概念呢,为什么在JavaScript对象里可以自由添加属性,而其他语言却不能呢?甚至有人说,JavaScript并非"面向对象的语言",而是"基于对象语言",实际上,基于对象和面向对象两个形容词都出现在了JavaScript标准的各个版本当中.下面我们来说说JavaScript到底是面向对象变成还是基于对象变成.
我们可以先看看JavaScript标准对基于对象的定义:语言和宿主的基础设施由对象来提供,并且JavaScript程序既是一系列互相通讯的对象集合.
这里的意思根本不是表达弱化的面向对象的意思,反而是表达对象对于语言的重要性.
1.什么是面向对象
在<<面向对象分析与设计>>这本书中,Gradey Booch 替我们做了总结,他认为,从人类的认知角度来说,对象应该是下列事物之一:
- 一个可以触摸或者可以看见的东西;
- 人的智力可以理解的东西;
- 可以指导思考或行动(进行想象或施加动作)的东西;
有了对象的自然定义后,我们就可以描述编程语言中的对象了,在不同的编程语言中,设计者也利用了各种不同的语言特性来抽象描述对象,最为成功的流派是使用"类"的方式来描述对象,这诞生了诸如C++/java 等流行的变成语言.
而JavaScript早年却选择了一个更为冷门的方式:原型,这也是JavaScript不合群的原因之一.因为JavaScript是创始人Brebdab Eich 在"原型运行时"的基础上引入了new/this等语言特性,使之"看起来更像Java".
如果我们从运行时角度来讨论对象,就是在讨论JavaScript实际运行中的模型,这是由于任何代码执行都必定绕不开运行时的对象模型.
不过,幸运的是,从运行时的角度看,可以不必受到这些"基于类的设施"的困扰,这是因为任何语言运行时类的概念都是被弱化的.
JavaScript对象的特征
参考Grandy Booch<<面向对象分析与设计>>,总结对象有以下几个特点
- 对象具有唯一标识性:即使完全相同的两个对象,也并非同一个对象,这是因为,各种语言的对象唯一标识性都是用内存地址来体现的,对象具有唯一标识的内存地址,所以对象具有唯一标识性,如下代码:
var o1 = { a: 1 };
var o2 = { a: 1 };
console.log(o1 == o2); // false
2.对象有状态:对象具有状态,同一个对象可能处于不同的状态之下;
3.对象具有行为:即对象的状态,可能因为它的行为产生变迁;
关于对象的第二个和第三个特征"状态和行为",不同的语言会使用不用的术语来抽象描述它们,比如C++中称它们为"成员变量"和"成员函数",Java 中则称它们为"属性"和"方法",而在JavaScript中,将状态和行为统一抽象为"属性".
在实现了对象基本特征的基础上,JavaScript中对象独有的特色是:对象具有高度的动态性,这是因为JavaScript赋予了使用者在运行时为对象添改状态和行为的能力.这跟绝大多数基于类的/静态的对象设计完全不同.
为了提高抽象能力,JavaScript的属性被设计成为了比别的语言更加复杂的形式,他提供了数据属性和访问器属性.
JavaScript对象的两类属性
对JavaScript来说,属性并非只是简单的名称和值,JavaScript用一组特征(attribute)来描述对象(property)
数据属性
数据属性,它比较接近于其他语言的属性概念,数据属性具有四个特征:
- value:就是属性;
- writable:决定属性能否被赋值;
- enumerate:决定for in 能否被枚举该属性;
- configurable:决定该属性能否被删除或者改变特征值;
在大多数情况下,我们只关心数据属性的值即可.
访问器属性
访问器属性也有四个特征:
- getter:函数或者undefined,在取属性值时被调用;
- setter:函数或者undefined,在设置属性值时被调用;
- enumerate:决定for in 能否枚举该属性;
- configurable:决定属性能否被删除或者改变特征值;
我们通常用于定义属性的代码会产生数据属性,其实writable/enumerable/configurable都默认为true,我们可以使用内置函数getOwnPropertyDescriptor来查看,代码如下:
var o = { a: 1 };
o.b = 2;
//a和b皆为数据属性
Object.getOwnPropertyDescriptor(o,"a") // {value: 1, writable: true, enumerable: true, configurable: true}
Object.getOwnPropertyDescriptor(o,"b") // {value: 2, writable: true, enumerable: true, configurable: true}
如果我们要想改变属性的特征,或者定义访问器属性,我们可以使用Object.defineProperty.实例如下:
var o = { a: 1 };
Object.defineProperty(o, "b", {value: 2, writable: false, enumerable: false, configurable: true});
//a和b都是数据属性,但特征值变化了
Object.getOwnPropertyDescriptor(o,"a"); // {value: 1, writable: true, enumerable: true, configurable: true}
Object.getOwnPropertyDescriptor(o,"b"); // {value: 2, writable: false, enumerable: false, configurable: true}
o.b = 3;
console.log(o.b); // 2
在创建对象时,也可以使用get和set关键字来创建访问器属性,代码如下:
var o = { get a() { return 1 } };
console.log(o.a); // 1
访问器属性很数据属性不同,每次访问都会执行getter 或者 setter函数,上述代码getter函数返回了1,所以o.a每次都是1.
实际上JavaScript对象的运行时是一个"属性的集合",属性以字符串或者Symbol为key,以数据属性特征值或者访问器属性特征值为value.
因为JavaScript的对象设计很目前主流基于类的面向对象差异非常大,所以有些人认为JavaScript不是面向对象,可事实上,这样的对象系统设计虽然特别,但是JavaScript提供了完全运行时的对象系统,这使得它可以模仿多数面向对象编程范式,所以它也是正统的面向对象语言,JavaScript语言标准也已经明确说明,JavaScript是一门面向对象语言,我想标准中能这样说,正是因为JavaScript的高度动态性的对象系统.