再谈JavaSript的数据类型问题.docVIP

再谈JavaScript的数据类型问题 ============= 首先我们谈两 点体会。其一，JavaScript不是纯粹的面向对象语言，它是混合语言，所以所谓“一切面向对象”既是宣传用语，也是一种语言处理技巧。仅从“面向对 象”来理解这个语言的类型，会犯很多错误。其二，ECMAScript的描述总是很准确而又迟滞于这门语言的发展。所以要理解一些现象，既要从 JavaScript的历史中去找，也要考虑到JavaScript现在的发展。ECMAScirpt是一个标准的、规范化的参考，但不是全部。 接 下来说说类型。JavaScript既是过程式语言，也是面向对象的语言。这一定程度上，也表现为：它事实上有两套类型系统。第一套类型系统是用 typeof来识别，这是这个语言的基本类型系统，只有六种类型，即undefined、number、boolean、string、object与 function。我一般也称之为基础类型系统。之所以称为“基础”，是因为第二套类型系统是以它为基础，从object这一种类型中发展起来的，即对象 类型系统。 对象类型系统用instanceof来识别，它相当于其它高级语言中的is操作/运算。面向对象的多态主要通过as和is来表达，对于JavaScript来说，由于是弱类型的(没有强制类型检查)，所以不需要as。 对 象类型系统与基础类型系统存在映射关系，例如基础类型的string影射到对象系统中的String。但这只是影射，所以本质上来说string类型不是 String类型。两者本质上不同。具体来说，undefined,string、number和boolean是“值类型”；object与 function是“引用类型”。由于String、Number与Boolean在基础类型中都属于object类型，是Object()的子类，因此 是引用类型。Function()也是引用类型。所有引用类型都可以看着Object()的子类，所以任意函数也是Object()的子类。例 如匿名函数 instanceof Object返回true。 undefined是值类型，它没有对应的对象类型 ——我们通常可以称之为Undefined类型，但它没有对应的构造器。undefined只有一个值，即undefined。准确地 说，undefined表明声明(或产生)了但没有值的变量。而Null也是一个类型，null是它的惟一值(按照语言规则，null也是一个关键字)。 Null类型是对象类型，亦即是引用类型。所以Null与Undefined本质的不同，是它们分属在不同的类型系统中，解释着不同类型系统中的“无”的 概念。一般来说，DOM中的某个属性或成员如果无值，应该使用null；而JavaScript运算过程中如果出现无值，应该使用undefined。 上 面强调要从“两套类型系统”的角度来理解上述类型。而这两个类型系统在JavaScript中是可以混用的，实现这一特性的技术被称为“类包装”。这是 JavaScript对Java的主要借鉴，也是后来的.NET对Java的主要借鉴之一——类包装也被称为“装箱”(以及“拆箱”)。 JavaScript中的类包装过程出现然属性存取中，即“.运算符”或“[]运算符”。当这两个运算符发现左操作数x是一个“值类型”数据时，将隐式地 调用Object(x)过程将它转为对象，因此abc.length这个运算实际上就等效于Object(abc).length ? 最后，我们回到原始的问题上来。所以我说：====JavaScript 里面有6种基本类型，对象是其中一种，各种对象是“对象(object)”这一种类型中的子类（类型）。====是没有什么错误的。而朱先生在他的书中说：====- JavaScript 语言只有 3 种最原始的数据类型：数值型、字符串型和布尔型- JavaScript 还定义了几个特殊的数据类型，如空类型（null）和未定义类型（undefined）。- 基本数据类型按值传送，而复杂数据类型按引用传送。====这 几个观点都不太靠谱。其一，这三种是原始的数据类型没错，但并不是“只有3种”，这个稍后一点我再说。其二，空类型与未定义类型这两种说法都是错的，应该 是Null类型和Undefined类型——小写的，是它们的值；首字母大写才是它们的类型。其三，undefined也是按值传递的，然而在朱先生的分 类里头，就不知道如何归属。他起码提到了：原始数据类型，特殊数据类型，值(传递的)类型，引用(传递的)类型。这样复杂的分类，会更容易让读者混淆。 最 后说一下“原始的数据类型”。这个用词在ECMAScript里面有，称为primitive types，