继承与原型链

在编程中,继承是指将特性从父代传递给子代,以便新代码可以重用并基于现有代码的特性进行构建。JavaScript 使用对象实现继承。每个对象都有一条链接到另一个称作原型的对象的内部链。该原型对象有自己的原型,依此类推,直到原型是 null 的对象。根据定义,null 没有原型,并作为这条原型链中最后的一环。在运行时修改原型链的任何成员、甚至是换掉原型都是可能的,所以像静态分派这样的概念在 JavaScript 中不存在。

对于有基于类的语言(如 Java 或 C++)经验的开发者来说,JavaScript 有些令人困惑——因为它是动态的并且没有静态类型。尽管这个困惑通常被认为是 JavaScript 的弱点之一,但是原型继承模型实际上比类式模型更强大。例如,在原型模型的基础上构建类式模型(即的实现方式)相当简单。

尽管类现在被广泛使用并成为 JavaScript 中新的范式,但是类并没有引入新的继承模式。尽管类抽象掉了大部分的原型机制,但是理解原型的底层工作机制仍然十分有用。

基于原型链的继承

继承属性

JavaScript 对象是动态的属性(称为自有属性)“包”。JavaScript 对象有一条指向原型对象的链。当试图访问对象的属性时,不仅在该对象上查找属性,还会在该对象的原型上查找属性,以及原型的原型,依此类推,直到找到一个名字匹配的属性或到达原型链的末尾。

备注: 根据 ECMAScript 标准,符号 someObject.[[Prototype]] 用于指定 someObject 的原型。使用 Object.getPrototypeOf()Object.setPrototypeOf() 函数分别访问和修改 [[Prototype]] 内部插槽。这与 JavaScript 访问器 __proto__ 是等价的,后者是非标准的,但许多 JavaScript 引擎实际上实现了它。为了保持简洁和避免困惑,在我们的表示法中,我们会避免使用 obj.__proto__,而是使用 obj.[[Prototype]]。其对应于 Object.getPrototypeOf(obj)

不应将它与函数的 func.prototype 属性弄混,后者表明的是指定函数作为构造函数时创建的所有对象实例[[Prototype]]。我们将在后面的小节中讨论构造函数的 prototype 属性。

有几种可以指定对象的 [[Prototype]] 的方法,这些方法将在后面的小节中列出。现在,我们将使用 __proto__ 语法进行说明。值得注意的是,{ __proto__: ... } 语法与 obj.__proto__ 访问器不同:前者是标准且未被弃用的。

在像 { a: 1, b: 2, __proto__: c } 这样的对象字面量中,值 c(其必须为 null 或另一个对象)将变成字面量所表示的对象的 [[Prototype]],而其他像 ab 这样的键将变成对象的自有属性。这种语法读起来非常自然,因为 [[Prototype]] 只是对象的“内部属性”。

下面演示当尝试访问属性时会发生什么:

js
const o = {
  a: 1,
  b: 2,
  // __proto__ 设置了 [[Prototype]]。在这里它被指定为另一个对象字面量。
  __proto__: {
    b: 3,
    c: 4,
  },
};

// o.[[Prototype]] 具有属性 b 和 c。
// o.[[Prototype]].[[Prototype]] 是 Object.prototype(我们会在下文解释其含义)。
// 最后,o.[[Prototype]].[[Prototype]].[[Prototype]] 是 null。
// 这是原型链的末尾,
// 因为根据定义,null 没有 [[Prototype]]。
// 因此,完整的原型链看起来像这样:
// { a: 1, b: 2 } ---> { b: 3, c: 4 } ---> Object.prototype ---> null

console.log(o.a); // 1
// o 上有自有属性“a”吗?有,且其值为 1。

console.log(o.b); // 2
// o 上有自有属性“b”吗?有,且其值为 2。
// 原型也有“b”属性,但其没有被访问。
// 这被称为属性遮蔽(Property Shadowing)

console.log(o.c); // 4
// o 上有自有属性“c”吗?没有,检查其原型。
// o.[[Prototype]] 上有自有属性“c”吗?有,其值为 4。

