一. 普通对象与函数对象

JavaScript 中,万物皆对象!但对象也是有区别的。分为普通对象和函数对象,Object 、Function 是 JS 自带的函数对象。下面举例说明

  1. var o1 = {};
  2. var o2 =new Object();
  3. var o3 = new f1();
  4. function f1(){};
  5. var f2 = function(){};
  6. var f3 = new Function('str','console.log(str)');
  7. console.log(typeof Object); //function
  8. console.log(typeof Function); //function
  9. console.log(typeof f1); //function
  10. console.log(typeof f2); //function
  11. console.log(typeof f3); //function
  12. console.log(typeof o1); //object
  13. console.log(typeof o2); //object
  14. console.log(typeof o3); //object

在上面的例子中 o1 o2 o3 为普通对象,f1 f2 f3 为函数对象。怎么区分,其实很简单,凡是通过 new Function() 创建的对象都是函数对象,其他的都是普通对象。f1,f2,归根结底都是通过 new Function()的方式进行创建的。Function Object 也都是通过 New Function()创建的
一定要分清楚普通对象和函数对象,下面我们会常常用到它。

二. 构造函数

我们先复习一下构造函数的知识:

  1. function Person(name, age, job) {
  2. this.name = name;
  3. this.age = age;
  4. this.job = job;
  5. this.sayName = function() { alert(this.name) }
  6. }
  7. var person1 = new Person('Zaxlct', 28, 'Software Engineer');
  8. var person2 = new Person('Mick', 23, 'Doctor');

上面的例子中 person1 和 person2 都是 Person 的实例。这两个实例都有一个 constructor (构造函数)属性,该属性(是一个指针)指向 Person。 即:

  1. console.log(person1.constructor == Person); //true
  2. console.log(person2.constructor == Person); //true

我们要记住两个概念(构造函数,实例):
person1 和 person2 都是 构造函数 Person 的实例
一个公式:
实例的构造函数属性(constructor)指向构造函数。

三. 原型对象

在 JavaScript 中,每当定义一个对象(函数也是对象)时候,对象中都会包含一些预定义的属性。其中每个函数对象都有一个prototype 属性,这个属性指向函数的原型对象。(先用不管什么是 __proto__ 第二节的课程会详细的剖析)

  1. function Person() {}
  2. Person.prototype.name = 'Zaxlct';
  3. Person.prototype.age = 28;
  4. Person.prototype.job = 'Software Engineer';
  5. Person.prototype.sayName = function() {
  6. alert(this.name);
  7. }
  8. var person1 = new Person();
  9. person1.sayName(); // 'Zaxlct'
  10. var person2 = new Person();
  11. person2.sayName(); // 'Zaxlct'
  12. console.log(person1.sayName == person2.sayName); //true

我们得到了本文第一个「定律」:
每个对象都有 proto 属性,但只有函数对象才有 prototype 属性
那什么是原型对象呢?
我们把上面的例子改一改你就会明白了:

  1. Person.prototype = {
  2. name: 'Zaxlct',
  3. age: 28,
  4. job: 'Software Engineer',
  5. sayName: function() {
  6. alert(this.name);
  7. }
  8. }

原型对象,顾名思义,它就是一个普通对象(废话 = =!)。从现在开始你要牢牢记住原型对象就是 Person.prototype ,如果你还是害怕它,那就把它想想成一个字母 A: var A = Person.prototype


在上面我们给 A 添加了 四个属性:name、age、job、sayName。其实它还有一个默认的属性:constructor

在默认情况下,所有的原型对象都会自动获得一个 constructor(构造函数)属性,这个属性(是一个指针)指向 prototype 属性所在的函数(Person)

上面这句话有点拗口,我们「翻译」一下:A 有一个默认的 constructor 属性,这个属性是一个指针,指向 Person。即:
Person.prototype.constructor == Person


在上面第二小节《构造函数》里,我们知道实例的构造函数属性(constructor)指向构造函数person1.constructor == Person
这两个「公式」好像有点联系:

  1. person1.constructor == Person
  2. Person.prototype.constructor == Person

