详解JS原型与原型链
一、原型
任何对象都有一个原型对象,这个原型对象由对象的内置属性_proto_指向它的构造函数的prototype指向的对象
即任何对象都是由一个构造函数创建的,但是,不是每一个对象都有prototype,只有方法才有prototype。
function Person() {
}
var p = new Person();
//方法才有prototype,普通对象无prototype
console.log(Person.prototype); // Object{}
console.log(p.prototype); // undifined
//任何对象都是有构造函数的,Person这种方法的构造函数是Function。
//备注:constructor很容易被改变,一般不用它,此处只是打印下列对象的构造函数是什么。
console.log(p.constructor); //function Person(){}
console.log(Person.constructor); //function Function(){}
console.log({}.constructor); // function Object(){}
console.log(Object.constructor); // function Function() {}
console.log([].constructor); //function Array(){}
那什么是构造函数呢?用function声明的都是函数,而如果直接调用的话,那么Person()就是一个普通函数,只有用函数new产生对象时,这个函数才是new出来对象的构造函数。
二、采用new关键创建对象的过程
1、声明方法
当我们声明一个function关键字的方法时,会为这个方法添加一个prototype属性,指向默认的原型对象,并且此prototype的constructor属性也指向方法对象。此二个属性会在创建对象时被对象的属性引用。
2、我们如果用Hello创建一个对象h,看这个对象有什么属性。
备注:getPrototypeOf是获取_proto_。
我们惊喜的发现,new出来的对象,它的constructor指向了方法对象,它的_proto_和prototype相等。 即new一个对象,它的_proto_属性指向了方法的prototype属性,并且constructor指向了prototype的constructor属性。
3、所以new创建一个对象的过程
function Hello(name) {
this.name = name;
}
var h = new Hello("...");
//伪代码:
function newObj(name){
var obj = {};
obj.__proto__ = Hello.prototype;
obj.constructor = Hello.prototype.constructor;
var result = Hello.call(obj, name);
return typeof result==='object' && result!=null ? result : obj; //当无返回对象或默认时返回obj。
}
var hh = newObj("...");
console.log(hh);
console.log(h);
//虽然hh!=h,但是可以看到这个hh就和h的结构一样了
过程:
(1)先创建一个空对象,
(2)设置空对象的_proto_指向方法的原型,
(3)设置空对象的constructor为构造函数的名称
(4)用新对象做this指向方法调用函数,
(5)将初始化完毕的新对象返回
具体可以看下之前总结的这篇:原生JS实现new方法、new一个对象发生的四部、new里面常用的优先级
4、原型链
第一个 __proto__ 指向的是 Hello.prototype;第二个 __proto__ 指向的是 Object.prototype,
从上面说明的过程中,我们发现只要是对象就是由构造函数来创建的,并且内部二个属性是从构造函数的prototype衍生的一个指向,而构造函数的prototype也是一个对象,那么它应该肯定也有一个构造函数,首先它是一个Object {} 对象,那么它的构造函数肯定是Object,所以就会有一个指针_proto_指向Object.prototype。最后Object.prototype因为没有_proto_,指向null,这样就构成了一个原型链。
三、原型链
1、什么是原型链?
每个对象都有一个原型_proto_,这个原型还可以有它自己的原型,以此类推,形成一个原型链。查找特定属性的时候,我们先去这个对象里去找,如果没有的话就去它的原型对象里面去,如果还是没有的话再去向原型对象的原型对象里去寻找...... 这个操作被委托在整个原型链上,这个就是我们说的原型链了。
原型链的核心就是依赖对象的_proto_的指向,当查找自身不存在的属性时,就一层层的扒出创建对象的构造函数,直至到Object时,就没有_proto_指向了。因为_proto_实质找的是prototype,所以我们只要找这个链条上的构造函数的prototype。其中Object.prototype是没有_proto_属性的,它==null。
原型链查找分析:
(1)当访问一个对象的成员的时候,会先在自身找有没有,如果找到直接使用。
(2)如果没有找到,则去原型链指向的对象的构造函数的prototype中找,找到直接使用,没找到就返回undifined或报错。
function Person(name){
this.name = name;
}
var p = new Person();
//p ---> Person.prototype --->Object.prototype---->null
2、原型指针
我们知道了原型的概念,接下来我们就看下面这张图来具体分析一下原型的指针:
中间最上面蓝色模块标注的构造函数Foo, 里面有两个属性: _proto_ 和 prototype, 这两个很容易使人混淆。
(1)prototype属性,它是函数所独有的,它是从一个函数指向一个对象。它的含义是函数的原型对象,也就是这个函数(其实所有函数都可以作为构造函数)所创建的实例的原型对象; 这个属性是一个指针,指向一个对象,这个对象的用途就是包含所有实例共享的属性和方法(我们把这个对象叫做原型对象);
(2)__proto__ 是原型链查询中实际用到的,它总是指向 prototype,换句话说就是指向构造函数的原型对象,它是对象独有的。注意,为什么Foo构造函数也有这个属性呢,因为在js的宇宙里万物皆对象,包括函数;
根据以上的概括我们能知道Foo构造函数_proto_指向的是他的构造函数的原型对象,它的构造函数是Function, 也就是说Foo的_proto_指向Function.prototype,
我们再看到左边绿色的a和b函数的_proto_指像的是Foo.prototype,因为他们是通过 new Foo实例化出来的,它们的构造函数就是Foo(),即a._proto_ = Foo.prototype;
接着我们来看看最右边紫色的模块Function.prororype, 它的_proto_指针指向的是Object.prototype,Object._proto_又为null.。
于是我们就可以得出:在原型链中的指向是,函数 → 构造函数 → Function.prototype → Object.protype → null ;
(3)constructor:
我们看到最中间灰色模块有一个constructor属性,这个又是做什么用的呢?
每个函数都有一个原型对象,该原型对象有一个constructor属性,指向创建对象的函数本身。
此外,我们还可以使用constructor属性,所有的实例对象都可以访问constructor属性,constructor属性是创建实例对象的函数的引用。我们可以使用constructor属性验证实例的原型类型(与操作符instanceof非常类似)。
由于constructor属性仅仅是原始构造函数的引用,因此我们可以使用该属性创建新的对象,如:
通过第一个对象实例化对象的constuctor方法创建第2个实例化对象,说明创建的新对象ninja2 是Ninja的实例,由于ninja和ninja2不是同一个对象可以得出它们是两个截然不同的实例;
3、结论
(1)__proto__ 是原型链查询中实际用到的,它总是指向 prototype;
(2)prototype 是函数所独有的,在定义构造函数时自动创建,它总是被 __proto__ 所指。
(3)所有对象都有__proto__属性,函数这个特殊对象除了具有__proto__属性,还有特有的原型属性prototype。
(4)prototype对象默认有两个属性,constructor属性和__proto__属性。
(5)prototype属性可以给函数和对象添加可共享(继承)的方法、属性,而__proto__是查找某函数或对象的原型链方式。
(6)constructor,这个属性包含了一个指针,指回原构造函数。