console.log(o.d); // undefined
// o 上有自有属性“d”吗?没有,检查其原型。
// o.[[Prototype]] 上有自有属性“d”吗?没有,检查其原型。
// o.[[Prototype]].[[Prototype]] 是 Object.prototype 且
// 其默认没有“d”属性,检查其原型。
// o.[[Prototype]].[[Prototype]].[[Prototype]] 为 null,停止搜索,
// 未找到该属性,返回 undefined。

给对象设置属性会创建自有属性。获取和设置行为规则的唯一例外是当它被 getter 或 setter 拦截时。

同理,你可以创建更长的原型链,并在所有的原型链上查找属性。

js
const o = {
  a: 1,
  b: 2,
  // __proto__ 设置了 [[Prototype]]。在这里它被指定为另一个对象字面量。
  __proto__: {
    b: 3,
    c: 4,
    __proto__: {
      d: 5,
    },
  },
};

// { a: 1, b: 2 } ---> { b: 3, c: 4 } ---> { d: 5 } ---> Object.prototype ---> null

console.log(o.d); // 5

继承“方法”

JavaScript 中定义“方法”的形式和基于类的语言定义方法的形式不同。在 JavaScript 中,对象可以以属性的形式添加函数。继承的函数与其他属性一样,包括属性遮蔽(在这种情况下,是一种方法重写的形式)。

当执行继承的函数时,this 值指向继承对象,而不是将该函数作为其自有属性的原型对象。

js
const parent = {
  value: 2,
  method() {
    return this.value + 1;
  },
};

console.log(parent.method()); // 3
// 当调用 parent.method 时,“this”指向了 parent

// child 是一个继承了 parent 的对象
const child = {
  __proto__: parent,
};
console.log(child.method()); // 3
// 调用 child.method 时,“this”指向了 child。
// 又因为 child 继承的是 parent 的方法,
// 首先在 child 上寻找属性“value”。
// 然而,因为 child 没有名为“value”的自有属性,
// 该属性会在 [[Prototype]] 上被找到,即 parent.value。

child.value = 4; // 将 child 上的属性“value”赋值为 4。
// 这会遮蔽 parent 上的“value”属性。
// child 对象现在看起来是这样的:
// { value: 4, __proto__: { value: 2, method: [Function] } }
console.log(child.method()); // 5
// 因为 child 现在拥有“value”属性,“this.value”现在表示 child.value

构造函数

原型的强大之处在于,如果一组属性应该出现在每一个实例上,那我们就可以复用它们——尤其是对于方法。假设我们要创建多个盒子,其中每一个盒子都是一个对象,包含一个可以通过 getValue 函数访问的值。一个简单的实现可能是:

js
const boxes = [
  { value: 1, getValue() { return this.value; } },
  { value: 2, getValue() { return this.value; } },
  { value: 3, getValue() { return this.value; } },
];

这是不够好的,因为每一个实例都有自己的,做相同事情的函数属性,这是冗余且不必要的。相反,我们可以将 getValue 移动到所有盒子的 [[Prototype]] 上:

js
const boxPrototype = {
  getValue() {
    return this.value;
  },
};

const boxes = [
  { value: 1, __proto__: boxPrototype },
  { value: 2, __proto__: boxPrototype },
  { value: 3, __proto__: boxPrototype },
];

这样,所有盒子的 getValue 方法都会引用相同的函数,降低了内存使用率。但是,为每个对象创建手动绑定 __proto__ 仍旧非常不方便。这时,我们就可以使用构造函数,它会自动为每个构造的对象设置 [[Prototype]]。构造函数是使用 new 调用的函数。

js
// 构造函数
function Box(value) {
  this.value = value;
}

// 使用 Box() 构造函数创建的所有盒子都将具有的属性
Box.prototype.getValue = function () {
  return this.value;
};

const boxes = [new Box(1), new Box(2), new Box(3)];

我们说 new Box(1) 是通过 Box 构造函数创建的一个实例Box.prototype 与我们之前创建的 boxPrototype 并无太大区别——它只是一个普通的对象。通过构造函数创建的每一个实例都会自动将构造函数的 prototype 属性作为其 [[Prototype]]。即,Object.getPrototypeOf(new Box()) === Box.prototypeConstructor.prototype 默认具有一个自有属性:constructor,它引用了构造函数本身。即,Box.prototype.constructor === Box。这允许我们在任何实例中访问原始构造函数。

