1. 前言
原型和原型链是js中的难点也是重点,有句话说,没理解透原型和原型链,就算还没有真正入门的前端。并且原型和原型链会是面试中必不可少的话题。看完这篇相信你能对原型和原型链会有个深刻的理解。
2. 函数对象
JS所有对象分为函数对象和普通对象。凡是通过new Function()创建得来的对象都是函数对象。函数对象拥有prototype属性和__proto__属性。
prototype
JS设计之初为了实现简单继承,引入了prototype属性,也叫原型对象(显式原型)。
//原型对象
function Animal(){};
console.log(typeof Animal.prototype) //Object
console.log(typeof Object.prototype) // Object
复制代码
可以看出,从本质上讲,prototype是一个普通对象,是函数对象的构造函数创建的一个实例。相当于在Animal创建的时候,自动创建了一个它的实例,并且把这个实例赋值给了prototype。
但是存在一个特例Function, Function.prototype是原型对象,本质却是函数对象。作为一个函数对象,又没有prototype属性。
console.log(typeof Function.prototype) // 特殊 Function
console.log(typeof Function.prototype.prototype) //undefined 函数对象却没有prototype属性
复制代码
__proto__属性
所有的对象obj(null和undefined除外)都具有__proto__属性(隐式原型),__proto__属性在本质上为一个指针,指向函数对象的prototype属性。
//创建构造函数
function Animal(name,age){
this.name = name;
this.age= age;
}
Animal.prototype = {
alertName(){
alert(this.name);
}
}
//创建实例
var dog = new Animal("大黄");
dog .print = function(){
alert(this.name);
}
dog.print(); //大黄
dog.alertName(); //大黄
复制代码
print()方法是dog实例本身具有的方法,所以dog.print()
输出“大黄”;alertName()
不属于dog实例的方法,属于构造函数的方法,dog.alertName()
也会输出“大黄”,是因为dog实例继承了构造函数的方法。
事实上,实例dog的隐式原型(__proto__
)指向它构造函数的显式原型(prototype
),指向的意思是等价于,即
dog.__proto__ === Animal.prototype// true
复制代码
我们可以通过一张图来帮助理解记忆
3. 构造器constructor
顾名思义,构造器constructor就是用来构造函数对象的,constructor 属性返回对创建此对象的函数对象的引用。通俗了讲就是指向当前对象的爸爸
function Animal(){};
console.log(Animal.constructor===Function); //true
console.log(Animal.prototype.constructor===Animal); //true
复制代码
函数Animal是由Function创造出来的,那么它的constructor指向的Function,Animal.prototype
是由new Animal()的方式创造出来,那么Animal.prototype.constructor
理应指向Animal。 同样,我们用图来帮助记忆
留个思考题:
Animal.prototype._proto_.constructor
指向谁? ,欢迎在评论区留下你的答案
4. 原型链
原型链是JS中实现继承的主要方法。其基本思想就是让一个引用类型继承另一个引用类型的属性和方法。下面就是我们最常见的组合继承
function Animal(){
this.animalType = "animal";
}
Animal.prototype.getAnimalType = function(){
return this.animalType ;
}
function Dog(){
this.Dogtype = "dog";
}
Dog.prototype = new Animal();
Dog.prototype.getDogType = function(){
return this.Dogtype ;
}
var dahuang = new Dog();
alert(dahuang.getAnimalType ());// animal
复制代码
dahuang.getAnimalType ()
打印结果为animal,dahuang
自身没有getAnimalType ()
方法,那么就会去它的_proto_
(即它的构造函数的prototype
)中寻找,发现Dog中也没有,于是顺着_proto_
再往上找,在Animal.prototype.getAnimalType
找到,返回结果 。
如果Animal中还是没有,就接着往上找,一直到Object.prototype原型对象终止
总结得出原型链就是:由原型对象组成,每个对象都有 __proto__
属性,指向了创建该对象的构造函数的原型,__proto__
将对象连接起来组成了原型链。是一个用来实现继承和共享属性的有限的对象链。
- 属性查找机制: 当查找对象的属性时,如果实例对象自身不存在该属性,则沿着原型链往上一级查找,找到时则输出,不存在时,则继续沿着原型链往上一级查找,直至最顶级的原型对象Object.prototype,如还是没找到,则输出undefined;
- 属性修改机制: 只会修改实例对象本身的属性,如果不存在,则进行添加该属性,如果需要修改原型的属性时,则可以用:
b.prototype.x = 2
;但是这样会造成所有继承于该对象的实例的属性发生改变。
5. 原型对象和原型链他们之间到底起什么作用?
如果构造函数中有很多属性和方法,那么构造函数所有的实例化对象都是公用这些属性和方法的,当有多个实例想用共用这些东西的时候,每个实例都拷贝一份,就造成极大的资源浪费,那是不是可以考虑存把这些需要共用的属性和方法放到一个共同的东西上。这个共同的东西就是原型对象(prototype
)。
当然原型链实现继承也会存在一些问题,最主要的问题来自包含引用类型的原型以及在继承父类函数的时候调用了父类构造函数,导致子类的原型上多了不需要的父类属性,存在内存上的浪费。其次就是在创建子类型的实例时,不能向超类型的构造函数中传递参数。