对象的继承

面向对象编程很重要的一个方面，就是对象的继承，A 对象通过继承 B 对象，就能直接拥有 B 对象的所有属性和方法，这对于代码的复用是非常有用的。

大部分面向对象的编程语言，都是通过“类”（class）实现对象的继承，传统上，JavaScript 语言的继承不通过 class，而是通过“原型对象”（prototype）实现。

原型对象

构造函数的缺点

JavaScript 通过构造函数生成新对象，因此构造函数可以视为对象的模板，实例对象的属性和方法，可以定义在构造函数内部。

function Cat (name, color) {
  this.name = name;
  this.color = color;
}

var cat1 = new Cat('大毛', '白色');

cat1.name // '大毛'
cat1.color // '白色'

Cat 函数是一个构造函数，函数内部定义了 name 属性和 color 属性，所有实例对象（上例是 cat1）都会生成这两个属性，即这两个属性会定义在实例对象上面。

通过构造函数为实例对象定义属性，虽然很方便，但是有一个缺点，同一个构造函数的多个实例之间，无法共享属性，从而造成对系统资源的浪费。

function Cat(name, color) {
  this.name = name;
  this.color = color;
  this.meow = function () {
    console.log('喵喵');
  };
}

var cat1 = new Cat('大毛', '白色');
var cat2 = new Cat('二毛', '黑色');

cat1.meow === cat2.meow
// false

cat1 和 cat2 是同一个构造函数的两个实例，它们都具有 meow 方法。

由于 meow 方法是生成在每个实例对象上面，所以两个实例就生成了两次，也就是说，每新建一个实例，就会新建一个 meow 方法，这既没有必要，又浪费系统资源，因为所有 meow 方法都是同样的行为，完全应该共享。

这个问题的解决方法，就是 JavaScript 的原型对象（prototype）。

prototype 属性

JavaScript 继承机制的设计思想就是，原型对象的所有属性和方法，都能被实例对象共享。也就是说，如果属性和方法定义在原型上，那么所有实例对象就能共享，不仅节省了内存，还体现了实例对象之间的联系。

JavaScript 规定，每个函数都有一个 prototype 属性，指向一个对象。

function f() {}
typeof f.prototype // "object"

对于普通函数来说，该属性基本无用，但是，对于构造函数来说，生成实例的时候，该属性会自动成为实例对象的原型。

function Animal(name) {
  this.name = name;
}
Animal.prototype.color = 'white';

var cat1 = new Animal('大毛');
var cat2 = new Animal('二毛');

cat1.color // 'white'
cat2.color // 'white'

构造函数 Animal 的 prototype 属性，就是实例对象 cat1 和 cat2 的原型对象，原型对象上添加一个 color 属性，结果，实例对象都共享了该属性。

原型对象的属性不是实例对象自身的属性，只要修改原型对象，变动就立刻会体现在 所有 实例对象上。

Animal.prototype.color = 'yellow';

cat1.color // "yellow"
cat2.color // "yellow"

原型对象的 color 属性的值变为 yellow，两个实例对象的 color 属性立刻跟着变了。

这是因为实例对象其实没有 color 属性，都是读取原型对象的 color 属性，也就是说，当实例对象本身没有某个属性或方法的时候，它会到原型对象去寻找该属性或方法，这就是原型对象的特殊之处。

如果实例对象自身就有某个属性或方法，它就不会再去原型对象寻找这个属性或方法。

cat1.color = 'black';

cat1.color // 'black'
cat2.color // 'yellow'
Animal.prototype.color // 'yellow';

实例对象 cat1 的 color 属性改为 black，就使得它不再去原型对象读取 color 属性，后者的值依然为 yellow。

总结一下，原型对象的作用，就是定义所有实例对象共享的属性和方法，这也是它被称为原型对象的原因，而实例对象可以视作从原型对象衍生出来的子对象。

Animal.prototype.walk = function () {
  console.log(this.name + ' is walking');
};

Animal.prototype 对象上面定义了一个 walk 方法，这个方法将可以在所有 Animal 实例对象上面调用。

原型链

JavaScript 规定，所有对象都有自己的原型对象（prototype）。

一方面，任何一个对象，都可以充当其他对象的原型；另一方面，由于原型对象也是对象，所以它也有自己的原型。

因此，就会形成一个“原型链”（prototype chain）：对象到原型，再到原型的原型……