备注: 如果构造函数返回非原始值,则该值将成为 new 表达式的结果。在这种情况下,可能无法正确绑定 [[Prototype]]——但在实践中应该很少发生。

将上面的构造函数重写为:

js
class Box {
  constructor(value) {
    this.value = value;
  }

  // 在 Box.prototype 上创建方法
  getValue() {
    return this.value;
  }
}

类是构造函数的语法糖,这意味着你仍然可以修改 Box.prototype 来改变所有实例的行为。然而,由于类被设计为对底层原型机制的抽象,我们将在本教程中使用更轻量级的构造函数语法,以充分展示原型的工作原理。

因为 Box.prototype 引用的对象和所有实例的 [[Prototype]] 是同一个对象,所以我们可以通过改变 Box.prototype 来改变所有实例的行为。

js
function Box(value) {
  this.value = value;
}
Box.prototype.getValue = function () {
  return this.value;
};
const box = new Box(1);

// 在创建实例后修改 Box.prototype
Box.prototype.getValue = function () {
  return this.value + 1;
};
box.getValue(); // 2

有个推论是:重新赋值 Constructor.prototypeConstructor.prototype = ...)是一个不好的主意,原因有两点:

  • 在重新赋值之前创建的实例的 [[Prototype]] 引用的对象与重新赋值之后创建的实例的 [[Prototype]] 引用的对象现在是不同的——改变一个的 [[Prototype]] 不再改变另一个的 [[Prototype]]
  • 除非你手动重新设置 constructor 属性,否则无法再通过 instance.constructor 追踪到构造函数,这可能会破坏用户期望的行为。一些内置操作也会读取 constructor 属性,如果没有设置,它们可能无法按预期工作。

Constructor.prototype 仅在构造实例时有用。它与 Constructor.[[Prototype]] 无关,后者是构造函数的自有原型,即 Function.prototype。也就是说,Object.getPrototypeOf(Constructor) === Function.prototype

字面量的隐式构造函数

JavaScript 中的一些字面量语法会创建隐式设置 [[Prototype]] 的实例。例如:

js
// 对象字面量(没有 `__proto__` 键)自动将 `Object.prototype` 作为它们的 `[[Prototype]]`
const object = { a: 1 };
Object.getPrototypeOf(object) === Object.prototype; // true

// 数组字面量自动将 `Array.prototype` 作为它们的 `[[Prototype]]`
const array = [1, 2, 3];
Object.getPrototypeOf(array) === Array.prototype; // true

// 正则表达式字面量自动将 `RegExp.prototype` 作为它们的 `[[Prototype]]`
const regexp = /abc/;
Object.getPrototypeOf(regexp) === RegExp.prototype; // true

我们可以将它们“解糖(de-sugar)”为构造函数形式。

js
const array = new Array(1, 2, 3);
const regexp = new RegExp("abc");

例如,像 map() 这样的“数组方法”是仅在 Array.prototype 上定义的方法,而它们又自动在所有数组实例上可用,就是因为这个原因。

警告: 有一个常见的错误实践(misfeature):扩展 Object.prototype 或其它内置原型。这种不良特性例子是,定义 Array.prototype.myMethod = function () {...},然后在所有数组实例上使用 myMethod

这种错误实践被称为猴子修补(monkey patching)。使用猴子修补存在向前兼容的风险,因为如果语言在未来添加了此方法但具有不同的签名,你的代码将会出错。它已经导致了类似于 SmooshGate 这样的事件,并且因为 JavaScript 致力于“不破坏 web”,所以这可能会对语言的发展造成极大的麻烦。

扩展内置原型的唯一理由是向后移植新的 JavaScript 引擎的特性,比如 Array.prototype.forEach

有趣的是,由于历史原因,一些内置构造函数的 prototype 属性本身就是其自身的实例。例如,Number.prototype 是数字 0,Array.prototype 是一个空数组,RegExp.prototype/(?:)/

js
Number.prototype + 1; // 1
Array.prototype.map((x) => x + 1); // []
String.prototype + "a"; // "a"
RegExp.prototype.source; // "(?:)"
Function.prototype(); // Function.prototype 本身就是一个无操作函数

