在 JavaScript 的严格模式下，如果像下方代码一样给未声明变量赋值， js 引擎会抛出 ReferenceError 异常。
value = "未声明变量赋值";
要透彻理解这种规则，可以先从非严格模式下看。
在非严格模式下，未声明变量赋值的行为是允许的，目的一般是声明一个全局变量。这种现象是 js 引擎的解析与执行规则导致的。
一段 js 代码想要执行，必须要先编译成可执行代码。这个过程一般分为词法分析、语法分析与代码生成三个步骤。具体细节不必展开，你只需要知道在编译过程中只有像是 「var value = 3; 」 这样有关键字声明的变量才会被声明在作用域中。
当 js 引擎执行可执行代码时，如果遇到声明变量，会在各个作用域中由内向外、逐级寻找该变量。所以，js 引擎是找不到未被声明的变量的，因为作用域中根本不存在该变量。
seth-schwiet-40984.jpg
那么，为什么在非严格模式下未声明变量会变为全局变量？这就要从 js 的变量查询开始说起了。js 引擎在执行代码的过程中，有两种方式在作用域中查询变量：
- 第一种是 LES 查询。当查询的目的是对变量进行赋值时，比如 「var b = 2」，进行这种查询。
- 第二种查询是 RES 查询。当查询的目的是获取变量的值时，比如 「 if(a)」中的 a，进行这种查询。
js 引擎在处理未声明变量时，显然是进行第一种查询。由于作用域中没有未声明的变量，所以查询会一直逐级向上直到全局作用域。这时，非严格模式与严格模式会有两种不同的处理方式。
非严格模式下，如果作用域中没有所查询变量，全局作用域中就会自动创建一个具有该名称的变量。变量在全局作用域中，所以会变为一个全局变量。而在严格模式下全局作用域中不会自动创建该变量， js 引擎在查询不到变量后就会抛出一个 ReferenceError 异常。
