LHS与RHS
为了解释这两个术语,我们以拍电影为例,这部戏中有三个角色:
-
作用域(男一号):负责收集并维护由所有声明的标识符(变量)组成的一系列查询,并实施一套非常严格的规则,确定当前执行的代码对这些标识符的访问权限。
-
引擎(男二号):从头到尾负责整个 JavaScript 程序的编译及执行过程。
-
编译器(男二号):负责语法分析及代码生成等脏活累活。
剧本是
var a = 2
第一场戏:
遇到 var a,编译器会询问作用域是否已经有一个该名称的变量存在于同一个作用域的 集合中。
如果是,编译器会忽略该声明,继续进行编译;
否则它会要求作用域在当前作用域的集合中声明一个新的变量,并命名为 a。
接下来编译器会为引擎生成运行时所需的代码,这些代码被用来处理 a = 2 这个赋值 操作。
第二场戏
引擎运行时会首先询问作用域,在当前的作用域集合中是否存在一个叫作 a 的 变量。
如果是,引擎就会使用这个变量;
如果否,引擎会继续查找该变量。
引擎要加戏
好了戏拍完了,但是引擎感觉自己的戏不够多,于是它找到导演要求加戏。
引擎:导演,拍第二场戏的时候我找变量a的方式并没体现出来,我觉得我有必要演一下。
导演:哦,你想怎么演?
引擎:我有两种方式来表现这个查找过程,第一种叫做LHS,第二种叫做RHS。
导演:那你觉得在咱们这部戏中(var a = 2)用哪种方式呢?
引擎:用LHS,因为LHS是试图找到变量的容器本身,从而可以对其赋值,用在咱们这戏中正好。
导演:那RHS呢?
引擎:RHS与简单地查找某个变量的值别无二致,可以理解为取到某某的源值。
导演:你给个场景,我理解一下。
引擎:例如我之前拍的那部戏 conselo.log(a),为了找到a的值,我就要使用RHS来表现这个查找过程。
导演:听起来不错,下场戏你表现一下给我看看。
下一场戏
剧本:
function foo(a) {
console.log( a ); // 2
}
foo( 2 );
引擎:我说作用域,我需要为 foo 进行 RHS 引用。你见过它吗?
作用域:别说,我还真见过,编译器那小子刚刚声明了它。它是一个函数,给你。
引擎:哥们太够意思了!好吧,我来执行一下 foo。
引擎:作用域,还有个事儿。我需要为 a 进行 LHS 引用,这个你见过吗?
作用域:这个也见过,编译器最近把它声名为 foo 的一个形式参数了,拿去吧。
引擎:大恩不言谢,你总是这么棒。现在我要把 2 赋值给 a。
引擎:哥们,不好意思又来打扰你。我要为 console 进行 RHS 引用,你见过它吗?
作用域:咱俩谁跟谁啊,再说我就是干这个。这个我也有,console 是个内置对象。 给你。
引擎:么么哒。我得看看这里面是不是有 log(..)。太好了,找到了,是一个函数。
引擎:哥们,能帮我再找一下对 a 的 RHS 引用吗?虽然我记得它,但想再确认一次。
作用域:放心吧,这个变量没有变动过,拿走,不谢。
引擎:真棒。我来把 a 的值,也就是 2,传递进 log(..)。
...
为什么区分 LHS 和 RHS 是一件重要的事情?
原因是二者对没有找到的变量的异常处理方式不同。
如果 RHS 查询在所有嵌套的作用域中遍寻不到所需的变量,引擎就会抛出 ReferenceError 异常。
当引擎执行 LHS 查询时,如果在顶层(全局作用域)中也无法找到目标变量, 全局作用域中就会创建一个具有该名称的变量,并将其返还给引擎,前提是程序运行在非 “严格模式”下。
总结
LHS:赋值操作的目标是谁。
RHS:谁是赋值操作的源头。
LHS 和 RHS 查询都会在当前执行作用域中开始,如果有需要(也就是说它们没有找到所 需的标识符),就会向上级作用域继续查找目标标识符,这样每次上升一级作用域(一层 楼),最后抵达全局作用域(顶层),无论找到或没找到都将停止。
不成功的 RHS 引用会导致抛出 ReferenceError 异常。
不成功的 LHS 引用会导致自动隐式地创建一个全局变量(非严格模式下),该变量使用 LHS 引用的目标作为标识符,或者抛出 ReferenceError 异常(严格模式下)。
注:以上部分内容来自于《你不知道的Javascript》