彻底搞懂JS原型与原型链

article/2024/4/13 15:36:50

说到JavaScript的原型和原型链,相关文章已有不少,但是大都晦涩难懂。本文将换一个角度出发,先理解原型和原型链是什么,有什么作用,再去分析那些令人头疼的关系。

一、引用类型皆为对象

原型和原型链都是来源于对象而服务于对象的概念,所以我们要先明确一点:

JavaScript中一切引用类型都是对象,对象就是属性的集合。

Array类型Function类型Object类型Date类型RegExp类型等都是引用类型。

也就是说 数组是对象、函数是对象、正则是对象、对象还是对象。

二、原型和原型链是什么

上面我们说到对象就是属性(property)的集合,有人可能要问不是还有方法吗?其实方法也是一种属性,因为它也是键值对的表现形式,具体见下图。

可以看到obj上确实多了一个sayHello的属性,值为一个函数,但是问题来了,obj上面并没有hasOwnProperty这个方法,为什么我们可以调用呢?这就引出了 原型

每一个对象从被创建开始就和另一个对象关联,从另一个对象上继承其属性,这个另一个对象就是 原型

当访问一个对象的属性时,先在对象的本身找,找不到就去对象的原型上找,如果还是找不到,就去对象的原型(原型也是对象,也有它自己的原型)的原型上找,如此继续,直到找到为止,或者查找到最顶层的原型对象中也没有找到,就结束查找,返回undefined

这条由对象及其原型组成的链就叫做原型链。

现在我们已经初步理解了原型和原型链,到现在大家明白为什么数组都可以使用pushslice等方法,函数可以使用callbind等方法了吧,因为在它们的原型链上找到了对应的方法。

OK,总结一下

  1. 原型存在的意义就是组成原型链:引用类型皆对象,每个对象都有原型,原型也是对象,也有它自己的原型,一层一层,组成原型链。
  2. 原型链存在的意义就是继承:访问对象属性时,在对象本身找不到,就在原型链上一层一层找。说白了就是一个对象可以访问其他对象的属性。
  3. 继承存在的意义就是属性共享:好处有二:一是代码重用,字面意思;二是可扩展,不同对象可能继承相同的属性,也可以定义只属于自己的属性。

三、创建对象

对象的创建方式主要有两种,一种是new操作符后跟函数调用,另一种是字面量表示法。

目前我们现在可以理解为:所有对象都是由new操作符后跟函数调用来创建的,字面量表示法只是语法糖(即本质也是new,功能不变,使用更简洁)。

// new操作符后跟函数调用
let obj = new Object()
let arr = new Array()// 字面量表示法
let obj = { a: 1}
// 等同于
let obj = new Object()
obj.a = 1let arr = [1,2]
// 等同于
let arr = new Array()
arr[0] = 1
arr[1] = 2

ObjectArray等称为构造函数,不要怕这个概念,构造函数和普通函数并没有什么不同,只是由于这些函数常被用来跟在new后面创建对象。new后面调用一个空函数也会返回一个对象,任何一个函数都可以当做构造函数

所以构造函数更合理的理解应该是函数的构造调用

NumberStringBooleanArrayObjectFunctionDateRegExpError这些都是函数,而且是原生构造函数,在运行时会自动出现在执行环境中。

构造函数是为了创建特定类型的对象,这些通过同一构造函数创建的对象有相同原型,共享某些方法。举个例子,所有的数组都可以调用push方法,因为它们有相同原型。

我们来自己实现一个构造函数:

// 惯例,构造函数应以大写字母开头
function Person(name) {// 函数内this指向构造的对象// 构造一个name属性this.name = name// 构造一个sayName方法this.sayName = function() {console.log(this.name)}
}// 使用自定义构造函数Person创建对象
let person = new Person('logan')
person.sayName() // 输出:logan

总结一下构造函数用来创建对象,同一构造函数创建的对象,其原型相同。

参考 前端面试题详细解答

四、__proto__prototype

万物逃不开真香定律,初步了解了相关知识,我们也要试着来理解一下这些头疼的单词,并且看一下指来指去的箭头了。

上面总结过,每个对象都有原型,那么我们怎么获取到一个对象的原型呢?那就是对象的__proto__属性,指向对象的原型。

上面也总结过,引用类型皆对象,所以引用类型都有__proto__属性,对象有__proto__属性,函数有__proto__属性,数组也有__proto__属性,只要是引用类型,就有__proto__属性,都指向它们各自的原型对象。

__proto__属性虽然在ECMAScript 6语言规范中标准化,但是不推荐被使用,现在更推荐使用Object.getPrototypeOfObject.getPrototypeOf(obj)也可以获取到obj对象的原型。本文中使用__proto__只是为了便于理解。

