JavaScript之原型与原型链
前言
❝
JavaScript常被描述为一种「基于原型的语言」——每个对象都拥有一个「原型对象」,对象以其原型为模板、从原型继承属性和放法。原型对象也可能拥有原型,并从中继承属性和方法,一层一层以此类推。这种关系常被称为「原型链」,它解释了为何一个对象会拥有定义在其他对象中的属性和方法。
准确的说,这些属性和方法定义在
Object
的构造函数
的prototype
属性上,而非对象实例本身。❞
四句话道破原型与原型链:
- 每个函数(类)天生自带一个属性
prototype
,属性值是一个对象,里面存储了当前类供实例
使用的属性和方法 「(显示原型)」 - 在浏览器默认给原型开辟的堆内存中有一个
constructor
属性:存储的是当前类本身(⚠️注意:自己开辟的堆内存中默认没有constructor
属性,需要自己手动添加)「(构造函数)」 - 每个对象都有一个
__proto__
属性,这个属性指向当前实例所属类的原型
(不确定所属类,都指向Object.prototype
)「(隐式原型)」 - 当你试图获取一个对象的某个属性时,如果这个对象本身没有这个属性,那么它会去它的隐式原型
__proto__
(也就是它的构造函数的显示原型prototype
)中查找。「(原型链)」
构造函数,原型与实例的关系:
❝
每个
构造函数(constructor)
都有一个原型对象(prototype)
,原型对象(prototype)
都包含一个指向构造函数(constructor)
的指针,而实例(instance)
都包含一个指向原型对象(__proto__)
的内部指针❞
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__
属性了
__proto__(隐式原型)
从上面四句话中我们可以知道这是每一个Javascript对象(除null)
都具有的一个属性,这个属性会指向该对象的原型(也就是实例原型)
因为在JavaScript中没有类的概念,为了实现类似继承的方式,通过__proto__
将对象和原型联系起来组成原型链,的以让对象访问到不属于自己的属性。
那么我们就能够证明实例与实例原型之间的关系
console.log(person.__proto__) //实例(对象)的原型--->对象
console.log(person.__proto__ === Person.prototype) //实例的原型与构造函数的原型相等
从上图我们可以看出实例对象与构造函数都可以指向原型,那么原型能不能指向构造函数或者是实例呢?
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__
属性并且链接到了构造函数的原型上。
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
}
原型链
说完了原型,我们再来看看什么是原型链?先来看一张图:
这张图中,由__proto__
串起来的链式关系,我们就称它为原型链
原型链的作用
原型链决定了JavaScript
中继承的实现方式,当我们访问一个属性时,它的查找机制如下:
- 访问对象实例属性,有的话直接返回,没有则通过
__proto__
去它的原型对象上查找 - 原型对象上能找到的话则返回,找不到继续通过原型对象的
__proto__
查找 - 一直往下找,直到找到
Object.prototype
,如果能找到则返回,找不到就返回undefined
,不会再往下找了,因为Object.prototype.__proto__
是null,说明了Object
是所有对象的原型链顶层了。
❝
从图中我们可以发现,所有对象都可以通过原型链最终找到
Object.prototype
,虽然Object.prototype
也是一个对象,但是这个对象却不是Object
创造的,而是引擎自己创建了Object.prototype
。所以可以这样说,所有实例都是对象,但是对象不一定都是实例。❞
构造函数的__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
属性。❞
总结
Object
是所有对象的爸爸,所有对象都可以通过__proto__
找到它Function
是所有函数的爸爸,所有函数都可以通过__proto__
找到它Function.prototype
和Object.prototype
是两个特殊的对象,他们由引擎
来创建- 除了以上两个特殊对象,其他对象都是通过
构造器
new
出来的 - 函数的
prototype
是一个对象,也就是原型 - 对象的
__proto__
指向原型,__proto__
将对象和原型连接起来组成了原型链