这一篇主要是介绍普通对象之外的对象类型。
知识点不常见比较深入 JS 底层而且讲得有点绕,不是特别能理解全篇
JS 的对象机制并非简单的属性集合+原型。
我们平时接触到的 API ,几乎都是由下面这些对象提供,理解她们的性质,才能真正理解使用的 API 的特性。
对象分类
- 宿主对象
由 JS 宿主环境提供,行为由宿主环境决定。
例如浏览器宿主环境,全局对象是 window ,而 window 上的属性则一部分来自 JS 语言,一部分来自浏览器环境如 document。
宿主对象分为两种:
- 固有的
- 用户可创建的如document.createElement
宿主对象还提供一些构造器,如 new Image 创建 img
- 内置对象·固有对象
固有对象是由标准规定,随着 JS 运行时创建而自动创建的对象实例。
通常扮演类似基础库的角色。
思考题:如何获取 JS 所有固有对象
- 内置对象·原生对象
能够通过语言本身的构造器创建的对象:
原生.png
几乎所有这些构造器的能力都无法用纯 JS 实现,也无法用 class/extend 继承。
它们创建的对象多数使用了私有字段:
- Error:[[ErrorData]]
- Number: [[NumberData]] 等
这些字段使原型继承方法无法正常工作(这一点不能理解)
所以可以认为,所有这些原生对象都是为了特定能力或者性能,而设计出来的「特权对象」
用对象模拟函数与构造器:函数对象与构造器对象
前面是对象的一般分类,还可以从另外一个角度来看待,就是用对象来模拟函数和构造器。
JS 为这一类对象预留了私有字段机制,并规定了抽象的函数对象与构造器对象的概念,只要对象能实现规定的私有字段,就是一个函数或者构造器。
- 函数对象:具有 [[call]] 私有字段的对象
[[call]] 私有字段必须是一个引擎中定义的函数,需要接受 this 值和调用参数,并且会产生域的切换。 - 构造器对象:具有私有字段 [[construct]] 的对象
对宿主和内置对象来说,不一定是这样,比如内置对象 Date 在作为构造器调用时产生新的对象,作为函数时,则产生字符串。
而浏览器宿主环境,提供的 Image 构造器,不允许被作为函数调用
基本类型(String、Number、Boolean 等),它们的构造器被当作函数调用,产生类型转换的效果。
ES6 的箭头函数创建的函数仅仅是函数,无法当作构造器。
使用 function 语法或者 Function 构造器创建的对象, [[call]] 和 [[construct]] 行为总是相似
function f(){
return 1;
}
var v = f(); // 把 f 作为函数调用
var o = new f(); // 把 f 作为构造器调用
大致可以认为, [[construct]] 的执行过程如下
- 以 Object.prototype 为原型创建一个新对象
- 以新对象为 this ,执行函数的 [[call]]
- 如果 [[call]] 返回值是对象,那么返回这个对象,否则返回第一步创建的新对象
如果构造器返回了一个新对象,那么 new 创建的新对象就变成了一个构造函数之外完全无法访问的对象,一定程度上实现「私有」
function cls(){
this.a = 100;
return {
getValue:() => this.a
}
}
var o = new cls;
o.getValue(); //100
//a 在外面永远无法访问到
特殊行为的对象
在固有对象和原生对象中,有一些对象的行为更正常对象有很大区别。
它们常见的下标运算或者设置原型跟普通对象不同
- Array:Array 的 length 属性根据最大的下标自动发生变化
- Object.prototype: 作为所有正常对象的默认原型对象,不能再给它设置原型了
- String:为了支持洗标运算,String 的正整数属性访问会去字符串里查找
- Arguments:arguments 的非负整数型下标属性跟对应的变量联动。
- 模块的 namespace 对象:特殊的地方非常多,跟一般对象完全不一样,尽量只用于 import 吧。
- 类型数组和数组缓冲区:跟内存块相关联,下标运算比较特殊。
- bind 后的 function:跟原来的函数相关联
思考:不使用 new 运算符,找到获得对象的方法。
网友评论