主题列表：var关键字、let关键字、const关键字
ECMAScript有三个关键字可以声明变量：var、const和let。其中，var在ECMAScript的所有版本都可以使用，而const和let只能在ECMAScript6及更晚的版本使用。
1、var关键字
var操作符（注意var是一个关键字）定义变量，后跟变量名（即标识符）：
这行代码定义了一个名为message的变量，可以用它保存任何类型的值。（不初始化的情况下，变量会保存一个特殊值undefined）。ECMAScript实现变量初始化，因此可以同时定义变量并设置它的值：
这里message被定义为一个保存字符串hi的变量。像这样初始化变量不会将它标识为字符串类型，只是一个简单的赋值而已。随后不仅可以改变保存的值，也可以改变值的类型：
1.1、var声明作用域
关键问题在于，使用var操作符定义的变量会成为包含它的函数的局部变量。比如，使用var在一个函数内部定义一个变量，就意味着该变量将在函数退出时被销毁：
这里，message变量是在函数内部使用var定义的。函数叫test()，调用函数test()会创建这个变量并给他赋值。调用之后变量随即被销毁，因此示例最后一行会报错。不过在函数内定义变量时省略var操作符，可以创建一个全局变量：
去掉之前的var操作符之后，message就变成了全局变量。只要调用一次函数test()，就会定义这个变量，并且可以在函数外部访问到。
注意：虽然可以通过省略var操作符定义全局变量，但不推荐这么做。在局部作用域中定义的全局变量很难维护，也会造成困惑。这是因为不能一下子断定省略var是不是有意而为之。在严格模式下（除了正常运行模式，ECMAScript5添加了第二种运行模式：“严格模式”。这种模式使得JavaScript在更严格的条件下运行），如果像这样给未声明的变量赋值，则会导致抛出ReferenceError。
如果要定义多个变量，可以在一条语句中用逗号分隔每个变量（及可选的初始化）：
这里定义并初始化了3个变量。因为ECMAScript是松散类型的，所以用不同的数据类型初始化的变量可以用一条语句来声明。插入换行和空格缩进并不是必需的，但这样有利于阅读理解。 在严格模式下，不能定义名为eval和arguments的变量，否则会导致语法错误。
1.2、var声明提升
使用var时，下面的代码不会报错。这是因为使用这个关键字声明的变量会自动提升到函数作用域顶部：
之所以不会报错，是因为ECMAScript运行时把它看成等价于如下代码：
这就是所谓的“提升”（hoist），也就是把所有变量声明都拉到函数作用域的顶部。此外，反复多次使用var声明同一个变量也没有问题：
2、let声明
let跟var的作用差不多，但有着非常重要的区别。最明显的区别是，let声明的范围是块作用域，而var声明的范围是函数作用域。
在这里，age变量之所以不能在if块外部被引用，是因为它的作用域仅限于if块内部。块作用域是函数作用域的子集，因此适用于var的作用域限制也适用于let。
let也不允许同一个块作用域中出现冗余声明。这样会导致报错：
当然，JavaScript引擎会记录用于变量声明的标识符及其所在的块作用域，因此嵌套使用相同的标识符不会报错，而这是因为同一个块中没有重复声明：
对声明冗余报错不会因混用let和var受影响。这两个关键字声明的并不是不同类型的变量，它们只是指出变量在相关作用域如何存在。
2.1、暂时性死区
let与var的另一个重要的区别，就是let声明的变量不会在作用域中被提升。
在解析代码时，JavaScript引擎也会注意出现在后面的let声明，只不过在此之前不能以任何方式来引用未声明的变量。在let声明之前的执行瞬间被称为“暂时性死区”，在此阶段引用任何后面才声明的变量都会抛出ReferenceError。
2.2、全局声明
与var关键字不同，使用let在全局作用域中声明的变量不会成为window对象的属性（var声明的变量则会）。
不过，let声明仍然是在全局作用域中发生的，相应变量会在页面的生命周期内存续。因此，为了避免SyntaxError，必须确保页面不会重复声明同一个变量。
2.3、条件声明
在使用var声明变量时，由于声明会提升，JavaScript引擎会自动将多余的声明在作用域顶部合并为一个声明。因为let的作用域是块，所以不可能检查前面是否已经使用let声明过同名变量，同时也就不可能在没有声明的情况下声明它。
使用try/catch语句或typeof操作符也不能解决，因为条件块中let声明的作用域仅限于该块。
为此，对于let这个新的ES6声明关键字，不能依赖条件声明模式。
注意：不能使用let进行条件式声明是件好事，因为条件声明是一种反模式，它让程序变得更难理解。
2.4、for循环中的let声明
在let出现之前，for循环的迭代变量会渗透到循环体外部：
改成使用let之后，这个问题就消失了，因为迭代变量的作用域仅限于for循环快内部：
使用var的时候，最常见的问题就是对迭代变量的奇特声明和修改：
之所以会这样，是因为在退出循环时，迭代变量保存的是导致循环退出的值：5。在之后执行超时逻辑时，所有的i都是同一个变量，因而输出的都是同一个最终值。
而在使用let声明迭代变量时，JavaScript引擎在后台会为每个迭代循环声明一个新的迭代变量。每个setTimeout引用的都是不同的变量实例，所以console.log 输出的使我们期望的值，也就是循环执行过程中每个迭代变量的值。
这种每次迭代声明一个独立变量实例的行为适用于所有风格的for循环，包括for-in和for-of循环。
3、const声明
const的行为与let基本相同，唯一一个重要的区别是用它声明变量时必须同时初始化变量，且尝试修改const声明的变量会导致运行时错误。
const声明的限制只适用于它指向的变量的引用。换句话说，如果const变量引用的是一个对象，那么修改这个对象内部的属性并不违反const的限制。
JavaScript引擎会为for循环中的let声明分别创建独立的变量实例，虽然const变量跟let变量很相似，但是不能用const来声明迭代变量（因为迭代变量会自增，前面提到过，尝试修改const声明的变量会导致运行时错误）。
不过，如果只想用const声明一个不会被修改的for循环变量，那也是可以的。也就是说，每次迭代只是创建一个新的变量。这对for-in和for-of循环特别有意义：
