编程语言理解Javascript的原型和原型链

总括: 结合实例阐述了原型和原型链的概念并总结了几种创建对象的方法，扩展原型链的方法。 

正文

原型

Javascript中有一句话，叫一切皆是对象，当然这句话也不严谨，比如null和undefined就不是对象，除了这俩完全可以说Javascript一切皆是对象。而Javascript对象都有一个叫做原型的公共属性，属性名是_proto_。这个原型属性是对另一个对象的引用，通过这个原型属性我们就可以访问另一个对象所有的属性和方法。比如：

1. let numArray = [1, 2, -8, 3, -4, 7]; 

Array对象就有一个原型属性指向Array.prototype,变量numArray继承了Array.prototype对象所有的属性和方法。

这就是为什么可以直接调用像sort()这种方法：

1. console.log(numArray.sort()); // -> [-4, -8, 1, 2, 3, 7] 

也就是说：

1. numArray.__proto__ === Array.prototype // true 

对于其他对象(函数)也是一样(比如Date(),Function(), String(),Number()等)；

当一个构造函数被创建后，实例对象会继承构造函数的原型属性，这是构造函数的一个非常重要的特性。在Javascript中使用new关键字来对构造函数进行实例化。看下面的例子：

1. const Car = function(color, model, dateManufactured) {  
2.   this.color = color;  
3.   this.model = model;  
4.   this.dateManufactured = dateManufactured;  
5. };  
6. Car.prototype.getColor = function() {  
7.     return this.color;  
8. };  
9. Car.prototype.getModel = function() {  
10.     return this.model;  
11. };  
12. Car.prototype.carDate = function() {  
13.     return `This ${this.model} was manufactured in the year ${this.dateManufactured}`  
14. }  
15. let firstCar = new Car('red', 'Ferrari', '1985');  
16. console.log(firstCar);  
17. console.log(firstCar.carDate()); 

上面的例子中，方法getColor,carDate,getModel都是对象(函数)Car的方法，而Car的实例对象firstCar可以继承Car原型上的一切方法和属性。

结论：每一个实例对象都有一个私有属性_proto_,指向它的构造函数的原型对象(prototype)。

原型链

在Javascript中如果访问一个对象本身不存在的属性或是方法，就首先在它的原型对象上去寻找，如果原型对象上也不存在，就继续在原型对象的原型对象上去寻找，直到找到为止。那么原型对象有尽头么？所有对象的原型尽头是Object.prototype,那么Object.prototype这个对象的_proto_指向啥呢？答案是null。我们日常开发中用到的绝大多数对象的_proto_基本不会直接指向Object.prototype,基本都是指向另一个对象。比如所有的函数的_proto_都会指向Function.prototype,所有数组的_proto_都会指向Array.prototype。

1. let protoRabbit = {  
2.   color: 'grey',  
3.   speak(line) {  
4.         console.log(`The ${this.type} rabbit says ${line}`);  
5.   }  
6. };  
7. let killerRabbit = Object.create(protoRabbit);  
8. killerRabbit.type = "assassin";  
9. killerRabbit.speak("SKREEEE!"); 

上面代码中变量protoRabbit设置为所有兔子对象的公有属性对象集，killerRabbit这只兔子通过Object.create方法继承了protoRabbit的所有属性和方法，然后给killerRabbit赋值了一个type属性，再看下面的代码：

1. let mainObject = {  
2.     bar: 2  
3. };  
4. // create an object linked to `anotherObject`  
5. let myObject = Object.create( mainObject );  
6. for (let k in myObject) {  
7.   console.log("found: " + k);  
8. }  
9. // found: bar  
10. ("bar" in myObject);  

如上变量myObject本身并没有bar属性，但这里会循着原型链一层一层往上找，直到找到或者原型链结束为止。如果到原型链尽头还是没找到该属性，那么访问该属性的时候就会返回undefined了。

使用for...in关键字对对象进行迭代的过程，和上面访问某个属性循着原型链查找类似,会去遍历所有原型链上的属性(不论属性是否可枚举)。

1. let protoRabbit = {  
2.   color: 'grey',  
3.   speak(line) {  
4.       console.log(`The ${this.type} rabbit says ${line}`);  
5.   }  
6. };  
7. let killerRabbit = Object.create(protoRabbit);  
8. killerRabbit.type = "assassin";  
9. killerRabbit.speak("SKREEEE!"); 

上面的代码中访问speak的效率很高，但如果我们想创建很多个Rabbit对象，就必须要重复写很多代码。而这正是原型和构造函数的真正用武之地。