Object.getPrototypeOf(person) === person.__proto__ // true

上面说过,构造函数是为了创建特定类型的对象,那如果我想让Person这个构造函数创建的对象都共享一个方法,总不能像下面这样吧:

错误示范

// 调用构造函数Person创建一个新对象personA
let personA = new Person('张三')
// 在personA的原型上添加一个方法,以供之后Person创建的对象所共享
personA.__proto__.eat = function() {console.log('吃东西')
}
let personB = new Person('李四')
personB.eat() // 输出:吃东西

但是每次要修改一类对象的原型对象,都去创建一个新的对象实例,然后访问其原型对象并添加or修改属性总觉得多此一举。既然构造函数创建的对象实例的原型对象都是同一个,那么构造函数和其构造出的对象实例的原型对象之间有联系就完美了。

这个联系就是prototype。每个函数拥有prototype属性,指向使用new操作符和该函数创建的对象实例的原型对象。

Person.prototype === person.__proto__ // true

看到这里我们就明白了,如果想让Person创建出的对象实例共享属性,应该这样写:

正确示范

Person.prototype.drink = function() {console.log('喝东西')
}let personA = new Person('张三')
personB.drink() // 输出:喝东西

OK,惯例,总结一下

  1. 对象有__proto__属性,函数有__proto__属性,数组也有__proto__属性,只要是引用类型,就有__proto__属性,指向其原型。
  2. 只有函数有prototype属性,只有函数有prototype属性,只有函数有prototype属性,指向new操作符加调用该函数创建的对象实例的原型对象。

五、原型链顶层

原型链之所以叫原型链,而不叫原型环,说明它是有始有终的,那么原型链的顶层是什么呢?

拿我们的person对象来看,它的原型对象,很简单

// 1. person的原型对象
person.__proto__ === Person.prototype

接着往上找,Person.prototype也是一个普通对象,可以理解为Object构造函数创建的,所以得出下面结论,

// 2. Person.prototype的原型对象
Person.prototype.__proto__ === Object.prototype

Object.prototype也是一个对象,那么它的原型呢?这里比较特殊,切记!!!

Object.prototype.__proto__ === null

我们就可以换个方式描述下 原型链 :由对象的__proto__属性串连起来的直到Object.prototype.__proto__(为null)的链就是原型链。

在上面内容的基础之上,我们来模拟一下js引擎读取对象属性:

function getProperty(obj, propName) {// 在对象本身查找if (obj.hasOwnProperty(propName)) {return obj[propName]} else if (obj.__proto__ !== null) {// 如果对象有原型,则在原型上递归查找return getProperty(obj.__proto__, propName)} else {// 直到找到Object.prototype,Object.prototype.__proto__为null,返回undefinedreturn undefined}
}

六、constructor

回忆一下之前的描述,构造函数都有一个prototype属性,指向使用这个构造函数创建的对象实例的原型对象

这个原型对象中默认有一个constructor属性,指回该构造函数。

Person.prototype.constructor === Person // true

之所以开头不说,是因为这个属性对我们理解原型及原型链并无太大帮助,反而容易混淆。

七、函数对象的原型链

之前提到过引用类型皆对象,函数也是对象,那么函数对象的原型链是怎么样的呢?

对象都是被构造函数创建的,函数对象的构造函数就是Function,注意这里F是大写。

let fn = function() {}
// 函数(包括原生构造函数)的原型对象为Function.prototype
fn.__proto__ === Function.prototype // true
Array.__proto__ === Function.prototype // true
Object.__proto__ === Function.prototype // true

Function.prototype也是一个普通对象,所以Function.prototype.__proto__ === Object.prototype

这里有一个特例,Function__proto__属性指向Function.prototype

总结一下:函数都是由Function原生构造函数创建的,所以函数的__proto__属性指向Functionprototype属性

八、小试牛刀

真香警告!

有点乱?没事,我们先将之前的知识都总结一下,然后慢慢分析此图:

知识点

  1. 引用类型都是对象,每个对象都有原型对象。
  2. 对象都是由构造函数创建,对象的__proto__属性指向其原型对象,构造函数的prototype属性指向其创建的对象实例的原型对象,所以对象的__proto__属性等于创建它的构造函数的prototype属性。
  3. 所有通过字面量表示法创建的普通对象的构造函数为Object
  4. 所有原型对象都是普通对象,构造函数为Object
  5. 所有函数的构造函数是Function
  6. Object.prototype没有原型对象

OK,我们根据以上六点总结来分析上图,先从左上角的f1f2入手:

// f1、f2都是通过new Foo()创建的对象,构造函数为Foo,所以有
f1.__proto__ === Foo.prototype
// Foo.prototype为普通对象,构造函数为Object,所以有
Foo.prototype.__proto === Object.prototype
// Object.prototype没有原型对象
Object.prototype.__proto__ === null

