# 原型链

javascript 常被描述为一种 基于原型(prototype-based language) 的语言。每个对象都拥有一个 原型对象 ,对象以原型为模板、从原型继承方法和属性。原型对象也可能拥有原型,并从中继承方法和属性,一层一层,这种关系常被称为 原型链

准确的说,这些属性和方法定义在 Object 的构造函数上的 prototype 属性上,而非对象实例本身:

var a = {}; // a 是一个对象实例
console.log(a.prototype); // undefined
var b = function() {}; // b 是一个函数
console.log(b.prototype); // 不是undefined ,应该是b 可以看作构造函数
1
2
3
4

# proto(隐式原型)

JavaScript 中任意对象都有一个内置属性 __proto__,隐式原型指向创建这个对象的函数(constructor)的 prototypeObject.prototype 这个对象是个例外,它的 __proto__ 值为 null:

console.log(typeof Array); // 'function'
console.log(Array.prototype); //数组构造函数 Array 也是一个函数,并且在 Array 的原型中除了指向 Array 的 constructor 之外还有其他的内置对象。
1
2

# prototype (显示原型)

每一个函数在创建之后都会拥有一个名为 prototype 的属性,这个属性指向函数的原型对象。通过Function.prototype.bind方法构造出来的函数是个例外,它没有prototype属性:

var fn = function() {};
console.log(fn.prototype); //创建一个函数时,都会有一个 prototype 属性指向它的原型。而 fn.prototype 中有一个 constructor 属性指向 fn 函数。
1
2

# prototype__proto__ 的作用

  • 显式原型的作用:用来实现基于原型的继承与属性的共享。
  • 隐式原型的作用:构成原型链,同样用于实现基于原型的继承。举个例子,当我们访问 obj 这个对象中的 x 属性时,如果在 obj 中找不到,那么就会沿着 __proto__ 依次查找。

# 关系

// 构造函数
function fn() {}

// 创建实例
var a = new fn();

// 构造函数的 prototype 和实例的 __proto__ 都是指向实例原型

console.log(fn.prototype == a.__proto__);
1
2
3
4
5
6
7
8
9

构造函数、实例原型和实例之间的关系:

构造函数 --- prototype ---> 实例原型 <--- __proto__ --- 实例

# 继承和原型链

原型链:每个对象都有一个私有属性 [Prototype] 也就是.__proto__ ,指向它的原型对象 prototype,该 prototype对象又具有一个自己的prototype,层层向上直到一个对象的原型为 nullnull 没有原型,是原型链的最后一环。

javascript 对象有一个指向一个原型对象的链,当试图访问一个的对象的属性的时候,不仅仅会在该对象上搜寻,还会搜寻该对象的原型,以及该对象的原型的原型,层层向上搜索深度搜索,直到找到一个名字匹配的属性或者到达原型链的末尾null

看一个例子:

// 让我们假设我们有一个对象 o, 其有自己的属性 a 和 b:
// {a: 1, b: 2}
// o 的 [[Prototype]] 有属性 b 和 c:
// {b: 3, c: 4}
// 最后, o.[[Prototype]].[[Prototype]] 是 null.
// 这就是原型链的末尾,即 null,
// 根据定义,null 没有[[Prototype]].
// 综上,整个原型链如下:
// {a:1, b:2} ---> {b:3, c:4} ---> null

console.log(o.a); // 1
// a是o的自身属性吗?是的,该属性的值为1

console.log(o.b); // 2
// b是o的自身属性吗?是的,该属性的值为2
// 原型上也有一个'b'属性,但是它不会被访问到.这种情况称为"属性遮蔽 (property shadowing)"

console.log(o.c); // 4
// c是o的自身属性吗?不是,那看看原型上有没有
// c是o.[[Prototype]]的属性吗?是的,该属性的值为4

console.log(o.d); // undefined
// d是o的自身属性吗?不是,那看看原型上有没有
// d是o.[[Prototype]]的属性吗?不是,那看看它的原型上有没有
// o.[[Prototype]].[[Prototype]] 为 null,停止搜索
// 没有d属性,返回undefined
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

javascript 没有其他基于类的语言所定义的方法,任何函数都可以添加到对象上作为对象的属性,函数的继承和其他属性的继承没有差别,包括上面的属性遮蔽。

当继承的函数被调用的时候, this 指向的是当前继承的对象,而不是继承的函数所在的原型对象:

var o = {
  a: 2,
  m: function() {
    return this.a + 1;
  },
};

console.log(o.m()); // 3
// 当调用 o.m 时,'this'指向了o.

var p = Object.create(o);
// p是一个继承自 o 的对象

p.a = 4; // 创建 p 的自身属性 a
console.log(p.m()); // 5
// 调用 p.m 时, 'this'指向 p.
// 又因为 p 继承 o 的 m 函数
// 此时的'this.a' 即 p.a,即 p 的自身属性 'a'
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

# 使用不同的方法创建和生成原型链

a ---> b 也就是 a.__proto__ == b

语法结构创建的对象

var o = { a: 1 };

// o 这个对象继承了Object.prototype上面的所有属性
// o 自身没有名为 hasOwnProperty 的属性
// hasOwnProperty 是 Object.prototype 的属性
// 因此 o 继承了 Object.prototype 的 hasOwnProperty
// Object.prototype 的原型为 null
// 原型链如下:
// o ---> Object.prototype ---> null

var a = ["yo", "whadup", "?"];

// 数组都继承于 Array.prototype
// (Array.prototype 中包含 indexOf, forEach等方法)
// 原型链如下:
// a ---> Array.prototype ---> Object.prototype ---> null

function f() {
  return 2;
}

// 函数都继承于Function.prototype
// (Function.prototype 中包含 call, bind等方法)
// 原型链如下:
// f ---> Function.prototype ---> Object.prototype ---> null
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

构造器创建的对象

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

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

var g = new Graph();
// g是生成的对象,他的自身属性有'vertices'和'edges'.
// 在g被实例化时,g.[[Prototype]]指向了Graph.prototype.
1
2
3
4
5
6
7
8
9
10
11
12
13
14

Object.create 创建的对象 (ES5)

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

var b = Object.create(a);
// b ---> a ---> Object.prototype ---> null
console.log(b.a); // 1 (继承而来)

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

var d = Object.create(null);
// d ---> null
console.log(d.hasOwnProperty); // undefined, 因为d没有继承Object.prototype
1
2
3
4
5
6
7
8
9
10
11
12
13

class 关键字创建对象 (ES6)

"use strict";

class Polygon {
  constructor(height, width) {
    this.height = height;
    this.width = width;
  }
}

class Square extends Polygon {
  constructor(sideLength) {
    super(sideLength, sideLength);
  }
  get area() {
    return this.height * this.width;
  }
  set sideLength(newLength) {
    this.height = newLength;
    this.width = newLength;
  }
}

var square = new Square(2);

// square ---> Square.prototype
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

# 性能

在原型链上查找属性比较耗时,对性能有副作用,这在性能要求苛刻的情况下很重要。另外,试图访问不存在的属性时会遍历整个原型链。

遍历对象的属性时,原型链上的每个可枚举属性都会被枚举出来。要检查对象是否具有自己定义的属性,而不是其原型链上的某个属性,则必须使用所有对象从Object.prototype 继承的 hasOwnProperty 方法。

hasOwnPropertyJavaScript 中唯一处理属性并且不会遍历原型链的方法。

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