如果一层层地上溯，所有对象的原型最终都可以上溯到 Object.prototype，即 Object 构造函数的 prototype 属性。

也就是说，所有对象都继承了 Object.prototype 的属性。这就是所有对象都有 valueOf 和 toString 方法的原因，因为这是从 Object.prototype 继承的。

而 Object.prototype 的原型是 null，null 没有任何属性和方法，也没有自己的原型，因此，原型链的尽头就是 null。

Object.getPrototypeOf(Object.prototype)
// null

Object.prototype 对象的原型是 null，由于 null 没有任何属性，所以原型链到此为止。

读取对象的某个属性时，JavaScript 引擎先寻找对象本身的属性，如果找不到，就到它的原型去找，如果还是找不到，就到原型的原型去找。如果直到最顶层的 Object.prototype 还是找不到，则返回 undefined。如果对象自身和它的原型，都定义了一个同名属性，那么优先读取对象自身的属性，这叫做“覆盖”（overriding）。

注意：一级级向上，在整个原型链上寻找某个属性，对性能是有影响的，所寻找的属性在越上层的原型对象，对性能的影响越大，如果寻找某个不存在的属性，将会遍历整个原型链。

举例来说，如果让构造函数的 prototype 属性指向一个数组，就意味着实例对象可以调用数组方法。

var MyArray = function () {};

MyArray.prototype = new Array();
MyArray.prototype.constructor = MyArray;

var mine = new MyArray();
mine.push(1, 2, 3);
mine.length // 3
mine instanceof Array // true

mine 是构造函数 MyArray 的实例对象，由于 MyArray.prototype 指向一个数组实例，使得 mine 可以调用数组方法（这些方法定义在数组实例的 prototype 对象上面）。

instanceof 表达式，用来比较一个对象是否为某个构造函数的实例，结果就是证明 mine 为 Array 的实例。

constructor 属性

prototype 对象有一个 constructor 属性，默认指向 prototype 对象所在的构造函数。

function P() {}
P.prototype.constructor === P // true

由于 constructor 属性定义在 prototype 对象上面，意味着可以被所有实例对象继承。

function P() {}
var p = new P();

p.constructor === P // true
p.constructor === P.prototype.constructor // true
p.hasOwnProperty('constructor') // false

p 是构造函数 P 的实例对象，但是 p 自身没有 constructor 属性，该属性其实是读取原型链上面的 P.prototype.constructor 属性。

constructor 属性的作用是，可以得知某个实例对象，到底是哪一个构造函数产生的。

function F() {};
var f = new F();

f.constructor === F // true
f.constructor === RegExp // false

constructor 属性确定了实例对象 f 的构造函数是 F，而不是 RegExp。

另一方面，有了 constructor 属性，就可以从一个实例对象新建另一个实例。

function Constr() {}
var x = new Constr();

var y = new x.constructor();
y instanceof Constr // true

x 是构造函数 Constr 的实例，可以从 x.constructor 间接调用构造函数，这使得在实例方法中，调用自身的构造函数成为可能。

Constr.prototype.createCopy = function () {
  return new this.constructor();
};

createCopy 方法调用构造函数，新建另一个实例。

constructor 属性表示原型对象与构造函数之间的关联关系，如果修改了原型对象，一般会同时修改 constructor 属性，防止引用的时候出错。

function Person(name) {
  this.name = name;
}

Person.prototype.constructor === Person // true

Person.prototype = {
  method: function () {}
};

Person.prototype.constructor === Person // false
Person.prototype.constructor === Object // true

构造函数 Person 的原型对象改掉了，但是没有修改 constructor 属性，导致这个属性不再指向 Person。

由于 Person 的新原型是一个普通对象，而普通对象的 constructor 属性指向 Object 构造函数，导致 Person.prototype.constructor 变成了 Object。

所以，修改原型对象时，一般要同时修改 constructor 属性的指向。

// 坏的写法
C.prototype = {
  method1: function (...) { ... },
  // ...
};

// 好的写法
C.prototype = {
  constructor: C,
  method1: function (...) { ... },
  // ...
};

// 更好的写法
C.prototype.method1 = function (...) { ... };

要么将 constructor 属性重新指向原来的构造函数，要么只在原型对象上添加方法，这样可以保证 instanceof 运算符不会失真。