person1 为什么有 constructor 属性?那是因为 person1 是 Person 的实例。
那 Person.prototype 为什么有 constructor 属性??同理, Person.prototype (你把它想象成 A) 也是Person 的实例。
也就是在 Person 创建的时候,创建了一个它的实例对象并赋值给它的 prototype,基本过程如下:

  1. var A = new Person();
  2. Person.prototype = A;

结论:原型对象(Person.prototype)是 构造函数(Person)的一个实例。


原型对象其实就是普通对象(但 Function.prototype 除外,它是函数对象,但它很特殊,他没有prototype属性(前面说道函数对象都有prototype属性))。看下面的例子:

  1. function Person(){};
  2. console.log(Person.prototype) //Person{}
  3. console.log(typeof Person.prototype) //Object
  4. console.log(typeof Function.prototype) // Function,这个特殊
  5. console.log(typeof Object.prototype) // Object
  6. console.log(typeof Function.prototype.prototype) //undefined

Function.prototype 为什么是函数对象呢?

  1. var A = new Function ();
  2. Function.prototype = A;

上文提到凡是通过 new Function( ) 产生的对象都是函数对象。因为 A 是函数对象,所以Function.prototype 是函数对象。

那原型对象是用来做什么的呢?主要作用是用于继承。举个例子:

  1. var Person = function(name){
  2. this.name = name; // tip: 当函数执行时这个 this 指的是谁?
  3. };
  4. Person.prototype.getName = function(){
  5. return this.name; // tip: 当函数执行时这个 this 指的是谁?
  6. }
  7. var person1 = new person('Mick');
  8. person1.getName(); //Mick

从这个例子可以看出,通过给 Person.prototype 设置了一个函数对象的属性,那有 Person 的实例(person1)出来的普通对象就继承了这个属性。具体是怎么实现的继承,就要讲到下面的原型链了。
小问题,上面两个 this 都指向谁?

  1. var person1 = new person('Mick');
  2. person1.name = 'Mick'; // 此时 person1 已经有 name 这个属性了
  3. person1.getName(); //Mick

故两次 this 在函数执行时都指向 person1。


四. proto

JS 在创建对象(不论是普通对象还是函数对象)的时候,都有一个叫做__proto__ 的内置属性,用于指向创建它的构造函数的原型对象。
对象 person1 有一个 __proto__属性,创建它的构造函数是 Person,构造函数的原型对象是 Person.prototype ,所以:
person1.__proto__ == Person.prototype
请看下图:
原型原型链-易只照彦 - 图1

《JavaScript 高级程序设计》的图 6-1
根据上面这个连接图,我们能得到:

  1. Person.prototype.constructor == Person;
  2. person1.__proto__ == Person.prototype;
  3. person1.constructor == Person;

不过,要明确的真正重要的一点就是,这个连接存在于实例(person1)与构造函数(Person)的原型对象(Person.prototype)之间,而不是存在于实例(person1)与构造函数(Person)之间。
注意:因为绝大部分浏览器都支持proto属性,所以它才被加入了 ES6 里(ES5 部分浏览器也支持,但还不是标准)。

五. 构造器

熟悉 Javascript 的童鞋都知道,我们可以这样创建一个对象:
var obj = {}
它等同于下面这样:
var obj = new Object()
obj 是构造函数(Object)的一个实例。所以:
obj.constructor === Object
obj.__proto__ === Object.prototype
新对象 obj 是使用 new 操作符后跟一个构造函数来创建的。构造函数(Object)本身就是一个函数(就是上面说的函数对象),它和上面的构造函数 Person 差不多。只不过该函数是出于创建新对象的目的而定义的。所以不要被 Object 吓倒。


同理,可以创建对象的构造器不仅仅有 Object,也可以是 Array,Date,Function等。
所以我们也可以构造函数来创建 Array、 Date、Function

  1. var b = new Array();
  2. b.constructor === Array;
  3. b.__proto__ === Array.prototype;
  4. var c = new Date();
  5. c.constructor === Date;
  6. c.__proto__ === Date.prototype;
  7. var d = new Function();
  8. d.constructor === Function;
  9. d.__proto__ === Function.prototype;

