function和object

在JavaScript中，有两个比较特殊的数据类型，一个是function，另一个是object。它们的共同点是都为引用类型，即变量名对应的值是一个指向其对象的指针。而区别是，function类型的数据都有一个prototype属性，原因是每个function类型的对象都是由Function() 这个构造函数创建的实例。我们姑且称其为显式原型。而object类型都是由Object() 这个构造函数创建的实例，它们都有一个__proto__属性，我们暂且称之为隐式原型。

小结

在这里简单归纳一些function和object的性质：

所有object类型的数据都拥有__proto__属性
只有function类型的数据都拥有prototype属性
由于function类型的数据也是object类型，因此function类型的数据也拥有__proto__属性至于它们之间的关系我们将继续讨论。

关于prototype和proto

prototype

我们知道若想创建一个函数（function）必须通过function关键字来创建。而function关键字的原理则是通过new关键字调用Function()这个函数构建出一个实例。所以我们熟知的创建函数的三种方式

// 第一种写法
var fun = new Function('arg1', 'arg2', ..., 'body')

// 第二种写法
function fun(arg1, arg2, ...){
// do something
}

// 第三种写法
var fun = function('arg1, arg2, ...'){
// do somthing
}

这三种写法得到的结果是相同的（但解析器解析方式不同，这里不展开来说），都是创建了一个变量fun，其值为指向一个Function()的实例的指针。
只有function类型的数据拥有prototype属性，它的值是一个地址值，默认指向一个空对象（object），而上述的那个“ 对象（object）”就称为这个function的原型对象。

proto

我们知道若想创建一个对象（object），必须通过new关键字调用“某个函数（function）”将其实例化。而这个函数就称为这个对象的构造函数。每个对象（object）都是有某个构造函数实例化创建而来的，在每个对象的内部都有一个constructor属性，其属性值就是一个指向这个对象构造函数的指针。所有object类型的数据都拥有__proto__属性，它的值也是一个地址值，并且与它的构造函数的prototype的值一致。

小结

到这里我们知道，构造函数的prototype和实例对象的__proto__指向的其实是同一个对象，即构造函数的原型对象。

Function和Object的原型

理解了原型和原型对象后，我们需要了解两个特殊的函数的原型，即Object和Function。由于函数也是object类型的数据，因此它们都具有prototype和__proto__属性，下面分别讨论。
(请注意不要混淆，首字母大写的Object和Function是两个函数，而首字母小写的object和function代表的是两种数据类型。)

Function的原型

Function的原型对象，这里用Function.prototype来表示。Function()既然是function，同样也是一个object类型的数据，因此Function()也拥有__proto__属性，但其值为指向Function.prototype这个对象的指针。

我们知道，一个对象的__proto__属性应该与它的构造函数的prototype值相等。然而Function.__proto__却与Function.prototype的值相等，照此理解Function的构造函数就是它自己本身。事实也正是如此，我们可以通过打印Function.constructor查看Function的构造函数。输入

console.log(Function.constructor)

控制台输出

ƒ Function() { [native code] }

至此我们知道，Function()函数的构造函数是它本身，因此Function.prototype和Function.__proto__指向的是同一个对象即图中右侧的Function.prototype。

Object的原型

Object.prototype

Object的原型对象，这里用Object.prototype来表示。Object.prototype是一个object类型的数据，也就是说，Object.prototype是由Object的实例。通过之前的总结我们知道，object类型的数据都拥有__proto__属性。因此Object.prototype即Object的原型对象也拥有__proto__属性，并且其属性值为null。也就是Object.prototype.__proto__ === null（注意这一点与其他object不同，它的__proto__属性值并非为其构造函数Object()的prototype的值，而是null）

Object.proto

Object是一个函数，因此它的构造函数为Function。因此Object.__proto__应该与它构造函数的prototype属性一致，因此指向Function.prototype。（图中未显示）

图中o1,o2是由Object函数创建的任意实例，它们的__proto__属性与它们的构造函数的原型对象，也就是Object.prototype一致，指向的都是图中右侧的圆角矩形Object.prototype这个对象。而Object.prototype的__proto__属性的属性值为null。

小结

每个function类型的数据同时也是object类型的数据，它们同时拥有prototype和__proto__属性。其中两个特殊的函数Function和bject的prototype和__proto__属性分别由以下特点

Function的prototype和__proto__属性相同都指向同一个对象，即Function的原型对象Function.prototype
Object的prototype指向Object的原型对象，而Object的原型对象的__proto__指向null
Object是一个函数，它的__proto__属性指向Function.prototype

原型链

原型如何发挥作用

了解了原型和原型对象，下面介绍它的用途。我们知道每个对象都可以调用toString方法，然而我们并没有编写这段代码，那么它在哪呢？答案是在原型对象中。
当要需要读取一个对象的属性或调用方法时：

首先会在对象内部查找对应的属性名或方法名，若查找到则返回
若没查找到，则会通过该对象的__proto__属性访问其构造函数的原型对象，在其构造函数的原型对象中查找，若查找到则返回
若没找到则继续通过原型对象的__proto__属性访问，直至某个对象的__proto__属性值为null，则返回undefined

以上就是当访问一个对象的属性或方法的过程，而通过__proto__的指向连接起来的多个原型对象就被称为原型链。了解了上面调用方法流程之后就能解答开始提出的问题了，toString方法我们没有编写却可以调用，因此它一定在Object的原型链上。输入

console.log(Object.prototype)

输出

我们发现toString方法在Object的原型对象中，所以就可以解释为什么所有对象都可以调用toString方法了。

原型链的特点

所有的对象都由某个构造函数通过new关键字构造，而所有函数又是由Function构造的实例。因此我们创建的对象都可以通过原型链访问到Function.prototype。再进一步，Function.prototype又可以通过__proto__访问到Object.prototype，所以说Object.prototype在所有对象的原型链上，因此Object.prototype上的方法，所有对象都可以调用。
下面是引用自www.mollypages.org/ 的原型链的结构图完整版

原型链.jpg

原型链如何解释一些问题

instanceof

我们通常用instanceof判断一个对象是否为某个函数的实例。在控制台输入以下内容

Function instanceof Object
true
Object instanceof Function
true

instanceof是一个二元运算符，如：A instanceof B. 其中，A必须是一个合法的JavaScript对象，B必须是一个合法的JavaScript函数 (function). 判断过程如下：

如果函数B在对象A的原型链 (prototype chain) 中被发现，那么instanceof操作符将返回true，否则返回false。
这就可以解释为什么上面两个表达式Function instanceof Object和Object instanceof Function的值均为true了。通过Function.__proto__.__proto__.constructor可以访问到Object，而通过Object.__proto__.constructor可以访问到Function，于是两个看似矛盾的表达式的返回值都是true。