通过 name 属性，从实例得到构造函数的名称。

function Foo() {}
var f = new Foo();
f.constructor.name // "Foo"

instanceof 运算符

instanceof 运算符返回一个布尔值，表示对象是否为某个构造函数的实例。

var v = new Vehicle();
v instanceof Vehicle // true

对象 v 是构造函数 Vehicle 的实例，所以返回 true。

instanceof 运算符的左边是实例对象，右边是构造函数，它会检查右边构造函数的原型对象（prototype），是否在左边对象的原型链上。因此，下面两种写法是等价的。

v instanceof Vehicle
// 等同于
Vehicle.prototype.isPrototypeOf(v)

Vehicle 是对象 v 的构造函数，它的原型对象是 Vehicle.prototype，isPrototypeOf() 方法是 JavaScript 提供的原生方法，用于检查某个对象是否为另一个对象的原型。

由于 instanceof 检查整个原型链，因此同一个实例对象，可能会对多个构造函数都返回 true。

var d = new Date();
d instanceof Date // true
d instanceof Object // true

d 同时是 Date 和 Object 的实例，因此对这两个构造函数都返回 true。

由于任意对象（除了 null）都是 Object 的实例，所以 instanceof 运算符可以判断一个值是否为非 null 的对象。

var obj = { foo: 123 };
obj instanceof Object // true

null instanceof Object // false

除了 null，其他对象的 instanceOf Object 的运算结果都是 true。

instanceof 的原理是检查右边构造函数的 prototype 属性，是否在左边对象的原型链上，有一种特殊情况，就是左边对象的原型链上，只有 null 对象。这时，instanceof 判断会失真。

var obj = Object.create(null);
typeof obj // "object"
obj instanceof Object // false

Object.create(null) 返回一个新对象 obj，它的原型是 null，右边的构造函数 Object 的 prototype 属性，不在左边的原型链上，因此 instanceof 就认为 obj 不是 Object 的实例，这是唯一的 instanceof 运算符判断会失真的情况（一个对象的原型是 null）。

instanceof 运算符的一个用处，是判断值的类型。

var x = [1, 2, 3];
var y = {};
x instanceof Array // true
y instanceof Object // true

注意：instanceof 运算符只能用于对象，不适用原始类型的值。

对于 undefined 和 null，instanceof 运算符总是返回 false。

利用 instanceof 运算符，还可以巧妙地解决，调用构造函数时，忘了加 new 命令的问题。

function Fubar (foo, bar) {
    if (this instanceof Fubar) {
        this._foo = foo;
        this._bar = bar;
    } else {
        return new Fubar(foo, bar);
    }
}

构造函数的继承

让一个构造函数继承另一个构造函数，是非常常见的需求，这可以分成两步实现。

第一步是在子类的构造函数中，调用父类的构造函数。

function Sub(value) {
  Super.call(this);
  this.prop = value;
}

Sub 是子类的构造函数，this 是子类的实例，在实例上调用父类的构造函数 Super，就会让子类实例具有父类实例的属性。

第二步，是让子类的原型指向父类的原型，这样子类就可以继承父类原型。

Sub.prototype = Object.create(Super.prototype);
Sub.prototype.constructor = Sub;
Sub.prototype.method = '...';

Sub.prototype 是子类的原型，要将它赋值为 Object.create(Super.prototype)，而不是直接等于 Super.prototype，否则后面两行对 Sub.prototype 的操作，会连父类的原型 Super.prototype 一起修改掉。

另外一种写法是 Sub.prototype 等于一个父类实例。

Sub.prototype = new Super();

上面这种写法也有继承的效果，但是子类会具有父类实例的方法，有时，这可能不是我们需要的，所以不推荐使用这种写法。

举例来说，下面是一个 Shape 构造函数。

function Shape() {
  this.x = 0;
  this.y = 0;
}

Shape.prototype.move = function (x, y) {
  this.x += x;
  this.y += y;
  console.info('Shape moved.');
};

现在让 Rectangle 构造函数继承 Shape。

// 第一步，子类继承父类的实例
function Rectangle() {
  Shape.call(this); // 调用父类构造函数
}
// 另一种写法
function Rectangle() {
  this.base = Shape;
  this.base();
}

// 第二步，子类继承父类的原型
Rectangle.prototype = Object.create(Shape.prototype);
Rectangle.prototype.constructor = Rectangle;

