所有內容基于阮一峰的ECMAScript 6 入門
1.let命令
只在命令所在的代碼塊內有效。
for循環有一個特別之處，循環語句部分是一個父作用域，而循環體內部是一個單獨的子作用域。
for (let i = 0; i < 3; i++) {
let i = 'abc';
console.log(i);
}
// abc
// abc
// abc
不存在變量提升
暫時性死區（temporal dead zone，簡稱TDZ）
ar tmp = 123;
if (true) {
tmp = 'abc'; // ReferenceError
let tmp;
}
// 報錯
let x = x;
// ReferenceError: x is not defined
在變量x的聲明語句還沒執行完成前，就去取x的值導致報錯“x未定義”。
不允許重復聲明
不能在函數內部重新聲明參數
function func(arg) {
let arg; // 報錯
}
function func(arg) {
{
let arg; // 不報錯
}
}
2.塊級作用域
為什么需要塊級作用域
1.內層變量可能會覆蓋外層變量
2.用來計數的循環變量泄露為全局變量
ES6的塊級作用域
function f1() {
let n = 5;
if (true) {
let n = 10;
}
console.log(n); // 5
}
外層作用域無法讀取內層作用域的變量。
內層作用域可以定義外層作用域的同名變量。
塊級作用域的出現，實際上使得獲得廣泛應用的立即執行函數表達式（IIFE）不必要了。
// IIFE 寫法
（function （）{
var tmp = ...;
}());
// 塊級作用域寫法
{
let tmp = ...;
...
}
塊級作用域與函數聲明
ES6中允許在塊級作用域中聲明函數。
ES6中塊級作用域內聲明的函數類似與let，對作用域外沒有影響。
但是為了減輕因此產生的不兼容問題，瀏覽器的實現可以不遵守上面的規定，有自己的行為方式。
- 允許在塊級作用域內聲明函數
- 函數聲明類似于var，即會提升到全局作用域或函數作用域的頭部
- 同時，函數聲明還會提升到所在的塊級作用域的頭部。
上面三條規則只對ES6的瀏覽器實現有效，其他環境的實現不用遵守，還是將塊級作用域的函數聲明當做let處理。
// 瀏覽器的 ES6 環境
function f() { console.log('I am outside!'); }
(function () {
if (false) {
// 重復聲明一次函數f
function f() { console.log('I am inside!'); }
}
f();
}());
// Uncaught TypeError: f is not a function
上面的代碼在符合 ES6 的瀏覽器中，都會報錯，因為實際運行的是下面的代碼。
// 瀏覽器的 ES6 環境
function f() { console.log('I am outside!'); }
(function () {
var f = undefined;
if (false) {
function f() { console.log('I am inside!'); }
}
f();
}());
// Uncaught TypeError: f is not a function
考慮到環境導致的行為差異太大，應該避免在塊級作用域中聲明函數。如果確實需要，也應該寫成函數表達式，而不是函數聲明語句。
// 函數聲明語句
{
let a = 'secret';
function f() {
return a;
}
}
// 函數表達式
{
let a = 'secret';
let f = function () {
return a;
};
}
另外，還有一個需要注意的地方，ES6允許塊級作用域內聲明函數的規則，只在使用大括號的情況下成立。
// 不報錯
'use strict';
if (true) {
function f() {}
}
// 報錯
'use strict';
if (true)
function f() {}
do 表達式
本質上，塊級作用域是一個語句，將多個操作封裝在一起，沒有返回值。
現在有一個提案，使得塊級作用域可以變為表達式，也即是說可以返回值：
let x = do {
let = f()
t*t+1;
};
上面代碼中，變量x會得到整個塊級作用域的返回值。（只是提案，現在可能還用不了）
3.const 命令
基本用法
const聲明一個只讀的常量，const一旦聲明就必須立即初始化不能留到以后賦值。
const的作用域與let命令相同：只在聲明所在塊級作用域內有效。
if (true) {
const MAX = 5;
}
MAX // Uncaught ReferenceError: MAX is not defined
const命令聲明的常量也不是提升，同樣存在暫時性死區，只能在聲明的位置后面使用。
也不能重復聲明。
本質
const實際上保證的，不是變量的值不變，而是變量指向的那個內存地址不得改變。但對于復合類型的數據（主要是對象和數組），變量指向的內存地址，保存的只是一個指針，const只能保證這個指針是固定的，至于它指向的數據結構是不是可變的，就完全不能控制了。
const foo = {};
// 為 foo 添加一個屬性，可以成功
foo.prop = 123;
foo.prop // 123
// 將 foo 指向另一個對象，就會報錯
foo = {}; // TypeError: "foo" is read-only
const a = [];
a.push('Hello'); // 可執行
a.length = 0; // 可執行
a = ['Dave']; // 報錯
想將對象凍結，應該使用Object.freeze方法。
const foo = Object.freeze({});
// 常規模式時，下面一行不起作用；
// 嚴格模式時，該行會報錯
foo.prop = 123;
ES6聲明變量的六種方法
var命令function命令。
ES6除了添加let和const命令，另外兩種聲明變量的方法：import命令和class命令。
4.頂層對象的屬性
頂層對象，瀏覽器環境指的是window對象，在Node指的是global對象。
ES5之中，頂層對象的屬性與全局變量是等價的。
window.a = 1;
a // 1
a = 2;
window.a // 2
頂層對象的屬性與全局變量掛鉤，被認為是JavaScript語言最大的設計敗筆之一。
ES6為了改變這一點，一方面規定，為了保持兼容性，var命令和function命令聲明的全局變量，依舊是頂層對象的屬性；另一方面規定，let命令、const命令、class命令聲明的全局變量，不屬于頂層對象的屬性。也就是說，從ES6開始，全局變量將逐步與頂層對象的屬性脫鉤。
var a = 1;
// 如果在Node的REPL環境，可以寫成global.a
// 或者采用通用方法，寫成this.a
window.a // 1
let b = 1;
window.b // undefined
上面代碼中，全局變量a是var聲明的所以它是頂層對象的屬性；全局變量b是由let聲明，所以它不是頂層對象的屬性，返回undefined。
global對象
ES5的頂層對象，本身也是一個問題，因為它在各種實現里面是不統一的。
- 瀏覽器里面，頂層對象是window，但 Node 和 Web Worker 沒有window。
- 瀏覽器和 Web Worker 里面，self也指向頂層對象，但是Node沒有self。
- Node 里面，頂層對象是global，但其他環境都不支持。
同一段代碼為了在各種環境都能取到頂層對象，現在一般是使用this，但是有局限性。
- 全局環境中，this會返回頂層對象，但是，node模塊和ES6模塊中返回的是當前模塊。
- 函數里面的this，如果函數不是作為對象方法運行，而是單純作為函數運行，this會指向頂層對象。但是在嚴格模式下，這是this會返回undefined。
- 不管是嚴格模式，還是普通模式，new Function（’return this‘）（），總是會返回全局對象。但是，如果瀏覽器用來CSP（Content Security Policy，內容安全政策），那么eval，new Function這些方法可能都無法使用。
下面是兩種勉強可以在所有情況下取到頂層對象的方法。
//方法一
(typeof window !== 'undefined'
? window
: (typeof process === 'object' &&
typeof require === 'function' &&
typeor global === 'object')
? global
: this);
//方法二
var getGlobal = function () {
if (typeof self !== 'undefined') { return self; }
if (typeof window !== 'undefined') { return window; }
if (typeof global !== 'undefined') { return global; }
throw new Error('unable to locate global object');
};
現在有一個提案，在語言標準的層面，引入global
作為頂層對象。也就是說，在所有環境下，global
都是存在的，都可以從它拿到頂層對象。
墊片庫system.global
模擬了這個提案，可以在所有環境拿到global
。
// CommonJS的寫法
require('system.global/shim')();
// ES6模塊的寫法
import shim from 'system.global/shim'; shim();
上面代碼可以保證各種環境里面，global對象都是存在的。
// CommonJS的寫法
var global = require('system.global')();
// ES6模塊的寫法
import getGlobal from 'system.global';
const global = getGlobal();
上面代碼將頂層對象放入變量global。
