深入理解JavaScript-一切皆对象

先来看一句有争议的话——"在 JavaScript 中,一切皆对象。理解了对象,就能理解 JavaScript"

你觉得这句话是对是错,为什么?其实在知乎上就曾有人提过一个问题——如何理解javascript中一切都是对象?

我们不妨先放一放,在文末笔者会给出自己的答案,如想看答案可直接划到文末查看

在前文 JavaScript由什么组成,笔者曾一句带过:

引用类型是 object(一组属性的集合)

而这个 object 包括什么,前文中的案例中出现的 Function、Array 之流又属于什么?

这里引用两本书和MDN中的内容,并结合下给它下个定性:

按照《JavaScript 高级编程第四版》(后文简写高程四)中的说法:

引用类型包括:Object、Array、定型数组(typed array)、Date、RegExp、Function、基本包装类型(String、Number、Boolean)、单体内置对象(Global、Math)、ES6新增引用类型(Map、WeakMap、Set 、WeakSet)

而在《JavaScript启示录》中,则给出 9 个原生(或内置)对象构造函数,String、Number、Boolean、Object、Array、Function、Date、RegExp、Error

MDN 更全面,不仅有值属性(NaN、undefined)、函数属性(eval、isNaN、parseFloat、encodeURI)、基本对象(Object、Function、Boolean、Symbol)、错误对象(Error、TypeError、ReferenceError)、数字和日期对象(Number、BigInt、Math、Date)、字符串(String、RegExp)、可索引的集合对象(Array)、使用键的结合对象(Map、Set、WeakMap、WeakSet)、结构化数据(ArrayBuffer、JSON)、控制抽象对象(Promise、Generator)、放射(Reflect、Proxy)、国际化(Int1)、WebAssembly、arguments等等

个人认为MDN上的内容可以当字典来查看,而对外(面试)可以以高程四为标准解释

等等等等

不是说引用类型就指 object(对象)吗,为什么还包括这些东西,它们不是内置对象吗?

对象~~

内置对象~~

难道说对象包括内置对象?

所以MDN才说:对象(object)是指内存中的可以被标识符引用的一块区域

高程四才说:ECMA-262 将对象定义为一组属性的无需组合。可以把 ECMAScript 的对象想象成一张散列表,其中的内存就是一组名/值对,值可以是数据或者函数

所以 JavaScript 中的对象包含内置对象(或者说对象由内置对象和自定义对象组成)

由于「原型」、「继承」等更底层的设计,对象是"始祖巨人"。基于它,String、Number、Boolean、Array、Function、Date、RegExp、Error 等等以各自特性成一构造函数,当然不知它们,还有很多其他的内置对象

深入理解JavaScript-一切皆对象_第1张图片

后来,笔者在看《JavaScript权威指南(第6版)》时看到这一解释:

以下术语来区分三类 JavaScript 对象和两类属性

  • 内置对象(native object)是由 ECMAScript 规范定义的对象或类。例如,数组、函数、日期和正则表达式都是内置对象
  • 宿主对象(host object)是由 JavaScript 解释器所嵌入的宿主环境(比如 Web 浏览器)定义的
  • 自定义对象(user-defined object)是由运行中的 JavaScript 代码创建的对象
  • 自有属性(own property)是直接在对象中定义的属性
  • 继承属性(inherited property)是在对象的原型对象中定义的属性

所以说 JavaScript 中的「对象」很厉害,大多数元素都是基于「对象」构建。其中像 Object、Function、Array 之类比较重要,后续会对其介绍。单体内置对象、其他内置函数及ES6新增的 Map、Set、WeakMap、WeakSet 暂不做介绍,这里我们先讲讲基本包装类型

基本包装类型

基本包装类型包括: String、Number、Boolean,它和基本类型中的 string、number、boolean 有什么区别

先看一下以下代码:

var string1 = 'foo';
var string2 = String('foo');
var number1 = 10;
var number2 = Number('10');
var boolean1 = true;
var boolean2 = Boolean('true');