采用这样的写法以后，instanceof 运算符会对子类和父类的构造函数，都返回 true。

var rect = new Rectangle();

rect instanceof Rectangle  // true
rect instanceof Shape  // true

子类是整体继承父类，有时只需要单个方法的继承，这时可以采用下面的写法。

ClassB.prototype.print = function() {
  ClassA.prototype.print.call(this);
  // some code
}

子类 B 的 print 方法先调用父类 A 的 print 方法，再部署自己的代码，这就等于继承了父类 A 的 print 方法。

多重继承

JavaScript 不提供多重继承功能，即不允许一个对象同时继承多个对象，但是，可以通过变通方法，实现这个功能。

function M1() {
  this.hello = 'hello';
}

function M2() {
  this.world = 'world';
}

function S() {
  M1.call(this);
  M2.call(this);
}

// 继承 M1
S.prototype = Object.create(M1.prototype);
// 继承链上加入 M2
Object.assign(S.prototype, M2.prototype);

// 指定构造函数
S.prototype.constructor = S;

var s = new S();
s.hello // 'hello'
s.world // 'world'

子类 S 同时继承了父类 M1 和 M2。这种模式又称为 Mixin（混入）。

模块

随着网站逐渐变成“互联网应用程序”，嵌入网页的 JavaScript 代码越来越庞大，越来越复杂。

网页越来越像桌面程序，需要一个团队分工协作、进度管理、单元测试等等……开发者必须使用软件工程的方法，管理网页的业务逻辑。

JavaScript 模块化编程，已经成为一个迫切的需求。理想情况下，开发者只需要实现核心的业务逻辑，其他都可以加载别人已经写好的模块。

但是，JavaScript 不是一种模块化编程语言，ES6 才开始支持“类”和“模块”。但是有传统的做法，如何利用对象实现模块的效果。

基本的实现方法

模块是实现特定功能的一组属性和方法的封装。

简单的做法是把模块写成一个对象，所有的模块成员都放到这个对象里面。

var module1 = new Object({
　_count : 0,
　m1 : function (){
　　//...
　},
　m2 : function (){
  　//...
　}
});

函数 m1 和 m2，都封装在 module1 对象里，使用的时候，就是调用这个对象的属性。

module1.m1();

但是，这样的写法会暴露所有模块成员，内部状态可以被外部改写，比如，外部代码可以直接改变内部计数器的值。

module1._count = 5;

封装私有变量：构造函数的写法

可以利用构造函数，封装私有变量。

function StringBuilder() {
    var buffer = [];

    this.add = function (str) {
        buffer.push(str);
    };

    this.toString = function () {
        return buffer.join('');
    };

}

buffer 是模块的私有变量，一旦生成实例对象，外部是无法直接访问 buffer 的。

但是，这种方法将私有变量封装在构造函数中，导致构造函数与实例对象是一体的，总是存在于内存之中，无法在使用完成后清除。

这意味着，构造函数有双重作用，既用来塑造实例对象，又用来保存实例对象的数据，违背了构造函数与实例对象在数据上相分离的原则（即实例对象的数据，不应该保存在实例对象以外），同时，非常耗费内存。

function StringBuilder() {
  this._buffer = [];
}

StringBuilder.prototype = {
  constructor: StringBuilder,
  add: function (str) {
    this._buffer.push(str);
  },
  toString: function () {
    return this._buffer.join('');
  }
};

将私有变量放入实例对象中，好处是看上去更自然，但是它的私有变量可以从外部读写，不是很安全。

封装私有变量：立即执行函数的写法

另一种做法是使用“立即执行函数”（Immediately-Invoked Function Expression，IIFE），将相关的属性和方法封装在一个函数作用域里面，可以达到不暴露私有成员的目的。

var module1 = (function () {
　var _count = 0;
　var m1 = function () {
　  //...
　};
　var m2 = function () {
　　//...
　};
　return {
　　m1 : m1,
　　m2 : m2
　};
})();

使用上面的写法，外部代码无法读取内部的 _count 变量。

console.info(module1._count); //undefined

上面的 module1 就是 JavaScript 模块的基本写法。

模块的放大模式

如果一个模块很大，必须分成几个部分，或者一个模块需要继承另一个模块，这时就有必要采用“放大模式”（augmentation）。