这些构造器都是函数对象:
原型原型链-易只照彦 - 图2
函数对象

六. 原型链

小测试来检验一下你理解的怎么样:

  1. person1.__proto__ 是什么?
  2. Person.__proto__ 是什么?
  3. Person.prototype.__proto__ 是什么?
  4. Object.__proto__ 是什么?
  5. Object.prototype__proto__ 是什么?

答案:
第一题:
因为 person1.__proto__ === person1 的构造函数.prototype
因为 person1的构造函数 === Person
所以 person1.__proto__ === Person.prototype
第二题:
因为 Person.__proto__ === Person的构造函数.prototype
因为 Person的构造函数 === Function
所以 Person.__proto__ === Function.prototype
第三题:
Person.prototype 是一个普通对象,我们无需关注它有哪些属性,只要记住它是一个普通对象。
因为一个普通对象的构造函数 === Object
所以 Person.prototype.__proto__ === Object.prototype
第四题,参照第二题,因为 Person 和 Object 一样都是构造函数
第五题:
Object.prototype 对象也有proto属性,但它比较特殊,为 null 。因为 null 处于原型链的顶端,这个只能记住。
Object.prototype.__proto__ === null

七. 函数对象 (复习一下前面的知识点)

所有函数对象proto都指向Function.prototype,它是一个空函数(Empty function)
  1. Number.__proto__ === Function.prototype // true
  2. Number.constructor == Function //true
  3. Boolean.__proto__ === Function.prototype // true
  4. Boolean.constructor == Function //true
  5. String.__proto__ === Function.prototype // true
  6. String.constructor == Function //true
  7. // 所有的构造器都来自于Function.prototype,甚至包括根构造器Object及Function自身
  8. Object.__proto__ === Function.prototype // true
  9. Object.constructor == Function // true
  10. // 所有的构造器都来自于Function.prototype,甚至包括根构造器Object及Function自身
  11. Function.__proto__ === Function.prototype // true
  12. Function.constructor == Function //true
  13. Array.__proto__ === Function.prototype // true
  14. Array.constructor == Function //true
  15. RegExp.__proto__ === Function.prototype // true
  16. RegExp.constructor == Function //true
  17. Error.__proto__ === Function.prototype // true
  18. Error.constructor == Function //true
  19. Date.__proto__ === Function.prototype // true
  20. Date.constructor == Function //true

JavaScript中有内置(build-in)构造器/对象共计12个(ES5中新加了JSON),这里列举了可访问的8个构造器。剩下如Global不能直接访问,Arguments仅在函数调用时由JS引擎创建,Math,JSON是以对象形式存在的,无需new。它们的proto是Object.prototype。如下

  1. Math.__proto__ === Object.prototype // true
  2. Math.construrctor == Object // true
  3. JSON.__proto__ === Object.prototype // true
  4. JSON.construrctor == Object //true

上面说的函数对象当然包括自定义的。如下

  1. // 函数声明
  2. function Person() {}
  3. // 函数表达式
  4. var Perosn = function() {}
  5. console.log(Person.__proto__ === Function.prototype) // true
  6. console.log(Man.__proto__ === Function.prototype) // true

这说明什么呢?
所有的构造器都来自于 Function.prototype,甚至包括根构造器ObjectFunction自身。所有构造器都继承了·Function.prototype·的属性及方法。如length、call、apply、bind
(你应该明白第一句话,第二句话我们下一节继续说,先挖个坑:))
Function.prototype也是唯一一个typeof XXX.prototypefunctionprototype。其它的构造器的prototype都是一个对象(原因第三节里已经解释过了)。如下(又复习了一遍):

  1. console.log(typeof Function.prototype) // function
  2. console.log(typeof Object.prototype) // object
  3. console.log(typeof Number.prototype) // object
  4. console.log(typeof Boolean.prototype) // object
  5. console.log(typeof String.prototype) // object
  6. console.log(typeof Array.prototype) // object
  7. console.log(typeof RegExp.prototype) // object
  8. console.log(typeof Error.prototype) // object
  9. console.log(typeof Date.prototype) // object
  10. console.log(typeof Object.prototype) // object

