在讲原型之前我们先来了解一下函数。
在JS中,函数的本质就是对象,它与其他对象不同的是,创建它的构造函数与创建其他对象的构造函数不一样。那产生函数对象的构造函数是什么呢?是一个叫做Function的特殊函数,通过new Function 产生的对象就是一个函数。
function f1() {}
//上面的函数等同于:
var f1 = new Function();
function sum(a, b) {
return a + b;
}
//上面的函数等同于:
var sum = new Function("a", "b", "return a + b");//前面的是函数形参名,最后一个参数是函数体
也就是说:只要通过Function创建的对象就是函数,函数都是通过Function创建的。
以上我们可以看到普通对象是由函数创建的,函数是由Function创建的。那我们会有一个疑问Function是从哪里来的?其实Function是不通过其他函数得到,它是JS执行引擎初始化就直接通过本地代码直接放置到内存中的。
当一个函数被创建后,这个函数就会自动附带一个属性prototype,它就是一个Object对象,代表着函数的原型。也就是说prototype就是原型对象
原型对象中包含两个属性:constructor和proto。constructor这个属性是指创建原型的函数,它指向函数本身。所以有以下关系:
var Person = function () { };
var p = new Person();
我们把 new 的过程拆分成以下三步:
- var p={}; 也就是说,初始化一个对象p
- p.proto = Person.prototype;
- Person.call(p);也就是说构造p,也可以称之为初始化p。
证明一下:
var Person = function () { };
var p = new Person();
alert(p.__proto__ === Person.prototype); // true
那么_proto_是什么?
每个对象都会在其内部初始化一个属性,就是 _proto_,当我们访问一个对象的属性 时,如果这个对象内部不存在这个属性,那么他就会去_proto_里找这个属性,这个_proto_又会有自己的_proto_,于是就这样 一直找下去,也就是我们平时所说的原型链的概念。
按照标准,_proto_是不对外公开的,也就是说是个私有属性,但是 Firefox 的引擎将他暴露了出来成为了一个共有的属性,我们可以对外访问和设置。
var Person = function () { };
Person.prototype.Say = function () {
alert("Person say");
}
var p = new Person();
p.Say();
我们看下为什么 p 可以访问 Person 的 Say。
首先var p=new Person();
可以得出 p.proto=Person.prototype。那么当我们调用 p.Say() 时,首先 p 中没有 Say 这个属性, 于是,他就需要到他的 proto 中去找,也就是 Person.prototype,而我们在上面定义了 Person.prototype.Say = function(){}; 于是,就找到了这个方法。
我们来做这样的推导:
var p=new Programmer()可以得出p.proto=Programmer.prototype;
我们指定了Programmer.prototype=new Person();我们来这样拆分,var p1=new Person();Programmer.prototype=p1;那么:
p1.proto=Person.prototype;
Programmer.prototype.proto=Person.prototype;
由根据上面得到p.proto=Programmer.prototype。可以得到p.proto.proto=Person.prototype。
好,算清楚了之后我们来看上面的结果,p.Say()。由于p没有Say这个属性,于是去p.proto,也就是 Programmer.prototype,也就是p1中去找,由于p1中也没有Say,那就去p.proto.proto,也就是 Person.prototype中去找,于是就找到了alert(“Person say”)的方法。
其余的也都是同样的道理。
这也就是原型链的实现原理。
最后,其实prototype只是一个假象,他在实现原型链中只是起到了一个辅助作用,换句话说,他只是在new的时候有着一定的价值,而原型链的本质,其实在于proto!