然后对构造函数Foo下手:

// Foo是个函数对象,构造函数为Function
Foo.__proto__ === Function.prototype
// Function.prototype为普通对象,构造函数为Object,所以有
Function.prototype.__proto__ === Object.prototype

接着对原生构造函数Object创建的o1o2下手:

// o1、o2构造函数为Object
o1.__proto__ === Object.prototype

最后对原生构造函数ObjectFunction下手:

// 原生构造函数也是函数对象,其构造函数为Function
Object.__proto__ === Function.prototype
// 特例
Function.__proto__ === Function.prototype

分析完毕,也没有想象中那么复杂是吧。

如果有内容引起不适,建议从头看一遍,或者去看看参考文章内的文章。

九、举一反三

1. instanceof操作符

平常我们判断一个变量的类型会使用typeof运算符,但是引用类型并不适用,除了函数对象会返回function外,其他都返回object。我们想要知道一个对象的具体类型,就需要使用到instanceof

let fn = function() {}
let arr = []
fn instanceof Function // true
arr instanceof Array // true
fn instanceof Object // true
arr instanceof Object // true

为什么fn instanceof Objectarr instanceof Object都返回true呢?我们来看一下MDN上对于instanceof运算符的描述:

instanceof运算符用于测试构造函数的prototype属性是否出现在对象的原型链中的任何位置

也就是说instanceof操作符左边是一个对象,右边是一个构造函数,在左边对象的原型链上查找,知道找到右边构造函数的prototype属性就返回true,或者查找到顶层null(也就是Object.prototype.__proto__),就返回false
我们模拟实现一下:

function instanceOf(obj, Constructor) { // obj 表示左边的对象,Constructor表示右边的构造函数let rightP = Constructor.prototype // 取构造函数显示原型let leftP = obj.__proto__ // 取对象隐式原型// 到达原型链顶层还未找到则返回falseif (leftP === null) {return false}// 对象实例的隐式原型等于构造函数显示原型则返回trueif (leftP === rightP) {return true}// 查找原型链上一层return instanceOf(obj.__proto__, Constructor)
}

现在就可以解释一些比较令人费解的结果了:

fn instanceof Object //true
// 1. fn.__proto__ === Function.prototype
// 2. fn.__proto__.__proto__ === Function.prototype.__proto__ === Object.prototype
arr instanceof Object //true
// 1. arr.__proto__ === Array.prototype
// 2. arr.__proto__.__proto__ === Array.prototype.__proto__ === Object.prototype
Object instanceof Object // true
// 1. Object.__proto__ === Function.prototype
// 2. Object.__proto__.__proto__ === Function.prototype.__proto__ === Object.prototype
Function instanceof Function // true
// Function.__proto__ === Function.prototype

总结一下:instanceof运算符用于检查右边构造函数的prototype属性是否出现在左边对象的原型链中的任何位置。其实它表示的是一种原型链继承的关系。

2. Object.create

之前说对象的创建方式主要有两种,一种是new操作符后跟函数调用,另一种是字面量表示法。

其实还有第三种就是ES5提供的Object.create()方法,会创建一个新对象,第一个参数接收一个对象,将会作为新创建对象的原型对象,第二个可选参数是属性描述符(不常用,默认是undefined)。具体请查看Object.create()。

我们来模拟一个简易版的Object.create

function createObj(proto) {function F() {}F.prototype = protoreturn new F()
}

我们平常所说的空对象,其实并不是严格意义上的空对象,它的原型对象指向Object.prototype,还可以继承hasOwnPropertytoStringvalueOf等方法。

如果想要生成一个不继承任何属性的对象,可以使用Object.create(null)

如果想要生成一个平常字面量方法生成的对象,需要将其原型对象指向Object.prototype

let obj = Object.create(Object.prototype)
// 等价于
let obj = {}

3. new操作符

当我们使用new时,做了些什么?

  1. 创建一个全新对象,并将其__proto__属性指向构造函数的prototype属性。
  2. 将构造函数调用的this指向这个新对象,并执行构造函数。
  3. 如果构造函数返回对象类型Object(包含Functoin, Array, Date, RegExg, Error等),则正常返回,否则返回这个新的对象。

依然来模拟实现一下:

function newOperator(func, ...args) {if (typeof func !== 'function') {console.error('第一个参数必须为函数,您传入的参数为', func)return}// 创建一个全新对象,并将其`__proto__`属性指向构造函数的`prototype`属性let newObj = Object.create(func.prototype)// 将构造函数调用的this指向这个新对象,并执行构造函数let result = func.apply(newObj, args)// 如果构造函数返回对象类型Object,则正常返回,否则返回这个新的对象return (result instanceof Object) ? result : newObj
}

