说说JS原型链

JS的原型链的分析网上有大把，比如这种：

原型链

不过有必要把简单的东西复杂化吗？

其实理解JS原型链只需要理解一个准则，那就是：

var o = new Object();

在面向对象编程（OOP）的语言，比如Java或者c++ 中，这是我们创建对象的最简单途径。但是JS这门语言从它的诞生起就比较奇葩，因为它不是面向对象语言，但JS却又处处是对象，所以我们一般把JS称做基于对象的函数式动态语言，加上大家常说的弱类型这一点让JS非常灵活，但我觉得弱类型压根不是JS区别于OOP语言的最根本的原因。我们往下看：

在JS中创建对象，我们习惯于这样做：var o = {}; 或者直接 var o;  当然这只是语法糖罢了，我们也可以写全：var o = new Object();

说白了，JS的创建对象和OOP语言没有本质区别，甚至一模一样，那这和我们要说的原型链有什么关系呢？

当然有关系的，OOP的三个要素：封装，多态，继承。JS有很好的封装特性，因为JS处处是对象；但JS的多态和继承特性是很不明显的，因为JS没有类的概念。不过我们却可以在JS中实现类似“类”的功能，来满足继承需求。这个实现便是原型链(prototype)：

var o1= new Class1();  //  这句话隐含了 o1.__proto__ == Class1.prototype，就是我们的实例化

var o2 = new Class2();

Class2.prototype.__proto__ ==  Class1.prototype；//这句话等同于Java的 Class2 extends Class1 ，让Class2继承了Class1

--XXX.prototype 其实就是一个XXX类的作用域对象，通过一个__proto__ 引用我们就实现了单根继承

--那么Class1.prototype.__proto__等于什么呢？我们没有手动改变之前，Class1.prototype.__proto__ == Object.prototype，即所有的类都默认继承于Object类。

所以很显然了，对于记不住原型链关系那一大串的，你只要知道prototype 是“类”标识，只要出现了prototype 那便是出现了“类”，对于一般的我们所说的“对象” 比如上面的o1,o2 他们是没有prototype 这个属性的，因为o1和o2是“对象”，而不是“类”。

总结一下：

1.任何对象都有一个__proto__引用，指向实例化它的类的prototype，对于JS就是指向一个函数。

2.任何“类”都有一个prototype原型对象，它定义了类作用域。

3.对象不是类，所以对象没有prototype；但是类却是特殊的对象，所以它不仅有prototype，当然也有__proto__。

讨论到这里，我想补充一点，上面讨论的“类”的这个概念都是我们自己定义的，因为JS（es6之前）没有这样的概念。

那么怎么定义一个“类”比如F1类呢？这个不多讲，用函数，我们先看看JS的函数定义：

function F1(){ }    //其实这句话也是语法糖，它的本质是：var F1 = new Function();  

//即F1.__proto__ == Function.prototype ，F1类是Function类的一个实例对象

//并且，系统自动多了一句 创建F1.prototype  ，F1.prototype .__proto__ == Object.prototype ，F1类继承于Object类

聪明的你一定懂了，Function其实就是一个“类”，F1不过是这个类的一个实例对象罢了。然而问题来了，F1这个对象可不一般，因为它也是个类！

也就是说不仅Function是类，F1也成了类。你可以理解当类是Function ---这个特殊的本地代码实现的特别类时，实例化对象F1也自动变成了类，所以F1拥有了prototype属性（这个类标识属性）。

而对于Function这个特殊类：

Function.__proto__ == Function.prototype == nativeCode  //我实现我自己。

而对于所有类的默认祖先Object类：

Object.__proto__ == Function.prototype == nativeCode    //你可以理解为Object是Function的一个实例，自己也变成了类。和上面的F1是一样的，不过Object是所有普通类的根源罢了。

Object.prototype.__proto__ == null

除此之外，没有其他任何需要你记忆的

那么再总结一下：

1.JS中创建任何类都要通过“Function这个本地代码实现的超级类" 来实例化。

2..类可以实例化对象（通过new）

3..而Function类也可以实例化对象（也是new，不过变体成了function这个语法糖），不过这个实例化对象叫做“类”

Function是所有类的爹，类是所有对象的爹，Object类是所有类的老大。