噢,上面还提到它是一个空的函数,console.log(Function.prototype) 下看看(留意,下一节会再说一下这个)
知道了所有构造器(含内置及自定义)的__proto__都是Function.prototype,那Function.prototype__proto__是谁呢?
相信都听说过JavaScript中函数也是一等公民,那从哪能体现呢?如下
console.log(Function.prototype.__proto__ === Object.prototype) // true
这说明所有的构造器也都是一个普通 JS 对象,可以给构造器添加/删除属性等。同时它也继承了Object.prototype上的所有方法:toString、valueOf、hasOwnProperty等。(你也应该明白第一句话,第二句话我们下一节继续说,不用挖坑了,还是刚才那个坑;))
最后Object.prototype的proto是谁?
Object.prototype.__proto__ === null // true
已经到顶了,为null。(读到现在,再回过头看第五章,能明白吗?)

八. Prototype

在 ECMAScript 核心所定义的全部属性中,最耐人寻味的就要数 prototype 属性了。对于 ECMAScript 中的引用类型而言,prototype 是保存着它们所有实例方法的真正所在。换句话所说,诸如 toString()valuseOf() 等方法实际上都保存在 prototype 名下,只不过是通过各自对象的实例访问罢了。

——《JavaScript 高级程序设计》第三版 P116
我们知道 JS 内置了一些方法供我们使用,比如:
对象可以用 constructor/toString()/valueOf() 等方法;
数组可以用 map()/filter()/reducer() 等方法;
数字可用用 parseInt()/parseFloat()等方法;

当我们创建一个函数时:

var Person = new Object()
PersonObject 的实例,所以 Person 继承Object 的原型对象Object.prototype上所有的方法:
原型原型链-易只照彦 - 图3
Object.prototype

Object 的每个实例都具有以上的属性和方法。
所以我可以用 Person.constructor 也可以用 Person.hasOwnProperty

当我们创建一个数组时:

var num = new Array()
numArray 的实例,所以 num 继承Array 的原型对象Array.prototype上所有的方法:
原型原型链-易只照彦 - 图4
Array.prototype

我们可以用一个 ES5 提供的新方法:Object.getOwnPropertyNames
获取所有(包括不可枚举的属性)的属性名不包括 prototy 中的属性,返回一个数组:

  1. var arrayAllKeys = Array.prototype; // [] 空数组
  2. // 只得到 arrayAllKeys 这个对象里所有的属性名(不会去找 arrayAllKeys.prototype 中的属性)
  3. console.log(Object.getOwnPropertyNames(arrayAllKeys));
  4. /* 输出:
  5. ["length", "constructor", "toString", "toLocaleString", "join", "pop", "push",
  6. "concat", "reverse", "shift", "unshift", "slice", "splice", "sort", "filter", "forEach",
  7. "some", "every", "map", "indexOf", "lastIndexOf", "reduce", "reduceRight",
  8. "entries", "keys", "copyWithin", "find", "findIndex", "fill"]
  9. */

这样你就明白了随便声明一个数组,它为啥能用那么多方法了。
细心的你肯定发现了Object.getOwnPropertyNames(arrayAllKeys) 输出的数组里并没有 constructor/hasOwnPrototype对象的方法(你肯定没发现)。
但是随便定义的数组也能用这些方法

  1. var num = [1];
  2. console.log(num.hasOwnPrototype()) // false (输出布尔值而不是报错)

因为Array.prototype 虽然没这些方法,但是它有原型对象(__proto__):

  1. // 上面我们说了 Object.prototype 就是一个普通对象。
  2. Array.prototype.__proto__ == Object.prototype

所以 Array.prototype 继承了对象的所有方法,当你用num.hasOwnPrototype()时,JS 会先查一下它的构造函数 (Array) 的原型对象 Array.prototype 有没有有hasOwnPrototype()方法,没查到的话继续查一下 Array.prototype 的原型对象 Array.prototype.__proto__有没有这个方法。