var module1 = (function (mod){
　mod.m3 = function () {
　　//...
　};
　return mod;
})(module1);

module1 模块添加了一个新方法 m3()，然后返回新的 module1 模块。

在浏览器环境中，模块的各个部分通常都是从网上获取的，有时无法知道哪个部分会先加载，如果采用上面的写法，第一个执行的部分有可能加载一个不存在空对象，这时就要采用 "宽放大模式"（Loose augmentation）。

var module1 = (function (mod) {
　//...
　return mod;
})(window.module1 || {});

与 "放大模式" 相比，“宽放大模式”就是“立即执行函数”的参数可以是空对象。

输入全局变量

独立性是模块的重要特点，模块内部最好不与程序的其他部分直接交互。

为了在模块内部调用全局变量，必须显式地将其他变量输入模块。

var module1 = (function ($, YAHOO) {
　//...
})(jQuery, YAHOO);

上面的 module1 模块需要使用 jQuery 库和 YUI 库，就把这两个库（其实是两个模块）当作参数输入 module1。这样做除了保证模块的独立性，还使得模块之间的依赖关系变得明显。

立即执行函数还可以起到命名空间的作用。

(function($, window, document) {

  function go(num) {
  }

  function handleEvents() {
  }

  function initialize() {
  }

  function dieCarouselDie() {
  }

  // 附加到全局范围
  window.finalCarousel = {
    init : initialize,
    destroy : dieCarouselDie
  }

})( jQuery, window, document );

finalCarousel 对象输出到全局，对外暴露 init 和 destroy 接口，内部方法 go、handleEvents、initialize、dieCarouselDie 都是外部无法调用的。

Object 对象的相关方法

静态方法

Object.getPrototypeOf()

Object.getPrototypeOf 方法返回参数对象的原型，这是获取原型对象的标准方法。

var F = function () {};
var f = new F();
Object.getPrototypeOf(f) === F.prototype // true

// 空对象的原型是 Object.prototype
Object.getPrototypeOf({}) === Object.prototype // true

// Object.prototype 的原型是 null
Object.getPrototypeOf(Object.prototype) === null // true

// 函数的原型是 Function.prototype
function f() {}
Object.getPrototypeOf(f) === Function.prototype // true

Object.setPrototypeOf()

Object.setPrototypeOf 方法为参数对象设置原型，返回该参数对象，它接受两个参数，第一个是现有对象，第二个是原型对象。

var a = {};
var b = {x: 1};
Object.setPrototypeOf(a, b);

Object.getPrototypeOf(a) === b // true
a.x // 1

Object.setPrototypeOf 方法将对象 a 的原型，设置为对象 b，因此 a 可以共享 b 的属性。

new 命令可以使用 Object.setPrototypeOf 方法模拟。

var F = function () {
  this.foo = 'bar';
};

var f = new F();
// 等同于
var f = Object.setPrototypeOf({}, F.prototype);
F.call(f);

new 命令新建实例对象，其实可以分成两步

第一步，将一个空对象的原型设为构造函数的 prototype 属性（上例是 F.prototype）；

第二步，将构造函数内部的 this 绑定这个空对象，然后执行构造函数，使得定义在 this 上面的方法和属性（上例是 this.foo），都转移到这个空对象上。

Object.create()

生成实例对象的常用方法是，使用 new 命令让构造函数返回一个实例，但是很多时候，只能拿到一个实例对象，它可能根本不是由构建函数生成的

那么可以直接从一个实例对象，生成另一个实例对象。

JavaScript 提供了 Object.create() 方法，用来满足这种需求，该方法接受一个对象作为参数，然后以它为原型，返回一个实例对象，该实例完全继承原型对象的属性。

// 原型对象
var A = {
  print: function () {
    console.log('hello');
  }
};

// 实例对象
var B = Object.create(A);

Object.getPrototypeOf(B) === A // true
B.print() // hello
B.print === A.print // true

Object.create() 方法以 A 对象为原型，生成了 B 对象，B 继承了 A 的所有属性和方法。

实际上，Object.create() 方法可以用下面的代码代替。

if (typeof Object.create !== 'function') {
  Object.create = function (obj) {
    function F() {}
    F.prototype = obj;
    return new F();
  };
}

Object.create() 方法的实质是新建一个空的构造函数 F，然后让 F.prototype 属性指向参数对象 obj，最后返回一个 F 的实例，从而实现让该实例继承 obj 的属性。