然而,对于用户定义的构造函数,以及 Map 等现代的构造函数,则并非如此。

js
Map.prototype.get(1);
// Uncaught TypeError: get method called on incompatible Map.prototype

构建更长的继承链

Constructor.prototype 属性将成为构造函数实例的 [[Prototype]],包括 Constructor.prototype 自身的 [[Prototype]]。默认情况下,Constructor.prototype 是一个普通对象——即 Object.getPrototypeOf(Constructor.prototype) === Object.prototype。唯一的例外是 Object.prototype 本身,其 [[Prototype]]null——即 Object.getPrototypeOf(Object.prototype) === null。因此,一个典型的构造函数将构建以下原型链:

js
function Constructor() {}

const obj = new Constructor();
// obj ---> Constructor.prototype ---> Object.prototype ---> null

要构建更长的原型链,我们可以通过 Object.setPrototypeOf() 函数设置 Constructor.prototype[[Prototype]]

js
function Base() {}
function Derived() {}
// 将 `Derived.prototype` 的 `[[Prototype]]`
// 设置为 `Base.prototype`
Object.setPrototypeOf(Derived.prototype, Base.prototype);

const obj = new Derived();
// obj ---> Derived.prototype ---> Base.prototype ---> Object.prototype ---> null

在类的术语中,这等同于使用 extends 语法。

js
class Base {}
class Derived extends Base {}

const obj = new Derived();
// obj ---> Derived.prototype ---> Base.prototype ---> Object.prototype ---> null

你可能还会看到一些使用 Object.create() 来构建继承链的旧代码。然而,因为这会重新为 prototype 属性赋值并删除 constructor 属性,所以更容易出错,而且如果构造函数还没有创建任何实例,性能提升可能并不明显。

js
function Base() {}
function Derived() {}
// 将 `Derived.prototype` 重新赋值为一个新对象,
// 并将 `Base.prototype` 作为新对象的 `[[Prototype]]`
// 请不要这样做——使用 Object.setPrototypeOf 来修改它
Derived.prototype = Object.create(Base.prototype);

检查原型:更深入的研究

让我们来仔细看看幕后发生了什么。

如上所述,在 JavaScript 中,函数可以拥有属性。所有函数都有一个名为 prototype 的特殊属性。请注意,下面的代码是独立的(出于严谨,假设页面没有其他的 JavaScript 代码)。为获得最佳的学习体验,强烈建议你打开控制台,进入“console”标签页,复制并粘贴以下 JavaScript 代码,然后按回车键运行。(大多数 web 浏览器的开发者工具中都包含控制台。请参阅 Firefox 开发者工具Chrome 开发者工具Edge 开发者工具,以了解详情。)

js
function doSomething() {}
console.log(doSomething.prototype);
// 你如何声明函数并不重要;
// JavaScript 中的函数总有一个默认的
// 原型属性——有一个例外:
// 箭头函数没有默认的原型属性:
const doSomethingFromArrowFunction = () => {};
console.log(doSomethingFromArrowFunction.prototype);

如上所示,doSomething() 有一个默认的 prototype 属性(正如控制台所示)。运行这段代码后,控制台应该显示一个类似于下面的对象。

{
  constructor: ƒ doSomething(),
  [[Prototype]]: {
    constructor: ƒ Object(),
    hasOwnProperty: ƒ hasOwnProperty(),
    isPrototypeOf: ƒ isPrototypeOf(),
    propertyIsEnumerable: ƒ propertyIsEnumerable(),
    toLocaleString: ƒ toLocaleString(),
    toString: ƒ toString(),
    valueOf: ƒ valueOf()
  }
}

备注: 遵循规范的术语,Chrome 控制台使用 [[Prototype]] 表示对象的原型;而 Firefox 使用 <prototype>。为了保持一致性,我们将使用 [[Prototype]]

我们可以像下面这样,向 doSomething() 的原型添加属性。

js
function doSomething() {}
doSomething.prototype.foo = "bar";
console.log(doSomething.prototype);

其结果为:

