JS全部对象

297 阅读5分钟

1)、宿主对象

  • 由 JavaScript 宿主环境提供的对象,它们的行为完全由宿主环境决定;
  • JavaScript 宿主对象千奇百怪,但是前端最熟悉的无疑是浏览器环境中的宿主了;
  • 在浏览器环境中,我们都知道全局对象是 window,window 上又有很多属性,如 document。实际上,这个全局对象 window 上的属性,一部分来自 JavaScript 语言,一部分来自浏览器环境;
  • JavaScript 标准中规定了全局对象属性,W3C 的各种标准中规定了 Window 对象的其它属性;
  • 宿主对象也分为固有的和用户可创建的两种,比如 document.createElement 就可以创建一些 DOM 对象。宿主也会提供一些构造器,比如我们可以使用 new Image 来创建 img 元素。

2)、内置对象

  • 固有对象
    • 固有对象是由标准规定,随着 JavaScript 运行时创建而自动创建的对象实例;
    • 固有对象在任何 JavaScript 代码执行前就已经被创建出来了,它们通常扮演者类似基础库的角色。我们前面提到的“类”其实就是固有对象的一种。
  • 原生对象
    • 把 JavaScript 中,能够通过语言本身的构造器创建的对象称作原生对象。在 JavaScript 标准中,提供了 30 多个构造器;
    • 通过这些构造器,我们可以用 new 运算创建新的对象,所以我们把这些对象称作原生对象;
      基本类型 基础功能和数据结 错误类型 带数型的数组
      Boolean Array Error Float32Array
      String Date EvalError Float64Array
      Number RegExp RangeError Int8Array
      Symbol Promise ReferenceError Int32Array
      Object Proxy SyntaxError Uint8Array
      String Map TypeError Uint32Array
      ... ... ... ...
    • 几乎所有这些构造器的能力都是无法用纯 JavaScript 代码实现的,它们也无法用 class/extend 语法来继承。
      • Error
      • Boolean
      • Number
      • Date
      • RegExp
      • Symbol
      • Map
    • 这些字段使得原型继承方法无法正常工作,所以,我们可以认为,所有这些原生对象都是为了特定能力或者性能,而设计出来的“特权对象”。

3)、用对象来模拟函数与构造器(预留了私有字段机制)

  • 函数对象:具有[[call]]私有字段的对象
    • 任何对象只需要实现[[call]],它就是一个函数对象,可以去作为函数被调用。
  • 构造器对象:具有[[construct]]私有字段的对象
    • 任何对象只需要实现[[construct]],它就是一个构造器对象,可以作为构造器被调用。
  • 对于为 JavaScript 提供运行环境的程序员来说,只要字段符合,我们在上文中提到的宿主对象和内置对象(如 Symbol 函数)可以模拟函数和构造器。
  • 用户用 function 关键字创建的函数必定同时是函数和构造器。不过,它们表现出来的行为效果却并不相同。
  • 对于宿主和内置对象来说,它们实现[[call]](作为函数被调用)和[[construct]](作为构造器被调用)不总是一致的。比如内置对象 Date 在作为构造器调用时产生新的对象,作为函数时,则产生字符串,见以下代码:
    const a = new Date();
    const b = Date();
    console.log(a, a.getDate());
    console.log(b, b.getDate()); //b只是一个字符串 执行b.getDate() 抛出错误
    
  • 而浏览器宿主环境中,提供的 Image 构造器,则根本不允许被作为函数调用:
    console.log(new Image());
    console.log(Image()); //抛出错误
    
  • 再比如基本类型(String、Number、Boolean),它们的构造器被当作函数调用,则产生类型转换的效果。
  • 值得一提的是,在 ES6 之后 => 语法创建的函数仅仅是函数,它们无法被当作构造器使用,见以下代码:
    new ((a) => 0)(); // error
    
  • 对于用户使用 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在外面永远无法访问到
    

4)、特殊行为对象

除了上面介绍的对象之外,在固有对象和原生对象中,有一些对象的行为跟正常对象有很大区别。它们常见的下标运算(就是使用中括号或者点来做属性访问)或者设置原型跟普通对象不同,这里简单总结一下。

  • Array:Array 的 length 属性根据最大的下标自动发生变化。
  • Object.prototype:作为所有正常对象的默认原型,不能再给它设置原型了。
  • String:为了支持下标运算,String 的正整数属性访问会去字符串里查找。
  • Arguments:arguments 的非负整数型下标属性跟对应的变量联动。
  • 模块的 namespace 对象:特殊的地方非常多,跟一般对象完全不一样,尽量只用于 import 吧。
  • 类型数组和数组缓冲区:跟内存块相关联,下标运算比较特殊。
  • bind 后的 function:跟原来的函数相关联。