JavaSrcipt原型

JS原型是什么

首先,要明确几个点:

  1. 在JS里,万物皆对象。方法(Function)是对象,方法的原型(Function.prototype)是对象。因此,它们都会具有对象共有的特点。
    即:对象具有属性__proto__,可称为隐式原型,一个对象的隐式原型指向构造该对象的构造函数的原型,这也保证了实例能够访问在构造函数原型中定义的属性和方法。

  2. 方法(Function)
    方法这个特殊的对象,除了和其他对象一样有上述_proto_属性之外,还有自己特有的属性——原型属性(prototype),这个属性是一个指针,指向一个对象,这个对象的用途就是包含所有实例共享的属性和方法(我们把这个对象叫做原型对象)。原型对象也有一个属性,叫做constructor,这个属性包含了一个指针,指回原构造函数。

好啦,知道了这两个基本点,我们来看看上面这副图。

  1. 构造函数Foo()
    构造函数的原型属性Foo.prototype指向了原型对象,在原型对象里有共有的方法,所有构造函数声明的实例(这里是f1,f2)都可以共享这个方法。

  2. 原型对象Foo.prototype
    Foo.prototype保存着实例共享的方法,有一个指针constructor指回构造函数。

  3. 实例
    f1和f2是Foo这个对象的两个实例,这两个对象也有属性__proto__,指向构造函数的原型对象,这样子就可以像上面1所说的访问原型对象的所有方法啦。

    image-20210808204737157

另外:
构造函数Foo()除了是方法,也是对象啊,它也有__proto__属性,指向谁呢?
指向它的构造函数的原型对象呗。函数的构造函数不就是Function嘛,因此这里的__proto__指向了Function.prototype。
其实除了Foo(),Function(), Object()也是一样的道理。

原型对象也是对象啊,它的__proto__属性,又指向谁呢?
同理,指向它的构造函数的原型对象呗。这里是Object.prototype.

最后,Object.prototype的__proto__属性指向null(原型链的终点)

总结:

  1. 对象有属性__proto__,指向该对象的构造函数的原型对象。
  2. 方法除了有属性__proto__,还有属性prototype,prototype指向该方法的原型对象。
  3. 标准化获取对象的构造函数的原型:不要用obj.__proto__,用Object.getPrototypeOf(obj)。

class、new 与原型链

new SomeClass() 时大致发生什么

  1. 创建一个普通对象。
  2. 把该对象的 __proto__ 指向 SomeClass.prototype
  3. 在构造函数执行阶段把 this 绑定到这个新对象上。
  4. 执行 constructor(类里未写时会由引擎补一个空的默认构造函数)。
  5. constructor 显式返回一个对象,则 new 的结果为该对象;否则返回步骤 1 创建的对象。

方法、字段分别挂在哪里

写法 所在位置 典型调用
类体里的 method() {} SomeClass.prototype 实例.method(),所有实例共享一份
static s() {} SomeClass 自身 SomeClass.s(),不在实例上
类字段 x = 1fn = () => {} 每个实例的自有属性 new 一次一份
constructorthis.k = ... 实例自有属性 每实例一份

要点:**类里没写任何实例方法,也照样存在 SomeClass.prototype**(函数/类在创建时就会带上 prototype 对象)。因此 new SomeClass() 得到的实例,其原型仍指向该对象,而不会是「空」或 null(除非你之后手动破坏 prototype,一般不这么做)。

class A extends B a 和 b 的原型链是什么关系

实例链const a = new A()):

1
a → A.prototype → B.prototype → Object.prototype → null

构造函数(类本身)链(静态方法继承走这条):

1
A.__proto__ === B

const b = new B() 时:b → B.prototype → Object.prototype → nullab 会在 B.prototype 这一层在原型链上汇合:a 能用到定义在 B 上的实例方法;b 用不到只挂在 A.prototype 上的成员。

与本文前面小结的对应关系

  • new class 与历史上 new function + Fn.prototype 是同一套模型,class 主要是语法糖并带更严格的调用约束。
  • 判断「属性在哪一层」时:先看实例自有属性,再沿 Object.getPrototypeOf 逐级向上查,直到 null