当我们创建一个函数时:

  1. var f = new Function("x","return x*x;");
  2. //当然你也可以这么创建 f = function(x){ return x*x }
  3. console.log(f.arguments) // arguments 方法从哪里来的?
  4. console.log(f.call(window)) // call 方法从哪里来的?
  5. console.log(Function.prototype) // function() {} (一个空的函数)
  6. console.log(Object.getOwnPropertyNames(Function.prototype));
  7. /* 输出
  8. ["length", "name", "arguments", "caller", "constructor", "bind", "toString", "call", "apply"]
  9. */

我们再复习第八小节这句话:

所有函数对象proto都指向 Function.prototype,它是一个空函数(Empty function)

嗯,我们验证了它就是空函数。不过不要忽略前半句。我们枚举出了它的所有的方法,所以所有的函数对象都能用,比如:
原型原型链-易只照彦 - 图5
函数对象
如果你还没搞懂啥是函数对象?
还有,我建议你可以再复习下为什么:

Function.prototype 是唯一一个typeof XXX.prototype为 “function”的prototype

我猜你肯定忘了。

九. 复习一下

第八小节我们总结了:

  1. 所有函数对象的 __proto__ 都指向 Function.prototype,它是一个空函数(Empty function

但是你可别忘了在第三小节我们总结的:

  1. 所有对象的 __proto__ 都指向其构造器的 prototype

咦,我找了半天怎么没找到这句话……
我们下面再复习下这句话。
先看看 JS 内置构造器:

  1. var obj = {name: 'jack'}
  2. var arr = [1,2,3]
  3. var reg = /hello/g
  4. var date = new Date
  5. var err = new Error('exception')
  6. console.log(obj.__proto__ === Object.prototype) // true
  7. console.log(arr.__proto__ === Array.prototype) // true
  8. console.log(reg.__proto__ === RegExp.prototype) // true
  9. console.log(date.__proto__ === Date.prototype) // true
  10. console.log(err.__proto__ === Error.prototype) // true

再看看自定义的构造器,这里定义了一个 Person

  1. function Person(name) {
  2. this.name = name;
  3. }
  4. var p = new Person('jack')
  5. console.log(p.__proto__ === Person.prototype) // true

pPerson 的实例对象,p 的内部原型总是指向其构造器 Person 的原型对象 prototype
每个对象都有一个 constructor 属性,可以获取它的构造器,因此以下打印结果也是恒等的:

  1. function Person(name) {
  2. this.name = name
  3. }
  4. var p = new Person('jack')
  5. console.log(p.__proto__ === p.constructor.prototype) // true

上面的Person没有给其原型添加属性或方法,这里给其原型添加一个getName方法:

  1. function Person(name) {
  2. this.name = name
  3. }
  4. // 修改原型
  5. Person.prototype.getName = function() {}
  6. var p = new Person('jack')
  7. console.log(p.__proto__ === Person.prototype) // true
  8. console.log(p.__proto__ === p.constructor.prototype) // true

可以看到p.__proto__Person.prototypep.constructor.prototype都是恒等的,即都指向同一个对象。
如果换一种方式设置原型,结果就有些不同了:

  1. function Person(name) {
  2. this.name = name
  3. }
  4. // 重写原型
  5. Person.prototype = {
  6. getName: function() {}
  7. }
  8. var p = new Person('jack')
  9. console.log(p.__proto__ === Person.prototype) // true
  10. console.log(p.__proto__ === p.constructor.prototype) // false

这里直接重写了 Person.prototype(注意:上一个示例是修改原型)。输出结果可以看出p.__proto__仍然指向的是Person.prototype,而不是p.constructor.prototype
这也很好理解,给Person.prototype赋值的是一个对象直接量{getName: function(){}},使用对象直接量方式定义的对象其构造器(constructor)指向的是根构造器ObjectObject.prototype是一个空对象{}{}自然与{getName: function(){}}不等。如下:

  1. var p = {}
  2. console.log(Object.prototype) // 为一个空的对象{}
  3. console.log(p.constructor === Object) // 对象直接量方式定义的对象其constructor为Object
  4. console.log(p.constructor.prototype === Object.prototype) // 为true,不解释(๑ˇ3ˇ๑)

十. 原型链(再复习一下:)

下面这个例子你应该能明白了!

  1. function Person(){}
  2. var person1 = new Person();
  3. console.log(person1.__proto__ === Person.prototype); // true
  4. console.log(Person.prototype.__proto__ === Object.prototype) //true
  5. console.log(Object.prototype.__proto__) //null
  6. Person.__proto__ == Function.prototype; //true
  7. console.log(Function.prototype)// function(){} (空函数)
  8. var num = new Array()
  9. console.log(num.__proto__ == Array.prototype) // true
  10. console.log( Array.prototype.__proto__ == Object.prototype) // true
  11. console.log(Array.prototype) // [] (空数组)
  12. console.log(Object.prototype.__proto__) //null
  13. console.log(Array.__proto__ == Function.prototype)// true

疑点解惑:

  1. Object.__proto__ === Function.prototype // true
    Object 是函数对象,是通过new Function()创建的,所以Object.__proto__指向Function.prototype。(参照第八小节:「所有函数对象的__proto__都指向Function.prototype」)
  2. Function.__proto__ === Function.prototype // true
    Function 也是对象函数,也是通过new Function()创建,所以Function.__proto__指向Function.prototype

    自己是由自己创建的,好像不符合逻辑,但仔细想想,现实世界也有些类似,你是怎么来的,你妈生的,你妈怎么来的,你姥姥生的,……类人猿进化来的,那类人猿从哪来,一直追溯下去……,就是无,(NULL生万物) 正如《道德经》里所说“无,名天地之始”。

  3. Function.prototype.__proto__ === Object.prototype //true

    其实这一点我也有点困惑,不过也可以试着解释一下。 Function.prototype是个函数对象,理论上他的__proto__应该指向 Function.prototype,就是他自己,自己指向自己,没有意义。 JS一直强调万物皆对象,函数对象也是对象,给他认个祖宗,指向Object.prototypeObject.prototype.__proto__ === null,保证原型链能够正常结束。

十一 总结

  • 原型和原型链是JS实现继承的一种模型。
  • 原型链的形成是真正是靠__proto__ 而非prototype

要深入理解这句话,我们再举个例子,看看前面你真的理解了吗?

  1. var animal = function(){};
  2. var dog = function(){};
  3. animal.price = 2000;
  4. dog.prototype = animal;
  5. var tidy = new dog();
  6. console.log(dog.price) //undefined
  7. console.log(tidy.price) // 2000

这里解释一下:

  1. var dog = function(){};
  2. dog.prototype.price = 2000;
  3. var tidy = new dog();
  4. console.log(tidy.price); // 2000
  5. console.log(dog.price); //undefined
  1. var dog = function(){};
  2. var tidy = new dog();
  3. tidy.price = 2000;
  4. console.log(dog.price); //undefined

这个明白吧?想一想我们上面说过这句话:

实例(tidy)和 原型对象(dog.prototype)存在一个连接。不过,要明确的真正重要的一点就是,这个连接存在于实例(tidy)与构造函数的原型对象(dog.prototype)之间,而不是存在于实例(tidy)与构造函数(dog)之间。

聪明的你肯定想通了吧 :)
2017-10-27 更新:
下面的评论有喷子喷我:「null 没有 proto」,下面解释一下:
null 是一个独立的数据类型,为什么typeof(null)的值是”object”?

  1. null不是一个空引用, 而是一个原始值, 参考ECMAScript5.1中文版** 4.3.11节; 它只是期望此处将引用一个对象, 注意是”期望”, 参考 null - JavaScript**.
  2. typeof null结果是object, 这是个历史遗留bug, 参考 typeof - JavaScript**
  3. 在ECMA6中, 曾经有提案为历史平凡, 将type null的值纠正为null, 但最后提案被拒了. 理由是历史遗留代码太多, 不想得罪人, 不如继续将错就错当和事老, 参考 harmony:typeof_null [ES Wiki]
    作者:克荷林链接:https://www.zhihu.com/question/21691758/answer/987822

写个教程不容易,遇到喷子真心不爽。喷子不管那么多,哪怕文章是免费看的。他们只要抓住你一点点的小失误,就兴奋的噼里啪啦一顿喷。