黑马程序员技术交流社区

标题: 如何理解JavaScript的原型和原型链？ [打印本页]

作者: 小刀葛小伦 时间: 2019-8-16 11:55
标题: 如何理解JavaScript的原型和原型链？
本帖最后由小刀葛小伦于 2019-8-16 11:57 编辑

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来检测类型：

[JavaScript] 纯文本查看 复制代码

function Animal() {}



function Cat() {}

Cat.prototype = new Animal



function BadCat() {}

BadCat.prototype = new Cat



cat instanceof Cat //true

Cat instanceof Animal //true



Cat instanceof Function //true

Function instanceof Object //true



// 由上面讲的instanceof的结果，可以判断这些类型的继承层级:

// Object -> Function -> Animal -> Cat -> BadCat

事实上instanceof是通过原型链来检测类型的，例如L instanceof R：如果R.prototype出现在了L的原型链上则返回true，否则返回false。
用JavaScript来描述instanceof的实现逻辑是这样的：

[JavaScript] 纯文本查看 复制代码

function instance_of(L, R) {

    for (L = L.__proto__; L; L = L.__proto__) {

        if (L == R.__proto__) return true;

    }

    return false;

}

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行为了：

[JavaScript] 纯文本查看 复制代码

// 因为  Function.__proto__ === Function.prototype

Function instanceof Function == true



// 因为  Object.__proto__.__proto__  === Object.prototype

Object instanceof Object == true



Object/Function instanceof Object/Function === true

总结1.每个函数对象都有一个 prototype 属性，这个属性就是函数的原型对象。
2.原型链是JavaScript实现继承的重要方式，原型链的形成是真正是靠__proto__ 而非prototype。

欢迎光临黑马程序员技术交流社区 (http://bbs.itheima.com/)

黑马程序员IT技术论坛 X3.2