__proto__(隐式原型)与prototype(显式原型)

理解proto和prototype,才能更好的理解原型链

一、 例子

在理解原型链之前,先看一个例子

function A(){};
A.prototype.test=function(){console.log("A")}; has
function B(){};
B.prototype=new A();
var c=new B();

请猜想c.constructor? 答:A

解答
现在控制台打印c
images
对象c并没有constructor的属性,而是有内置属性proto

Note:对象c自身没有constructor属性,但是因为实例拥有构造函数原型上的属性和方法,所以实例c是能访问到constructor属性
c.__proto__==B.prototype
又因为
B.prototype=new A();
所以
B.prototype=p,p=new A();
p.__proto__=A.prototype;
B.prototype.__proto__==A.prototype;
所以
c.__proto__.__proto__==A.prototype


images
构造函数的原型上内置属性proto和constructor
构造函数的原型上的构造器函数又指向prototype属性所在函数
Note:注意实际过程中构造函数的原型是否被重写,像B.prototype=new A();就是被重写了,B.prototype上不存在constructor,就要去B.prototype.proto上去找
即A.prototype.constructor==A
c.__proto__.__proto__.constructor==A.prototype.constructor==A;
c.constructor==A

二、什么是显示原型和隐式原型

显示原型
每一个函数在创建之后都会拥有一个名为prototype的属性,这个属性指向函数的原型对象

Note:通过Function.prototype.bind方法构造出来的函数是个例外,它没有prototype属性;
隐式原型
JavaScript中任意对象都有一个内置属性[[prototype]],在ES5之前没有标准的方法访问这个内置属性,但是大多数浏览器都支持通过proto来访问。ES5中有了对于这个内置属性标准的Get方法Object.getPrototypeOf().

Note: Object.prototype 这个对象是个例外,它的proto值为null
二者的关系:
隐式原型指向创建这个对象的函数(constructor)的prototype

三、作用是什么

显式原型的作用:用来实现基于原型的继承和属性的共享
隐式原型的作用:构成原型链,同样用于实现基于原型的继承。举个例子,当我们访问obj这个对象中的x属性时,如果在obj中找不到,那么就会沿着proto依次查找。

四、proto的指向?

proto的指向到底如何判断呢?根据ECMA定义 ‘to the value of its constructor’s “prototype” ‘ —-指向创建这个对象的函数的显式原型。
所以关键的点在于找到创建这个对象的构造函数,接下来就来看一下JS中对象被创建的方式,一眼看过去似乎有三种方式:
(1)对象字面量的方式
(2)new 的方式
(3)ES5中的Object.create()

但是我认为本质上只有一种方式,也就是通过new来创建。
为什么这么说呢,首先字面量的方式是一种为了开发人员更方便创建对象的一个语法糖,本质就是:

var o = new Object();
o.xx = xx;
o.yy=yy;

再来看看Object.create(),这是ES5中新增的方法,在这之前这被称为原型式继承,

//道格拉斯在2006年写了一篇文章,题为 Prototypal Inheritance In JavaScript。在这篇文章中,他介绍了一种实现继承的方法,这种方法并没有使用严格意义上的构造函数。
//他的想法是借助原型可以基于已有的对象创建新对象,同时还不比因此创建自定义类型,为了达到这个目的,他给出了如下函数:
function object(o){
function F(){}
F.prototype = o;
return new F()
}
//----- 《JavaScript高级程序设计》P169

所以从实现代码 return new F() 中我们可以看到,这依然是通过new来创建的。
不同之处在于由 Object.create() 创建出来的对象没有构造函数,看到这里你是不是要问,没有构造函数我怎么知道它的proto指向哪里呢,其实这里说它没有构造函数是指在 Object.create() 函数外部我们不能访问到它的构造函数,然而在函数内部实现中是有的,它短暂地存在了那么一会儿。假设我们现在就在函数内部,可以看到对象的构造函数是F, 现在
//以下是用于验证的伪代码

var f = new F();
//于是有
f.__proto__ === F.prototype //true
//又因为
F.prototype === o;//true
//所以
f.__proto__ === o;

因此由Object.create(o)创建出来的对象它的隐式原型指向o。

举例子来巩固一下一个对象的proto指向谁了。

构造函数的显示原型的隐式原型:
内建对象(built-in object):比如Array(),Array.prototype.proto指向什么?
Array.prototype也是一个对象,对象就是由 Object() 这个构造函数创建的,因此:

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

或者也可以这么理解,所有的内建对象都是由Object()创建而来。
自定义对象
1、 默认情况下:

function Foo(){}
var foo = new Foo()
Foo.prototype.__proto__ === Object.prototype //true 理由同上

2、 其他情况:
(1)

function Bar(){}
//这时我们想让Foo继承Bar
Foo.prototype = new Bar()
Foo.prototype.__proto__ === Bar.prototype //true

(2)

//我们不想让Foo继承谁,但是我们要自己重新定义Foo.prototype
Foo.prototype = {
a:10,
b:-10
}
//这种方式就是用了对象字面量的方式来创建一个对象,根据前文所述
Foo.prototype.__proto__ === Object.prototype

注:以上两种情况都等于完全重写了Foo.prototype,所以Foo.prototype.constructor也跟着改变了,于是乎constructor这个属性和原来的构造函数Foo()也就切断了联系。
构造函数的隐式原型
既然是构造函数那么它就是Function()的实例,因此也就指向Function.prototype,比如 Object.proto === Function.prototype

五、instanceof

instanceof 操作符的内部实现机制和隐式原型、显式原型有直接的关系。instanceof的左值一般是一个对象,右值一般是一个构造函数,用来判断左值是否是右值的实例。它的内部实现原理是这样的:

//设 L instanceof R
//通过判断
L.__proto__.__proto__ ..... === R.prototype ?
//最终返回true or false

也就是沿着L的proto一直寻找到原型链末端,直到等于R.prototype为止。知道了这个也就知道为什么以下这些奇怪的表达式为什么会得到相应的值了

Function instanceof Object // true
Object instanceof Function // true
Function instanceof Function //true
Object instanceof Object // true
Number instanceof Number //false

sunbaixin wechat
欢迎您扫一扫上面的微信公众号,订阅我的博客!