下面三种方式生成的新对象是等价的。

var obj1 = Object.create({});
var obj2 = Object.create(Object.prototype);
var obj3 = new Object();

如果想要生成一个不继承任何属性（比如没有 toString() 和 valueOf() 方法）的对象，可以将 Object.create() 的参数设为 null。

var obj = Object.create(null);

obj.valueOf()
// TypeError: Object [object Object] has no method 'valueOf'

对象 obj 的原型是 null，它就不具备一些定义在 Object.prototype 对象上面的属性，比如 valueOf() 方法。

使用 Object.create() 方法的时候，必须提供对象原型，即参数不能为空，或者不是对象，否则会报错。

Object.create() 方法生成的新对象，动态继承了原型，在原型上添加或修改任何方法，会立刻反映在新对象之上。

var obj1 = { p: 1 };
var obj2 = Object.create(obj1);

obj1.p = 2;
obj2.p // 2

除了对象的原型，Object.create() 方法还可以接受第二个参数，该参数是一个属性描述对象，它所描述的对象属性，会添加到实例对象，作为该对象自身的属性。

var obj = Object.create({}, {
  p1: {
    value: 123,
    enumerable: true,
    configurable: true,
    writable: true,
  },
  p2: {
    value: 'abc',
    enumerable: true,
    configurable: true,
    writable: true,
  }
});

// 等同于
var obj = Object.create({});
obj.p1 = 123;
obj.p2 = 'abc';

Object.create() 方法生成的对象，继承了它的原型对象的构造函数。

function A() {}
var a = new A();
var b = Object.create(a);

b.constructor === A // true
b instanceof A // true

b 对象的原型是 a 对象，因此继承了 a 对象的构造函数 A

实际上，这个 constructor 是从原型链上“找”到的，不是 b 自己的属性。

constructor 属性默认在 A.prototype 上（即 A.prototype.constructor === A），所以：

• b 上没有 constructor
• 去 a 上找，也没有（默认情况下实例对象自己没有 constructor）
• 再去 A.prototype 上找，找到了 constructor，值就是 A

如果手动改过 A.prototype = { ... }（没把 constructor 补回去），那 constructor 可能就不再指向 A 了，实际上：没补回去，就会沿着原型链继续往上找，关键在于——往上找“能不能找到”和“找到的是谁”，取决于把 A.prototype 换成了什么，以及那玩意儿的原型链长啥样。

（1）把 A.prototype 重写成一个“普通对象字面量”

function A() {}
A.prototype = { x: 1 }; // 没写 constructor
var a = new A();
a.constructor

此时原型链是：a → (新的 A.prototype) → Object.prototype → null

• 新的 A.prototype 是 { x: 1 }，它自己 没有 constructor
• 继续往上到 Object.prototype，那里有 constructor（指向 Object）

所以：

a.constructor === Object // true
a.constructor === A      // false

经典坑：实例的 constructor 变成 Object 了。

（2）把 A.prototype 设成一个“干净对象”（原型为 null）

function A() {}
A.prototype = Object.create(null); // 原型链直接断了
var a = new A();
a.constructor

原型链：a → A.prototype(原型为 null) → null

• A.prototype 没有 constructor
• 也没有 Object.prototype 可以继续找（因为原型就是 null）

所以：

a.constructor // undefined

（3) 把 A.prototype 设成“另一个构造函数的实例/原型链”

function B() {}
function A() {}
A.prototype = new B(); // 或 Object.create(B.prototype)，但这里用 new B 举例
var a = new A();
a.constructor

• A.prototype 是 new B() 出来的实例对象，通常它自己没有 constructor
• 往上会到 B.prototype
• B.prototype 默认有 constructor === B

所以：

a.constructor === B // 常见结果：true

这也是为啥继承里会写：

A.prototype = Object.create(B.prototype);
A.prototype.constructor = A;

否则 constructor 会“指向父类 B”。

（4）回到最初的 b = Object.create(a) 场景

如果后来把 A.prototype 换掉了（没补 constructor），那么 b.constructor 当然也会跟着变，因为它最终是从 A.prototype 那条线上拿到的。

function A() {}
var a = new A();
var b = Object.create(a);

A.prototype = { x: 1 }; // 重写 prototype（注意：这不会影响已经创建好的 a 的 [[Prototype]]！）
b.constructor

