JavaScript中的变量查找

console.log(a); // undefined
var a = 3;
console.log(a); // 3

console.log(b); // ReferenceError
b = 4;
console.log(b); //4

1. LHS(left-hand-side左查找)和RHS(right-hand-side右查找)

概念如下：

对于一个赋值语句var a = b;，等号左侧进行LHS查询，等号右侧进行RHS查询；如果是一个普通的打印语句console.log(a)，那么，查找变量a属于RHS查询。

两者的相同之处：都遵循作用域链查找。

2. LHS和RHS查询区别

(1) LHS查询
当JavaScript引擎执行LHS查询时，如果在顶层作用域中无法找到目标变量，那么，就会在全局作用域中创建一个具有该名称的变量，并将其返回给引擎（非严格模式下）。

要注意，这种方式创建的全局变量，严格上来讲并不是真正的变量，而是全局对象的属性，可以通过delete操作符将其删除。但是，用var声明的全局变量，是不可以用delete操作符删除的。

参考文章首部的例子：

b = 4;
console.log(b); // 4
delete b;
console.log(window.b); // undefined

程序中并没有声明变量b，但是由于LHS查询会自动创建未找到的目标变量，所以，打印b返回4。然后删除b，可删除成功。

如果是严格模式：

"use strict";
b = 4;
console.log(b);

这时LHS查询将无法自动创建未声明的目标变量，所以，打印b时抛出异常：Uncaught ReferenceError: b is not defined。

(2) RHS查询
当JavaScript引擎执行RHS查询时，如果在作用域链中都无法找到目标变量，那么，引擎会抛出ReferenceError异常。

参考文章首部的例子：

console.log(b); 
b = 4;

RHS查询变量b，在全局作用域中未曾找到该变量定义，于是，引擎抛出异常Uncaught ReferenceError: b is not defined

3. 小贴士

(1) 变量提升
概念：用var声明的变量，总是会被JavaScript解释器悄悄地“提升”到方法体的最顶部。

参考文首的例子：

console.log(a); 
var a = 3;

JavaScript引擎会将其解析为：

var a = undefined;
console.log(a); 
a = 3;

所以，第一次打印a时会返回undefined。

(2) ReferenceError和TypeError
ReferenceError代表作用域判别失败，也就是作用域内查询变量失败。
TypeError代表作用域判别成功，但是对结果的操作是非法或者不合理的。

例如：

foo();
var foo = function () {
 console.log('a');
}

执行foo()语句时，首先RHS查找，在全局作用域中找到foo变量，值为undefined（变量提升）。
然后以函数执行方式操作foo变量，很明显，undefined并不是一个合法函数，于是引擎抛出异常：Uncaught TypeError: foo is not a function，执行失败。