重学前端（六）全部对象

这一篇主要是介绍普通对象之外的对象类型。
知识点不常见比较深入 JS 底层而且讲得有点绕，不是特别能理解全篇

JS 的对象机制并非简单的属性集合+原型。
我们平时接触到的 API ，几乎都是由下面这些对象提供，理解她们的性质，才能真正理解使用的 API 的特性。

对象分类

1. 宿主对象

由 JS 宿主环境提供，行为由宿主环境决定。
例如浏览器宿主环境，全局对象是 window ，而 window 上的属性则一部分来自 JS 语言，一部分来自浏览器环境如 document。

宿主对象分为两种：

• 固有的
• 用户可创建的如document.createElement

宿主对象还提供一些构造器，如 new Image 创建 img

2. 内置对象·固有对象

固有对象是由标准规定，随着 JS 运行时创建而自动创建的对象实例。
通常扮演类似基础库的角色。

思考题：如何获取 JS 所有固有对象

3. 内置对象·原生对象

能够通过语言本身的构造器创建的对象：

原生.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 运算符，找到获得对象的方法。