{
  foo: "bar",
  constructor: ƒ doSomething(),
  [[Prototype]]: {
    constructor: ƒ Object(),
    hasOwnProperty: ƒ hasOwnProperty(),
    isPrototypeOf: ƒ isPrototypeOf(),
    propertyIsEnumerable: ƒ propertyIsEnumerable(),
    toLocaleString: ƒ toLocaleString(),
    toString: ƒ toString(),
    valueOf: ƒ valueOf()
  }
}

我们现在可以使用 new 运算符创建基于该原型的 doSomething() 的实例。要使用 new 运算符,只需正常调用函数,只是要在前面加上 new。使用 new 运算符调用函数会返回该函数的实例对象。然后可以在该对象上添加属性。

尝试以下代码:

js
function doSomething() {}
doSomething.prototype.foo = "bar"; // 向原型添加一个属性
const doSomeInstancing = new doSomething();
doSomeInstancing.prop = "some value"; // 向对象添加一个属性
console.log(doSomeInstancing);

这会产生类似于下面的输出:

{
  prop: "some value",
  [[Prototype]]: {
    foo: "bar",
    constructor: ƒ doSomething(),
    [[Prototype]]: {
      constructor: ƒ Object(),
      hasOwnProperty: ƒ hasOwnProperty(),
      isPrototypeOf: ƒ isPrototypeOf(),
      propertyIsEnumerable: ƒ propertyIsEnumerable(),
      toLocaleString: ƒ toLocaleString(),
      toString: ƒ toString(),
      valueOf: ƒ valueOf()
    }
  }
}

如上所示,doSomeInstancing[[Prototype]]doSomething.prototype。但是,这是做什么的呢?当你访问 doSomeInstancing 的属性时,运行时首先会查找 doSomeInstancing 是否有该属性。

如果 doSomeInstancing 没有该属性,那么运行时会在 doSomeInstancing.[[Prototype]](也就是 doSomething.prototype)中查找该属性。如果 doSomeInstancing.[[Prototype]] 有该属性,那么就会使用 doSomeInstancing.[[Prototype]] 上的该属性。

否则,如果 doSomeInstancing.[[Prototype]] 没有该属性,那么就会在 doSomeInstancing.[[Prototype]].[[Prototype]] 中查找该属性。默认情况下,任何函数的 prototype 属性的 [[Prototype]] 都是 Object.prototype。因此会在 doSomeInstancing.[[Prototype]].[[Prototype]](也就是 doSomething.prototype.[[Prototype]](也就是 Object.prototype))上查找该属性。

如果在 doSomeInstancing.[[Prototype]].[[Prototype]] 中没有找到该属性,那么就会在 doSomeInstancing.[[Prototype]].[[Prototype]].[[Prototype]] 中查找该属性。但是,这里有一个问题:doSomeInstancing.[[Prototype]].[[Prototype]].[[Prototype]] 不存在,因为 Object.prototype.[[Prototype]]null。然后,只有在查找完整个 [[Prototype]] 的原型链之后,运行时才会断言该属性不存在,并得出该属性的值为 undefined

让我们在控制台中输入更多的代码:

js
function doSomething() {}
doSomething.prototype.foo = "bar";
const doSomeInstancing = new doSomething();
doSomeInstancing.prop = "some value";
console.log("doSomeInstancing.prop:     ", doSomeInstancing.prop);
console.log("doSomeInstancing.foo:      ", doSomeInstancing.foo);
console.log("doSomething.prop:          ", doSomething.prop);
console.log("doSomething.foo:           ", doSomething.foo);
console.log("doSomething.prototype.prop:", doSomething.prototype.prop);
console.log("doSomething.prototype.foo: ", doSomething.prototype.foo);

其结果如下:

doSomeInstancing.prop:      some value
doSomeInstancing.foo:       bar
doSomething.prop:           undefined
doSomething.foo:            undefined
doSomething.prototype.prop: undefined
doSomething.prototype.foo:  bar

使用不同的方法来创建对象和改变原型链

我们碰到过很多创建对象和改变其原型链的方法。我们将系统地总结不同的方法,并比较每种方法的优缺点。

使用语法结构创建对象

js
const o = { a: 1 };
// 新创建的对象 o 以 Object.prototype 作为它的 [[Prototype]]
// Object.prototype 以 null 作为它的 [[Prototype]]。
// o ---> Object.prototype ---> null

