图解Javascript原型链

本文尝试阐述Js中原型(prototype)、原型链(prototype chain)等概念及其作用机制。上一篇文章(图解Javascript上下文与作用域)介绍了Js中变量作用域的相关概念,实际上关注的一个核心问题是:“在执行当前这行代码时Js解释器可以获取哪些变量”,而原型与原型链实际上还是关于这一问题。

我们知道,在Js中一切皆为对象(Object),但是Js中并没有类(class);Js是基于原型(prototype-based)来实现的面向对象(OOP)的编程范式的,但并不是所有的对象都拥有 prototype 这一属性:

prototype 是每个 function 定义时自带的属性,但是Js中 function 本身也是对象,我们先来看一下下面几个概念的差别:

1.  function 、 Function 、 Object 和 {}

function 是Js的一个关键词,用于定义函数类型的变量,有两种语法形式:

如果用更加面向对象的方法来定义函数,可以用 Function :

实际上 Function 就是一个用于构造函数类型变量的类,或者说是函数类型实例的构造函数(constructor);与之相似有的 Object 或 String 、 Number 等,都是Js内置类型实例的构造函数。比较特殊的是 Object ,它用于生成对象类型,其简写形式为 {} :

2.  prototype  VS  __proto__

清楚了上面的概念之后再来看 prototype :

Each function has two properties:  length  and  prototype

prototype 和 length 是每一个函数类型自带的两个属性,而其它非函数类型并没有(开头的例子已经说明),这一点之所以比较容易被忽略或误解,是因为所有类型的构造函数本身也是函数,所以它们自带了 prototype 属性:

除了 prototype 之外,Js中的所有对象( undefined 、 null 等特殊情况除外)都有一个内置的 [[Prototype]] 属性,指向它“父类”的 prototype ,这个内置属性在ECMA标准中并没有给出明确的获取方式,但是许多Js的实现(如Node、大部分浏览器等)都提供了一个 __proto__ 属性来指代这一 [[Prototype]] ,我们通过下面的例子来说明实例中的 __proto__ 是如何指向构造函数的 prototype 的:

上面的代码示例可以用下图解释:

Person 是一个函数类型的变量,因此自带了 prototype 属性, prototype 属性中的 constructor 又指向 Person 本身;通过 new 关键字生成的 Person 类的实例 p1 ,通过 __proto__ 属性指向了 Person 的原型。这里的 __proto__ 只是为了说明实例 p1 在内部实现的时候与父类之间存在的关联(指向父类的原型),在实际操作过程中实例可以直接通过.获取父类原型中的属性,从而实现了继承的功能。

3. 原型链

清楚了 prototype 与 __proto__ 的概念与关系之后我们会对“Js中一切皆为对象”这句话有更加深刻的理解。进而我们会想到,既然 __proto__ 是(几乎)所有对象都内置的属性,而且指向父类的原型,那是不是意味着我们可以“逆流而上”一直找到源头呢?我们来看下面的例子:

从上面的例子和图解可以看出, prototype 对象也有 __proto__ 属性,向上追溯一直到 null 。

new 关键词的作用就是完成上图所示实例与父类原型之间关系的串接,并创建一个新的对象; instanceof 关键词的作用也可以从上图中看出,实际上就是判断 __proto__ (以及 __proto__.__proto__ …)所指向是否父类的原型:

 

参考

  1. JavaScript constructors, prototypes, and the  new  keyword
  2. Javascript 面向对象编程
  3. Professional JavaScript for Web Developers

打赏支持我写出更多好文章,谢谢!

打赏作者

打赏支持我写出更多好文章,谢谢!

1 4 收藏 评论

关于作者:Yusheng

关注微信公众号 PyHub! 个人主页 · 我的文章 · 24 ·   

相关文章

可能感兴趣的话题



直接登录
跳到底部
返回顶部