4. Function.__proto__ === Function.prototype

其实这里完全没必要去纠结鸡生蛋还是蛋生鸡的问题,我自己的理解是:Function是原生构造函数,自动出现在运行环境中,所以不存在自己生成自己。之所以Function.__proto__ === Function.prototype,是为了表明Function作为一个原生构造函数,本身也是一个函数对象,仅此而已。

5. 真的是继承吗?

前面我们讲到每一个对象都会从原型“继承”属性,实际上,继承是一个十分具有迷惑性的说法,引用《你不知道的JavaScript》中的话,就是:

继承意味着复制操作,然而 JavaScript 默认并不会复制对象的属性,相反,JavaScript 只是在两个对象之间创建一个关联,这样,一个对象就可以通过委托访问另一个对象的属性,所以与其叫继承,委托的说法反而更准确些。


http://www.ngui.cc/article/show-738627.html

相关文章

[附源码]计算机毕业设计框架的食品安全监督平台的设计与实现Springboot程序

项目运行 环境配置: Jdk1.8 Tomcat7.0 Mysql HBuilderX(Webstorm也行) Eclispe(IntelliJ IDEA,Eclispe,MyEclispe,Sts都支持)。 项目技术: SSM mybatis Maven Vue 等等组成,B/S模式 M…

Uniapp 如何用离线打包工程制作自定义调试基座

如何用离线打包工程制作自定义调试基座 Tips⚠️: 确保版本一致,请确保从HBuilderX导出的打包资源的HBuilderX的版本号和App离线SDK发布的版本号是一致的,如下2张图里的版本号: 打开原生iOS工程 1、在打包原生工程里找到 control.xml文件&a…

基于鹰优化算法和粒子群优化算法结合焊接梁设计,拉伸/压缩,压力容器,悬臂梁设计的应用(Matlab代码实现)

💥💥💞💞欢迎来到本博客❤️❤️💥💥 🏆博主优势:🌞🌞🌞博客内容尽量做到思维缜密,逻辑清晰,为了方便读者。 ⛳️座右铭&a…

【Flink】复杂事件处理CEP底层实现(有限状态机)和应用

文章目录一 Flink CEP简介1 什么是复杂事件处理CEP2 Flink CEP(1)导入依赖(2)代码编写(3)优化模板3 实现CEP底层 -- 有限状态机4 使用CEP处理超时事件一 Flink CEP简介 1 什么是复杂事件处理CEP 一个或多…

多线程与高并发(一)

【前言】: 多线程、JVM、操作系统。 【概述】: 基础概念 JUC同步工具 同步容器 Disruptor //一个MQ框架,公认的单机环境下效率最高。 线程池 【线程的概念】: 【纤程】: 【 run和start的区别 】: //n…

嵌入式:ARM体系结构详解

文章目录指令集与指令集架构主要计算机指令集架构PC及服务器领域嵌入式领域新生代ARM体系结构的演变ARM发展的历程指令集与指令集架构 指令:就是指挥计算机工作的命令,程序就是一系列按一定顺序排列的指令,计算机就是通过执行程序中的指令来…

python | 第九章:python计算生态概览

本篇文章是对北京理工大学嵩天老师的《Python语言程序设计》第九章内容的学习笔记。 方法论:纵览python计算生态(主要是第三方库介绍及应用场景) 实践能力:初步编写带有计算生态的复杂程序。 1 从数据处理到人工智能 1.1 数据…

Matplotlib学习笔记(第二章 2.11使用指南 一些简单的例子)

第二章 学习指南 本页包含更多使用Matplotlib的深入指南。它分为初级、中级和高级部分,以及涵盖特定主题的部分。 有关较短的示例,请参阅我们的示例页面。您还可以在我们的用户指南中找到外部资源和FAQ。 2.1介绍 这些教程涵盖了使用Matplotlib创建可…

LaTeX页眉页脚自定义【有图有代码】

LaTeX页眉页脚自定义【有图有代码】一、自定义页眉页脚示例【双页文档】\fancyhead \fancyfoot1、代码讲解2、自定义代码3、页眉和页脚的装饰线4、总页数二、自定义页眉页脚示例【单页文档】\rhead \rfoot三、\pagestyle{}介绍四、设置当前页面样式\thispagestyle{}平时在写报告…

一文学会所有Web应用安全知识点

据调查大部分网络安全事故是软件缺陷导致的网络攻击。由于应用程序代码漏洞和安全漏洞,我们的企业正在遭受越来越多的攻击。调查显示攻击者可以通过盗用凭证,攻击10个测试过的web应用程序中的9个,进行恶意软件注入以及网络钓鱼攻击。因此&…