const b = ["yo", "whadup", "?"];
// 数组继承了 Array.prototype(具有 indexOf、forEach 等方法)
// 原型链如下所示:
// b ---> Array.prototype ---> Object.prototype ---> null

function f() {
  return 2;
}
// 函数继承了 Function.prototype(具有 call、bind 等方法)
// f ---> Function.prototype ---> Object.prototype ---> null

const p = { b: 2, __proto__: o };
// 可以通过 __proto__ 字面量属性(不要将其与 Object.prototype.__proto__ 访问器弄混)将新创建的对象的
// [[Prototype]] 指向另一个对象。
// p ---> o ---> Object.prototype ---> null

对象初始化器中使用 __proto__ 键时,将 __proto__ 键指向非对象的值只会被忽略,而非抛出异常。与 Object.prototype.__proto__ 的 setter 相反,对象字面量初始化器中的 __proto__ 是标准化的、被优化的,甚至比 Object.create 更高效。在创建对象时声明额外的自有属性比 Object.create 更符合习惯。

使用构造函数

js
function Graph() {
  this.vertices = [];
  this.edges = [];
}

Graph.prototype.addVertex = function (v) {
  this.vertices.push(v);
};

const g = new Graph();
// g 是一个带有自有属性“vertices”和“edges”的对象。
// 在执行 new Graph() 时,g.[[Prototype]] 是 Graph.prototype 的值。

构造函数从很早期的 JavaScript 就已经存在了。因此,它的速度非常快,非常标准,并且非常容易被 JIT 优化。然而,它也很难“正确地”使用,因为通过这种方式添加的方法默认是可枚举的,这与类语法或内置方法的行为不一致。进行更长的继承链也容易出错,正如之前所展示的那样。

使用 Object.create()

调用 Object.create() 会创建一个新对象。该对象的 [[Prototype]] 是该函数的第一个参数:

js
const a = { a: 1 };
// a ---> Object.prototype ---> null

const b = Object.create(a);
// b ---> a ---> Object.prototype ---> null
console.log(b.a); // 1(继承的)

const c = Object.create(b);
// c ---> b ---> a ---> Object.prototype ---> null

const d = Object.create(null);
// d ---> null(d 是一个直接以 null 为原型的对象)
console.log(d.hasOwnProperty);
// undefined,因为 d 没有继承 Object.prototype

与对象初始化器中的 __proto__ 键类似,Object.create() 允许在创建时直接设置对象的原型,这允许运行时进一步优化对象。还允许使用 Object.create(null) 创建原型为 null 的对象。Object.create() 的第二个参数能精确地指明新对象中每个属性的特性,而这会是一把双刃剑:

  • 它能在对象创建期间创建不可枚举的属性,而这用对象字面量做不到。
  • 它比对象字面量更加冗长以及更容易出错。
  • 它可能比对象字面量更慢,特别是创建很多属性时。

使用类

js
class Rectangle {
  constructor(height, width) {
    this.name = "Rectangle";
    this.height = height;
    this.width = width;
  }
}

class FilledRectangle extends Rectangle {
  constructor(height, width, color) {
    super(height, width);
    this.name = "Filled rectangle";
    this.color = color;
  }
}

const filledRectangle = new FilledRectangle(5, 10, "blue");
// filledRectangle ---> FilledRectangle.prototype ---> Rectangle.prototype ---> Object.prototype ---> null

在定义复杂的继承结构时,类提供了非常高的可读性和可维护性。私有属性是原型继承中没有简单替代方案的特性。然而,类比传统的构造函数的性能要差,而且不支持旧环境。

使用 Object.setPrototypeOf()

虽然上面的所有方法都会在对象创建时设置原型链,但是 Object.setPrototypeOf() 允许修改现有对象的 [[Prototype]] 内部属性。它甚至能强制为 Object.create(null) 创建的无原型的对象设置原型,或者将原型设置为 null 移除对象的原型。

js
const obj = { a: 1 };
const anotherObj = { b: 2 };
Object.setPrototypeOf(obj, anotherObj);
// obj ---> anotherObj ---> Object.prototype ---> null

然而,你应该尽可能在创建时设置原型,因为动态设置原型会破坏引擎已经为原型链做过的所有优化。它可能会造成一些引擎为了反优化而重新编译你的代码,以使其按照规范工作。

