如何理解JavaScript的原型和原型链?
之前有朋友问怎么去理解原型和原型链的问题。这个问题,在面试中,很多同学经常都会遇到。这里给大家讲讲,方便大家记忆。
JavaScript的特点
JavaScript是一门直译式脚本语言,是一种动态类型、基于原型的语言。 JavaScript的灵活性不亚于C++,你可以使用JavaScript尝试不同的程序设计范型。
比如类jQuery风格的函数式编程、基于过程的指令式编程、以及基于原型的面向对象编程。
不同于Java、C#等面向对象语言,JavaScript采用基于原型的继承方式。
为啥会有原型和原型链?
1994年,网景公司(Netscape)发布了Navigator浏览器0.9版,但是刚开始的Js没有继承机制,更别提像同时期兴盛的C++和Java这样拥有面向对象的概念。在实际的开发过程中,工程师们发现没有继承机制很难解决一些问题,必须有一种机制能将所有的对象关联起来。
Brendan Eich鉴于以上情况,但不想把Js设计得过为复杂,于是引入了new关键词和constructor构造函数来简化对象的设计,引入了prototype函数对象来包含所有实例对象的构造函数的属性和方法,引入了proto和原型链的概念解决继承的问题。
原型模式
每个函数都有一个prototype(原型)属性
这个属性都有一个指针,指向一个对象
这个对象包含由特定类型所有实例共享的属性和方法
使用原型的好处是 可以让所有对象实例共享它包含的方法和属性
通过in操作符和hasOwnProperty来判断给定属性是来自于原型还是实例
in- true 代表属性在对象中存在 来自实例或者来自原型
hasOwnProperty- true代表属性来自于实例 是实例属性
原型链
ECMAScript中只支持实现继承,而且是通过原型链的方式来实现的。所以原型链是JavaScript实现继承的一种重要方式。
用户定义类型的原型链
我们一般如何来检查JavaScript的变量数据类型?一般我们都是通过instanceof关键字,可以基于原型链来检测变量的类型。
我们可以先构造一个原型链,再用instanceof来检测类型:
由上面讲的instanceof的结果,可以判断这些类型的继承层级:
事实上instanceof是通过原型链来检测类型的,例如L instanceof R: 如果R.prototype出现在了L的原型链上则返回true,否则返回false。
用JavaScript来描述instanceof的实现逻辑是这样的:
JavaScript原型链
先给大家看一个JavaScript的原型链结构图。
理解原型链的小技巧: 将__proto__箭头视作泛化(子类到父类)关系!
那么图中所有的虚线将构成一个继承层级,而实线表示属性引用。
图中给出了Object.prototype.proto == null,但它还没有标准化,在Chrome、Safari和Node.js下它是不同的东西。
但可以看到JavaScript中所有对象的共同隐式原型为Object.prototype,它的上一级隐式原型是什么已经不重要了, 因为它不会影响所有内置对象以及用户定义类型的原型链结构。
上图其实已经解释了不同内置对象instanceof的行为,我们来看Function和Object的特殊之处:
Object是由Function创建的:因为Object.proto === Funciton.prototype;
同理,Function.prototype是由Object创建的;
Funciton是由Function自己创建的!
Object.prototype是凭空出来的!
现在我们可以解释特殊对象的instance行为了:
另外可以看到当你声明一个函数(比如Animal)时,Animal.prototype会自动被赋值为一个继承自Object的对象, 而且该对象的constructor等于Animal。即:
值得注意的是Animal如果被Cat继承,Cat实例(比如cat)的constructor仍然是Animal。
总结
1.每个函数对象都有一个 prototype 属性,这个属性就是函数的原型对象。
2.原型链是JavaScript实现继承的重要方式,原型链的形成是真正是靠__proto__ 而非prototype。