关键点：

• 重写 A.prototype 只影响“之后 new 出来的实例”
• 不会 retroactively 改变已经存在的 a 的原型（a.__proto__ 还是旧的那个 prototype 对象）

所以在这个例子里：

• b → a → (旧的 A.prototype) 仍然存在
• b.constructor 仍然从旧的 A.prototype.constructor（还指向 A）拿到

也就是说，对已经创建的 a/b 不一定产生预期的变化。

function A() {}
A.prototype = { x: 1 }; // 没 constructor

var a2 = new A();
a2.constructor === Object // true

Object.getOwnPropertyNames()

Object.getOwnPropertyNames 方法返回一个数组，成员是参数对象本身的所有属性的键名，不包含继承的属性键名。

Object.getOwnPropertyNames(Date)
// ["parse", "arguments", "UTC", "caller", "name", "prototype", "now", "length"]

Object.getOwnPropertyNames 方法返回 Date 所有自身的属性名。

对象本身的属性之中，有的是可以遍历的（enumerable），有的是不可以遍历的，Object.getOwnPropertyNames 方法返回所有键名，不管是否可以遍历。

只获取那些可以遍历的属性，使用 Object.keys 方法。

Object.keys(Date) // []

上面代码表明，Date 对象所有自身的属性，都是不可以遍历的。

原型方法

Object.prototype.isPrototypeOf()

实例对象的 isPrototypeOf 方法，用来判断该对象是否为参数对象的原型。

var o1 = {};
var o2 = Object.create(o1);
var o3 = Object.create(o2);

o2.isPrototypeOf(o3) // true
o1.isPrototypeOf(o3) // true

o1 和 o2 都是 o3 的原型，这表明只要实例对象处在参数对象的原型链上，isPrototypeOf 方法都返回 true。

Object.prototype.isPrototypeOf({}) // true
Object.prototype.isPrototypeOf([]) // true
Object.prototype.isPrototypeOf(/xyz/) // true
Object.prototype.isPrototypeOf(Object.create(null)) // false

上面代码中，由于 Object.prototype 处于原型链的最顶端，所以对各种实例都返回 true，只有直接继承自 null 的对象除外。

Object.prototype.__proto__

实例对象的 __proto__ 属性（前后各两个下划线），返回该对象的原型，该属性可读写。

var obj = {};
var p = {};

obj.__proto__ = p;
Object.getPrototypeOf(obj) === p // true

上面代码通过 __proto__ 属性，将 p 对象设为 obj 对象的原型。

根据语言标准，__proto__ 属性只有浏览器才需要部署，其他环境可以没有这个属性。

它前后的两根下划线，表明它本质是一个内部属性，不应该对使用者暴露，因此，应该尽量少用这个属性，而是用 Object.getPrototypeOf() 和 Object.setPrototypeOf()，进行原型对象的读写操作。

原型链可以用 __proto__ 很直观地表示。

var A = {
  name: '张三'
};
var B = {
  name: '李四'
};

var proto = {
  print: function () {
    console.log(this.name);
  }
};

A.__proto__ = proto;
B.__proto__ = proto;

A.print() // 张三
B.print() // 李四

A.print === B.print // true
A.print === proto.print // true
B.print === proto.print // true

A 对象和 B 对象的原型都是 proto 对象，它们都共享 proto 对象的 print 方法，也就是说，A 和 B 的 print 方法，都是在调用 proto 对象的 print 方法。

Object.prototype.hasOwnProperty()

对象实例的 hasOwnProperty 方法返回一个布尔值，用于判断某个属性定义在对象自身，还是定义在原型链上。

Date.hasOwnProperty('length') // true
Date.hasOwnProperty('toString') // false

上面代码表明，Date.length（构造函数 Date 可以接受多少个参数）是 Date 自身的属性，Date.toString 是继承的属性。

另外，hasOwnProperty 方法是 JavaScript 之中唯一一个处理对象属性时，不会遍历原型链的方法。

获取原型对象方法的比较

__proto__ 属性指向当前对象的原型对象，即构造函数的 prototype 属性

var obj = new Object();

obj.__proto__ === Object.prototype
// true
obj.__proto__ === obj.constructor.prototype
// true

首先新建了一个对象 obj，它的 __proto__ 属性，指向构造函数（Object 或 obj.constructor）的 prototype 属性。