console.log(typeof string1, typeof string2); // 输出 'string, string'
console.log(typeof number1, typeof number2); // 输出 'number, number'
console.log(typeof boolean1, typeof boolean2); // 输出 'boolean, boolean'

// 如果使用创建对象的构造函数和new关键字
var myString = new String('male');
var myNumber = new Number(23);
var myBoolean = new Boolean(false);
console.log(typeof myString, typeof myNumber, typeof myBoolean);
// object, object, object

我们看到如果使用字面量语法创建值,数据类型的输出结果是基本类型

如果使用 new 关键字创建 String()、Number()、Boolean() 值时,创建的对象实际上是一个对象(引用类型)

这说明 new 关键字做了一些手脚,具体后续文章会对其介绍

还看出无论是字面量创建值还是不带 new 调用基本包装类型,它们都会转换为其相对应的类型

再看看这个例子

let str = "Hello";

console.log(str.toUpperCase()); // HELLO

一个基本类型为什么会有 toUpperCase 这个方法,它既然是基本类型,那就是一个字符串,为什么会有方法呢?方法从何而来?

高程四的解释是:

在以读模式访问字符串值的任何时候,后台都会执行以下3步:

  1. 创建一个 String 类型的实例;
  2. 调用实例上的特定方法
  3. 销毁实例

可以把这 3 步想象成执行了如下 3 行 ECMAScript 代码:

let s1 = new String("some text")
let s2 = s1.substring(2)
s1 = null

JavaScript Info 给出的解答是:

以下是 JavaScript 创建者面临的悖论:

  • 人们可能想对诸如字符串或数字之类的原始类型执行很多操作。最好使用方法来访问它们。
  • 原始类型必须尽可能的简单轻量。

而解决方案看起来多少有点尴尬,如下:

  1. 原始类型仍然是原始的。与预期相同,提供单个值
  2. JavaScript 允许访问字符串,数字,布尔值和 symbol 的方法和属性。
  3. 为了使它们起作用,创建了提供额外功能的特殊“对象包装器”,使用后即被销毁。

“对象包装器”对于每种原始类型都是不同的,它们被称为 StringNumberBooleanSymbolBigInt。因此,它们提供了不同的方法。

两则都给出了一个答案:

在调用字符串、数字之类的基本类型类型时,ECMAScript 引擎会以基本包装类型为构造函数,创建一个基于它的实例,调用完后,得到生成的结果,删除调用时的实例

所以也解释了虽然它们是基本类型,却能调用各种原型方法

也体现了个别类型既要又要的特殊场景(既要轻量占内存小,又要有方便的方法),而这一切是为了提高性能

JavaScript 中一切都是对象?

回到开头说的:如何理解 JavaScript 中一切都是对象?

笔者的回答是:

不能说一切,但是基本不差

JavaScript 按数据类型分,分为原始类型和引用类型。原始类型又被成为原始值,它包括 string,number,boolean,null,undefined,symbol,bigint;而引用类型则是对象,其对象分为内置对象、宿主对象、自定义对象。内置对象中有 Object、Array、定型数组(typed array)、Date、RegExp、Function、基本包装类型(String、Number、Boolean)、单体内置对象(Global、Math)、ES6新增引用类型(Map、WeakMap、Set 、WeakSet)等等,更详细的可查看 MDN

你写的代码除了基本类型外,都是对象,而基本类型中的 string、number、boolean、symbol、bigInt 又和基本包装类型有了调用原型方法后删除实例的关系。简单来说,它们既享受了基本类型的轻量占内存小,又获得了调用内置构造函数的各种原型方法

基本类型中,除了 null、undefined,其余的都与对象有关,而引用类型就是指对象,所以说 JavaScript 中的一切都是对象,大致上是正确的

缘起性空,下一节,去看看对象中的内置构造函数—— Object

参考资料

系列文章

你可能感兴趣的:(深入理解JavaScript-一切皆对象)