基本语法
let---只在声明变量所在的代码块内有效，函数内部使用let定以后，对函数外部无影响。
var a = [];
for(var i = 0; i < 10; i++){
a[i] = function () {
console.log(i);
}
}
a[6](); //10
上面代码中，变量i是var命令声明的，在全局范围内都有效，所以全局只有一个变量i。所有数组a的成员里面的i，都是指向同一个i，导致运行时输出的是最后一轮的i的值，即10。
var a = [];
for(let i = 0; i < 10; i++){
a[i] = function () {
console.log(i);
};
}
a[6](); //6
变量i是let声明的，当前i只在本轮循环有效，所以每一次循环的i其实都是一个新的变量，所以最后输出的是6。（因为js引擎内部会记住上一轮循环的值，初始化本轮变量i时，就在上一轮循环的基础上进行计算）
for循环有一个特别之处，就是设置循环变量的那部分是一个父作用域，而循环体内部是一个单独的子作用域。
for(let i = 0; i < 3; i++){
let i = 'abc';
console.log(i);
}
// abc
// abc
// abc
以上代码输出了3次abc，说明函数内部的变量i与循环变量i不在同一个作用域，有着各自单独的作用域。
变量提升
var命令会发生变量提升，let不会。（变量提升，即函数及变量的声明都将被提升到函数的最顶部。）
//var console.log(foo); // undefined var foo = 2; //let console.log(bar); //报错 let bar = 2;
暂时性死区
只要块级作用域内存在let命令，它所声明的变量就“绑定”这个区域，不再受外部的影响。
var tmp = 123;
if(true){
tmp = 'abc'; //报错
let tmp;
}
上面代码中，存在全局变量tmp，但是块级作用域内let又声明了一个局部变量tmp，导致后者绑定这个块级作用域，所以在let声明变量前，对tmp赋值会报错。
ES6明确规定，如果区块中存在let和const，这个区块对这些命令声明的变量，从一开始就形成了封闭作用域。凡是在声明前就使用这些变量，就会报错。
在代码块内，使用let命令声明变量前，该变量都是不可用的。这在语法上，称为“暂时性死区”（temporal dead zone）。
if(true){
//TDZ开始
tmp = 'abc'; //报错
console.log(tmp);
let tmp; //TDZ结束
console.log(tmp); //undefined
tmp = 123;
console.log(tmp); //123
}
上面代码中，在let命令声明变量tmp之前，都属于变量tmp的“死区”。
比较隐蔽的“死区”：
function bar(x = y, y = 2) {
return[x, y];
}
bar(); //报错
上面代码中，因为参数x默认值等于另一个参数y，而此时y还没有声明，属于“死区”。若y的默认值是x，就不会报错。
下面这种情况也会报错，与var的行为不同。
//不报错 var x = x; //报错 let x = x;
上面代码报错，也是因为暂时性死区。使用let声明变量时，只要变量在还没声明完成前使用，就会报错。上面代码在变量x的声明语句还没执行完成前，就去取x的值，导致报错。
不允许重复声明
let不允许在相同作用域内，重复声明同一个变量。
//报错
function func() {
let a = 10;
var a = 1;
}
//报错
function func() {
let a = 10;
let a = 1;
}
//报错
function func(arg) {
let arg;
}
//不报错
function func(arg) {
{
let arg;
}
}
const
const声明一个只读的常量。一旦声明，常量的值就不能改变。
const声明的变量不得改变值，这意味着，const一旦声明变量，就必须立即初始化，不能留到以后赋值。
const只声明不赋值，会报错。
const的作用域与let命令相同，只在声明所在的块级作用域内有效。
const也没有变量提升，同时存在暂时性死区。
const声明的常量，也与let一样不可重复声明。
本质：
const实际上保证的，并不是变量的值不得改动，而是变量指向的那个内存地址不得改动。对于简单类型的数据（数值、字符串、布尔值），值就保存在变量指向的那个内存地址，因此等同常量。但对于复合类型的数据（主要是数组和对象），变量指向的内存地址，保存的是一个指针，const只能保证这个指针是固定的，至于它指向的数据结构是不是可变的，就完全不能控制的。因此，将一个对象声明为常量必须非常小心。