使用 __proto__ 访问器

所有对象都继承了 Object.prototype.__proto__ setter,它可以用来设置现有对象的 [[Prototype]](如果对象的 __proto__ 属性没有被覆盖)。

警告: Object.prototype.__proto__ 访问器是非标准的,且已被弃用。你应该几乎总是使用 Object.setPrototypeOf

js
const obj = {};
// 请不要使用该方法:仅作为示例。
obj.__proto__ = { barProp: "bar val" };
obj.__proto__.__proto__ = { fooProp: "foo val" };
console.log(obj.fooProp);
console.log(obj.barProp);

Object.setPrototypeOf 相比,将 __proto__ 设置为非对象的值只会被忽略,而非抛出异常。它也只有稍微好一点的浏览器支持。然而,它是非标准的,并且已被弃用。你应该几乎总是使用 Object.setPrototypeOf

性能

属性位于原型链上层可能会对属性的查找时间产生性能方面的负面影响,这在性能至关重要的代码中可能会非常明显。此外,尝试访问不存在的属性始终会遍历整个原型链。

此外,在遍历对象的属性时,原型链中的每个可枚举属性都将被枚举。要检查对象是否具有在其自身上、而不是在其原型链上的某个地方定义的属性,则有必要使用 hasOwnPropertyObject.hasOwn 方法。除 [[Prototype]]null 的对象外,所有对象都从 Object.prototype 继承 hasOwnProperty——除非它已经在原型链较下层处被覆盖。我们将使用上面的图示例代码来说明它,具体如下:

js
function Graph() {
  this.vertices = [];
  this.edges = [];
}

Graph.prototype.addVertex = function (v) {
  this.vertices.push(v);
};

const g = new Graph();
// g ---> Graph.prototype ---> Object.prototype ---> null

g.hasOwnProperty("vertices"); // true
Object.hasOwn(g, "vertices"); // true

g.hasOwnProperty("nope"); // false
Object.hasOwn(g, "nope"); // false

g.hasOwnProperty("addVertex"); // false
Object.hasOwn(g, "addVertex"); // false

Object.getPrototypeOf(g).hasOwnProperty("addVertex"); // true

注意:仅检查属性是否为 undefined不够的。该属性很可能存在,但其值恰好设置为 undefined

总结

对于 Java 或 C++ 的开发者来说,JavaScript 可能有点令人困惑,因为它是完全动态、完全是在执行期间确定的,而且根本没有静态类型。一切要么是对象(实例),要么是函数(构造函数),甚至函数本身也是 Function 构造函数的实例。即使作为语法结构的“类”在运行时也只是构造函数。

JavaScript 中的所有构造函数都有一个被称为 prototype 的特殊属性,它与 new 运算符一起使用。对原型对象的引用被复制到新实例的内部属性 [[Prototype]] 中。例如,当你执行 const a1 = new A() 时,JavaScript(在内存中创建对象之后,定义 this 为该对象并执行 A() 之前)设置 a1.[[Prototype]] = A.prototype。然后,当你访问实例的属性时,JavaScript 首先检查它们是否直接存在于该对象上,如果不存在,则在 [[Prototype]] 中查找。会递归地查询 [[Prototype]],即 a1.doSomethingObject.getPrototypeOf(a1).doSomethingObject.getPrototypeOf(Object.getPrototypeOf(a1)).doSomething,依此类推,直到被找到或 Object.getPrototypeOf 返回 null。这意味着在 prototype 上定义的所有属性实际上都由所有实例共享,并且甚至可以更改 prototype 的部分内容,使得更改被应用到所有现有的实例中。

在上面的示例中,如果你执行 const a1 = new A(); const a2 = new A();,那么 a1.doSomething 实际上会引用 Object.getPrototypeOf(a1).doSomething——这与你定义的 A.prototype.doSomething 相同,即 Object.getPrototypeOf(a1).doSomething === Object.getPrototypeOf(a2).doSomething === A.prototype.doSomething

了解原型继承模型是使用它编写复杂代码的重要基础。此外,要注意代码中原型链的长度,在必要时可以将其分解,以避免潜在的性能问题。此外,除非是为了与新的 JavaScript 特性兼容,否则永远不应扩展原生原型。