前言:
JavaScript
常被描述为一种「基于原型的语言」——每个对象都拥有一个「原型对象」,对象以其原型为模板、从原型继承属性和放法。原型对象也可能拥有原型,并从中继承属性和方法,一层一层以此类推。这种关系常被称为「原型链」,它解释了为何一个对象会拥有定义在其他对象中的属性和方法。
准确的说,这些属性和方法定义在Object
的构造函数的prototype
属性上,而非对象实例本身。
四句话道破原型与原型链:
- 每个函数(类)天生自带一个属性
prototype
,属性值是一个对象,里面存储了当前类供实例使用的属性和方法 「(显示原型)」 - 在浏览器默认给原型开辟的堆内存中有一个
constructor
属性:存储的是当前类本身(⚠️注意:自己开辟的堆内存中默认没有constructor
属性,需要自己手动添加)「(构造函数)」 - 每个对象都有一个
__proto__
属性,这个属性指向当前实例所属类的原型(不确定所属类,都指向Object.prototype
)「(隐式原型)」 - 当你试图获取一个对象的某个属性时,如果这个对象本身没有这个属性,那么它会去它的隐式原型__proto__(也就是它的构造函数的显示原型
prototype
)中查找。「(原型链)」
构造函数,原型与实例的关系:
每个构造函数(constructor
)都有一个原型对象(prototype
),原型对象(prototype
)都包含一个指向构造函数(constructor
)的指针,而实例(instance
)都包含一个指向原型对象(__proto__)
的内部指针
1、prototype(显式原型)
每个函数都有一个prototype
属性
// 构造函数(类)
function Person(name){
this.name = name
}
// new了一个实例 (对象)
var person = new Person('南玖')
console.log(person) //Person { name: '南玖' }
console.log(Person.prototype) //构造函数(类)的原型 ----->对象
Person.prototype.age = 18 // 构造函数原型
console.log(person.age) // 18
上面我们把这个函数Person
的原型打印出来了,它指向的是一个对象,并且这个对象正是调用该构造函数而创建的实例的原型
上面这张图表示的是构造函数与实例原型之间的关系,所以我们知道了构造函数的prototype属性指向的是一个对象。
那实例与实例原型之间的关系又是怎样的呢?这里就要提到__proto__
属性了
2、__proto__(隐式原型)
从上面四句话中我们可以知道这是每一个Javascript
对象(除null)都具有的一个属性,这个属性会指向该对象的原型(也就是实例原型)
因为在JavaScript
中没有类的概念,为了实现类似继承的方式,通过__proto__
将对象和原型联系起来组成原型链,的以让对象访问到不属于自己的属性。
那么我们就能够证明实例与实例原型之间的关系
console.log(person.__proto__) //实例(对象)的原型--->对象
console.log(person.__proto__ === Person.prototype) //实例的原型与构造函数的原型相等
从上图我们可以看出实例对象与构造函数都可以指向原型,那么原型能不能指向构造函数或者是实例呢?
3、constructor(构造函数)
原型是没有属性指向实例的,因为一个构造函数可以创建多个实例对象;
从前面的四句话中我们知道「在浏览器默认给原型开辟的堆内存中有一个constructor
属性」,所以原型也是可以指向构造函数的,这个属性就是「constructor
」
于是我们可以证明一下观点:
console.log(Person.prototype.constructor) //实例的显式原型的构造函数ƒ Person(name){this.name = name}
console.log(person.__proto__.constructor) //实例的隐式原型的构造函数 ƒ Person(name){this.name = name}
console.log(person.__proto__.constructor === Person.prototype.constructor)//true 实例原型的构造函数与类的构造函数相等
console.log(Person === Person.prototype.constructor) //true
实例对象的__proto__
是如何产生的?
我们知道当我们使用new 操作符时,生成的实例对象就拥有了__proto__
属性
function Foo() {}
// 这个函数时Function的实例对象
// function是一个语法糖
// 内部其实调用了new Function()
所以可以说,在new
的过程中,新对象被添加了__proto__
属性并且链接到了构造函数的原型上。
4、new的原理
说简单点可以分为以下四步:
- 新建一个空对象
- 链接原型
- 绑定this,执行构造函数
- 返回新对象
function myNew() {
// 1.新建一个空对象
let obj = {}
// 2.获得构造函数
let con = arguments.__proto__.constructor
// 3.链接原型
obj.__proto__ = con.prototype
// 4.绑定this,执行构造函数
let res = con.apply(obj, arguments)
// 5.返回新对象
return typeof res === 'object' ? res : obj
}
5、原型链
说完了原型,我们再来看看什么是原型链?先来看一张图:
这张图中,由__proto__
串起来的链式关系,我们就称它为原型链
5.1 原型链的作用
原型链决定了JavaScript
中继承的实现方式,当我们访问一个属性时,它的查找机制如下:
- 访问对象实例属性,有的话直接返回,没有则通过
__proto__
去它的原型对象上查找 - 原型对象上能找到的话则返回,找不到继续通过原型对象的
__proto__
查找 - 一直往下找,直到找到Object.prototype,如果能找到则返回,找不到就返回
undefined
,不会再往下找了,因为Object.prototype.__proto__
是null,说明了Object是所有对象的原型链顶层了。
从图中我们可以发现,所有对象都可以通过原型链最终找到 Object.prototype ,虽然 Object.prototype 也是一个对象,但是这个对象却不是 Object 创造的,而是引擎自己创建了 Object.prototype 。所以可以这样说,所有实例都是对象,但是对象不一定都是实例。
5.2 构造函数的__proto__是什么呢?
由上面的原型链的解释,我们应该能够理解构造函数的__proto__
的,在JavaScript
中所有东西都是对象,那么构造函数肯定也是对象,是对象就有__proto__
。
function Person(){}
console.log(Person.__proto__)
console.log(Function.prototype)
console.log(Person.__proto__===Function.prototype) // true
「这也说明了所有函数都是Function的实例」
那这么理解的话,Function.__proto__
岂不是等于Function.prototype。。。。
我们不妨来打印一下看看
Function.__proto__ === Function.prototype // true
打印出来确实是这样的。难道 Function.prototype
也是通过 new Function()
产生的吗?
答案是否定的,这个函数也是引擎自己创建的。首先引擎创建了 Object.prototype ,然后创建了 Function.prototype ,并且通过 __proto__ 将两者联系了起来。这里也很好的解释了上面的一个问题,为什么 let fun = Function.prototype.bind() 没有 prototype 属性。因为 Function.prototype 是引擎创建出来的对象,引擎认为不需要给这个对象添加 prototype 属性。
6、总结
Object
是所有对象的爸爸,所有对象都可以通过__proto__
找到它Function
是所有函数的爸爸,所有函数都可以通过__proto__
找到它Function.prototype
和Object.prototype
是两个特殊的对象,他们由引擎来创建- 除了以上两个特殊对象,其他对象都是通过构造器 new 出来的
- 函数的
prototype
是一个对象,也就是原型 - 对象的
__proto__
指向原型,__proto__
将对象和原型连接起来组成了原型链
到此这篇关于JavaScript
原型与原型链详情的文章就介绍到这了,更多相关JavaScript
原型与原型链内容请搜索编程网以前的文章或继续浏览下面的相关文章希望大家以后多多支持编程网!