原型链
原型链
为了后面我们方便理解原型链,这里我们暂且将
__proto__
叫做隐式原型,将prototype
叫做显式原型。
基础规则
我们先来了解下面引用类型的四个规则:
-
引用类型,都具有对象特性,即可自由扩展属性,并且对象存储在栈中的是指针(也就是变量的值),实际内容存储在堆内存中;
-
引用类型,都有一个隐式原型
__proto__
属性,属性值是一个普通的对象; -
引用类型,隐式原型
__proto__
的属性值指向它的构造函数的显式原型prototype
属性值; -
当你试图得到一个对象的某个属性时,如果这个对象本身没有这个属性,那么它会去它的隐式原型
__proto__
(也就是它的构造函数的显式原型prototype
)中寻找。如果是设置一个属性,则并不会遵循这个规则;
理解原型链
接下来我们举几个例子,你就会慢慢地理解原型和原型链。
例子1
:
const obj = {};const arr = [];const fn = function () {};
obj.__proto__ === Object.prototype; // truearr.__proto__ === Array.prototype; // truefn.__proto__ === Function.prototype; // true
该例能验证上述规则2, 3
。
例子2
:
function Person(name) { this.name = name;}
Person.prototype.eat = function () { console.log(this.name, ": 吃饭");};
const person = new Person("xxx");
person.eat(); // 访问的实际是 Person.prototype.eat
person.toString(); // 访问的实际是 Object.prototype.toString
该例能验证上面的规则4
,其实规则4
就是原型链规则的体现,当一个对象(引用类型)的值上访问不到对应属性时,会去它的隐式原型上查找(__proto__
),而隐式原型实际指向该对象(引用类型)的构造函数的显式原型prototype
。
我们来分析一下它们的查找过程:
person.eat()
:person.eat() --> person.__proto__.eat() --> Person.prototype.eat()
;
person.toString()
: person.toString() --> person.__proto__.toString() --> Person.prototype.toString() --> Person.ptorotype.__proto__.toString() --> Object.prototype.toString()
;
这个toString
的访问难点就是你需要知道,显式原型(prototype
)自身是就是一个对象(引用类型),所以它也要符合上述第4
点规则。
也就是说Person.prototype
同样具有自身的__proto__
。
比如这里的:Person.prototype.toString() --> Person.ptorotype.__proto__.toString()
而Person.prototype
的构造函数就是Object
。
比如这里的:Person.ptorotype.__proto__.toString() --> Object.prototype.toString()
这也就引出了原型链的概念了,接下来我们来分析一下f
对象的原型链是怎么样的:
function Foo() {}function Fo() {}
Fo.prototype = new Foo();
const f = new Fo();
关于__proto__
补充:
虽说目前一些主流浏览器(Chrome, Edge...
)仍然支持__proto__
,但是其实__proto__
并没有被纳入到目前的Web
标准中。
具体可以参考:proto(MDN)
关于其兼容性,如下图:
关于引用类型补充:
参考:
JS
中有两种类型的值,一种是原始类型(简单类型),另外一种就是引用类型(复杂类型)。
引用类型的值和原始类型值的差异最根本的就是:
引用类型的引用(指针)存在于栈(栈内存)中,而真实的值其实存在于堆(堆内存)中;
而原始类型的值没有引用(指针)这一说法,值直接就存在于栈(内存)中;
请看下面的例子:
var a1 = 0; // typedof a1 -> numbervar a2 = "this is str"; // typedof a2 -> stringvar a3 = null; // typedof a3 -> nullvar c = [1, 2, 3]; // c instanceof Array ->truevar b = { m: 20 }; // b instanceof Object ->true
也就是说这里的b
变量存放的其实只是一个引用(指针)而已,当你通过b.m = 30
时,JS
引擎会通过该引用(指针)去寻找堆内存中实际存放的对象,然后去操作它。
常见的引用类型的值有:Object、Array、Function、Date、RegExp...
。
instanceof
instanceof
运算符用于检测构造函数的 prototype
属性是否出现在某个实例对象的原型链上。
根据前文我们对原型链的讲解,这里我们来自己实现一下instanceof
运算符。
// 判断 constructorFunc 的 prototype 是否会出现在 obj 的原型链上function _instanceof(obj, constructorFunc) { // let objProto = obj.__proto__ let objProto = Object.getPrototypeOf(obj);
const constructorFuncPrototype = constructorFunc.prototype;
while (objProto) { if (constructorFuncPrototype === objProto) return true;
objProto = Object.getPrototypeOf(objProto); }
return false;}
function Person() {}const person = new Person();console.log("instanceof", _instanceof(person, Person));console.log("instanceof", _instanceof(person, Object));
function OtherPerson() {}console.log("instanceof", _instanceof(person, OtherPerson));
关于这里的getPrototypeOf(obj)
方法它获取的是obj.__proto__
,也就是obj
它的构造函数的prototype
。
具体可以参考:getPrototypeOf(MDN)