因此，获取实例对象 obj 的原型对象，有三种方法。

• obj.__proto__
• obj.constructor.prototype
• Object.getPrototypeOf(obj)

上面三种方法之中，前两种都不是很可靠，__proto__ 属性只有浏览器才需要部署，其他环境可以不部署，而 obj.constructor.prototype 在手动改变原型对象时，可能会失效。

var P = function () {};
var p = new P();

var C = function () {};
C.prototype = p;
var c = new C();

c.constructor.prototype === p // false

构造函数 C 的原型对象被改成了 p，但是实例对象的 c.constructor.prototype 却没有指向 p，所以，在改变原型对象时，一般要同时设置 constructor 属性。

C.prototype = p;
C.prototype.constructor = C;

var c = new C();
c.constructor.prototype === p // true

因此，推荐使用第三种 Object.getPrototypeOf 方法，获取原型对象。

in 运算符和 for...in 循环

in 运算符返回一个布尔值，表示一个对象是否具有某个属性，它不区分该属性是对象自身的属性，还是继承的属性。

'length' in Date // true
'toString' in Date // true

in 运算符常用于检查一个属性是否存在。

获得对象的所有可遍历属性（不管是自身的还是继承的），可以使用 for...in 循环。

var o1 = { p1: 123 };

var o2 = Object.create(o1, {
  p2: { value: "abc", enumerable: true }
});

for (p in o2) {
  console.info(p);
}
// p2
// p1

对象 o2 的 p2 属性是自身的，p1 属性是继承的。这两个属性都会被 for...in 循环遍历。

为了在 for...in 循环中获得对象自身的属性，可以采用 hasOwnProperty 方法判断一下。

for ( var name in object ) {
  if ( object.hasOwnProperty(name) ) {
  }
}

获得对象的所有属性（不管是自身的还是继承的，也不管是否可枚举），可以使用下面的函数。

function inheritedPropertyNames(obj) {
  var props = {};
  while(obj) {
    Object.getOwnPropertyNames(obj).forEach(function(p) {
      props[p] = true;
    });
    obj = Object.getPrototypeOf(obj);
  }
  return Object.getOwnPropertyNames(props);
}

上面代码依次获取 obj 对象的每一级原型对象“自身”的属性，从而获取 obj 对象的“所有”属性，不管是否可遍历。

下面是一个例子，列出 Date 对象的所有属性。

inheritedPropertyNames(Date)
// [
//  "caller",
//  "constructor",
//  "toString",
//  "UTC",
//  ...
// ]

对象的拷贝

如果要拷贝一个对象，需要做到下面两件事情。

• 确保拷贝后的对象，与原对象具有同样的原型。
• 确保拷贝后的对象，与原对象具有同样的实例属性。

下面就是根据上面两点，实现的对象拷贝函数。

function copyObject(orig) {
  var copy = Object.create(Object.getPrototypeOf(orig));
  copyOwnPropertiesFrom(copy, orig);
  return copy;
}

function copyOwnPropertiesFrom(target, source) {
  Object
    .getOwnPropertyNames(source)
    .forEach(function (propKey) {
      var desc = Object.getOwnPropertyDescriptor(source, propKey);
      Object.defineProperty(target, propKey, desc);
    });
  return target;
}

另一种更简单的写法，是利用 ES2017 才引入标准的 Object.getOwnPropertyDescriptors 方法。

function copyObject(orig) {
  return Object.create(
    Object.getPrototypeOf(orig),
    Object.getOwnPropertyDescriptors(orig)
  );
}

注意这是 浅拷贝

Object.getOwnPropertyDescriptors(orig) 只是把 orig 自己的属性描述符（value / getter / setter / writable / enumerable / configurable）原样拷过去

如果某个属性的 value 是对象/数组/函数之类的引用，它拷过去的还是 同一个引用，不会递归复制里面的内容。

const o = { nested: { x: 1 } };
const c = copyObject(o);

c !== o;                 // true，新对象
c.nested === o.nested;   // true，同一个嵌套对象 -> 浅拷贝

版权所有

版权归属：网道

本文转载自：https://wangdoc.com/javascript/oop/prototype

许可证：署名 4.0 国际 (CC-BY-4.0)

贡献者: yumengjh

上一页JS 回顾 3

下一页JS 回顾 5