不知道你有没有想过这样一个问题

  • 为什么我定义一个数组，它就有push、join、pop、shift等方法，我明明什么也没写啊？
  • 为什么我定义一个函数，它就有call、apply、length等属性/方法，我也什么都没有做呀？！
  • 为什么我定义一个对象，它就有toString、valueOf等方法，我更是什么都没有做呀？！

1、我们先来说说对象。

当我们定义一个对象时

1
var obj = {}


我们发现obj下面有一个属性名叫__proto__，（它是个对象）
obj.__proto__里面又有很多属性，包括 valueOf、toString、constructor 等。当我们需要找obj.valueOf这个属性时，发现obj本身没有没有，那么它就会去查找obj.__proto__是否有这个属性，如果还没有，它去找obj.__proto__.__proto__，直到找到这个属性或null为止，在这个读取属性的过程中，是沿着__proto__组成的链子来搜索的，这个链子我们称为原型链。
如果obj自身定义了一个valueOf属性，那么它找到自身的valueOf之后就不再沿着__proto__来找，因为已经找到了，没有必要继续找了，也就是说

  • 新增的属性不会沿着__proto__查找
  • 读取属性会沿着__proto__，直到找到这个属性，或者是null为止。

2、那么obj.__proto__到底是什么呢？

__proto__是一个简单的访问器属性，它总是指向它的构造函数的prototype。即原型对象。

所有的对象都继承了Object.prototype的属性和方法，
它们可以被覆盖（除了以null为原型的对象，如 Object.create(null)）。
例如，新的构造函数的原型覆盖原来的构造函数的原型，提供它们自己的 toString() 方法.。对象的原型的改变会传播到所有对象上，除非这些属性和方法被其他对原型链更里层的改动所覆盖。

所有的对象会动态生成一个__proto__指向它构造函数的原型（prototype ）
当我们去查找obj.valueOf这个属性时，他会沿着原型链去查找obj.__proto__.valueOf，而obj.__proto__指向obj.constructor.prototype。即

1
2
obj.__proto__ === obj.constructor.prototype  // true
obj.__proto__.toString=== obj.constructor.prototype.toString  // true

我们知道obj的构造函数就是Object，那么我们也可以这么写

1
2
obj.__proto__ === Object.prototype  // true
obj.__proto__.toString === Object.prototype.toString  // true

3、对于数组

以push方法为例，我们知道当我们定义一个空数组时，我们可以直接调用push方法，根据上面的解释，他会沿着这个数组的__proto__去查找这个方法。

1
2
var array = []
array.push === array.__proto__.push // true

array.__proto__指向它构造函数的prototype，那么

1
2
array.__proto__.push === array.constructor.prototype.push // true
array.__proto__.push === Array.prototype.push  // true

终于找到push方法了。

问题来了，我们知道array也是对象，那么JS是怎么知道array也是对象的呢？

答：通过__proto__

我们先看Array.__proto__指向谁

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

你也许会纳闷，怎么Array.__proto__指向的怎么是函数的原型对象呢？因为Array的构造函数就是函数，不信你console.log(Array.constructor)试试？而函数的原型对象的__proto__最终指向Object

1
2
Function.prototype.__proto__ === Object.prototype  // true
Array.__proto__.__proto__ === Object.prototype  // true

或者我们也可以这样写

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

最终归宿都是Object。

至此我们看下一个小小的array都经历了什么

1
2
array.__proto__  ----> Array.prototype ----> Array.prototype.__proto__---->
Object.prototype

这样也就不难理解为什么数组（函数）也是个对象了。

4、一切皆对象？

也许你会迷惑，既然Array.__proto__.__proto__ = Object.prototype，那么

1
2
3
Number.__proto__.__proto__ === Object.prototype   // true
Boolean.__proto__ .__proto__ === Object.prototype   // true
String.__proto__.__proto__ === Object.prototype   // true

为什么我们不可以说数字/布尔/字符串也是对象呢？
这要看这个数字/布尔/字符串是怎么创建的了。
以数字为例

1
2
var a = 1
var b = new Number(1)

我们知道基本类型是没有属性的，即便可以访问到这个属性，也是访问的临时对象的属性，访问完就销毁了，即使你发现a.__proto__.__proto__指向是Object，也是new Number指向的，跟a没有半毛钱关系，因为a就是个number。
b就不一样了，b是构造函数Number构造出来的一个对象，只不过他的值是1，它可是有__proto__属性的，那么b就可以愉快的指来指去了。

1
b.__proto__.__proto__ === Object.prototype  // true

所以a是一个number，而b是一个object。
同理字符串和布尔也是如此。

来跟我一起大声念JS的七种数据类型：
number , string , boolean , undefined , null , object , symbol
说JS一切皆对象的，你们当其他类型是吃干饭的么？

参考