1. let protoRabbit = function(color, word, type) {  
2.   this.color = color;  
3.   this.word = word;  
4.   this.type = type;  
5. }; 
6.  protoRabbit.prototype.getColor = function() {  
7.     return this.color; 
8. }  
9. protoRabbit.prototype.speak = function() {  
10.     console.log(`The ${this.type} rabbit says ${this.word}`);  
11. }  
12. let killerRabbit = new protoRabbit('grey', 'SKREEEEE!', 'assassin');  
13. killerRabbit.speak(); 

如上代码，使用构造函数的方式就可以节省很多的代码。

结论：每一个实例对象都有一个私有属性_proto_,指向它的构造函数的原型对象(prototype)。原型对象也有自己的_proto_，层层向上直到一个对象的原型对象为null。这一层层原型就是原型链。

附赠一张原型链的图：

创建对象的四种方法

• 字面量对象

这是比较常用的一种方式：

1. let obj = {}; 

• 构造函数创建

构造函数创建的方式更多用来在Javascript中实现继承，多态，封装等特性。

1. function Animal(name) {  
2.     this.name = name;  
3. }  
4. let cat = new Animal('Tom'); 

• class创建

class关键字是ES6新引入的一个特性，它其实是基于原型和原型链实现的一个语法糖。

1. class Animal {  
2.   constructor(name) {  
3.     this.name = name;  
4.   }  
5. }  
6. let cat = new Animal('Tom'); 

扩展原型链的四种方法

• 构造函数创建

上面例子有用到使用构造函数创建对象的例子，我们再来看一个实际的例子：

1. function Animal(name) {  
2.     this.name = name;  
3. }  
4. Animal.prototype = {  
5.     run() {  
6.     console.log('跑步');  
7.     }  
8. }  
9. let cat = new Animal('Tom');  
10. cat.__proto__ === Animal.prototype; // true  
11. Animal.prototype.__proto__ === Object.prototype; // true 

优点：支持目前以及所有可想象到的浏览器(IE5.5都可以使用). 这种方法非常快，非常符合标准，并且充分利用JIST优化。

缺点：为使用此方法，这个问题中的函数必须要被初始化。另外构造函数的初始化，可能会给生成对象带来并不想要的方法和属性。

• Object.create

ECMAScript 5 中引入了一个新方法: Object.create()。可以调用这个方法来创建一个新对象。新对象的原型就是调用 create 方法时传入的第一个参数：

1. var a = {a: 1};   
2. // a ---> Object.prototype ---> null  
3. var b = Object.create(a);  
4. b.__proto__ === a; // true 

优点： 支持当前所有非微软版本或者 IE9 以上版本的浏览器。允许一次性地直接设置 __proto__ 属性，以便浏览器能更好地优化对象。同时允许通过 Object.create(null) 来创建一个没有原型的对象。

缺点：不支持 IE8 以下的版本；这个慢对象初始化在使用第二个参数的时候有可能成为一个性能黑洞，因为每个对象的描述符属性都有自己的描述对象。当以对象的格式处理成百上千的对象描述的时候，可能会造成严重的性能问题。

• Object.setPrototypeOf

语法：

1. Object.setPrototypeOf(obj, prototype) 

参数：

参数名	含义
obj	要设置其原型的对象。
prototype	该对象的新原型(一个对象 或 web/JavaScript/Reference/Global_Objects/null" target="_blank" rel="nofollow noreferrer">null).

1. var a = { n: 1 };  
2. var b = { m : 2 };  
3. Object.setPrototypeOf(a, b);  
4. a.__proto__ === b; // true 

优点：支持所有现代浏览器和微软IE9+浏览器。允许动态操作对象的原型，甚至能强制给通过 Object.create(null) 创建出来的没有原型的对象添加一个原型。

缺点：这个方式表现并不好，应该被弃用；动态设置原型会干扰浏览器对原型的优化；不支持 IE8 及以下的浏览器版本。

• _proto_ 

1. var a = { n: 1 };  
2. var b = { m : 2 };  
3. a.__proto__ = b;  
4. a.__proto__ === b; // true 

使用_proto_也可以动态设置对象的原型。

优点：支持所有现代非微软版本以及 IE11 以上版本的浏览器。将 __proto__ 设置为非对象的值会静默失败，并不会抛出错误。

缺点：应该完全将其抛弃因为这个行为完全不具备性能可言；干扰浏览器对原型的优化；不支持 IE10 及以下的浏览器版本。

编程语言原本是被设计成专门使用在计算机上的，但它们也可以用来定义算法或者数据结构。正是因为如此，程序员才会试图使程序代码更容易阅读。