const命令

基本用法

const聲明一個只讀的常量，一旦聲明，常量的值就不能被改變。

const PI = 3.1415;
PI // 3.1415

PI = 3;
// TypeError: Assignment to constant variable.

上面代碼代表改變常量的值會報錯。

const聲明的變量不得改變值，這意味着，const一旦聲明變量，就必須當即初始化，不能留到之後賦值

const foo;
// SyntaxError: Missing initializer in const declaration

上面代碼表示，對於const來講，只聲明不賦值，就會報錯。

const的做用域與let命令相同：只在聲明所在的塊級做用域內有效。

if (true) {
  const MAX = 5;
}

MAX // Uncaught ReferenceError: MAX is not defined

const命令聲明的常量也是不提高，一樣存在暫時性死區，只能在聲明的位置後面使用。

if (true) {
  console.log(MAX); // ReferenceError
  const MAX = 5;
}

　　

上面代碼在常量MAX聲明以前就調用，結果報錯，const聲明的常量，也與let同樣不可重複聲明。

var message = "Hello!";
let age = 25;

// 如下兩行都會報錯
const message = "Goodbye!";
const age = 30;

本質

const實際上保證的，並非變量的值不得改動，而是變量指向的那個內存地址不得改動。對於簡單類型的數據（數值、字符串、布爾值），值就保存在變量指向的那個內存地址，所以等同於常量。但對於複合類型的數據（主要是對象和數組），變量指向的內存地址，保存的只是一個指針，const只能保證這個指針是固定的，至於它指向的數據結構是否是可變的，就徹底不能控制了。所以，將一個對象聲明爲常量必須很是當心。

const foo = {};

// 爲 foo 添加一個屬性，能夠成功
foo.prop = 123;
foo.prop // 123

// 將 foo 指向另外一個對象，就會報錯
foo = {}; // TypeError: "foo" is read-only

上面代碼中，常量foo儲存的是一個地址，這個地址指向一個對象。不可變的只是這個地址，即不能把foo指向另外一個地址，但對象自己是可變的，因此依然能夠爲其添加新屬性。

const a = [];
a.push('Hello'); // 可執行
a.length = 0;    // 可執行
a = ['Dave'];    // 報錯

上面代碼中，常量a是一個數組，這個數組自己是可寫的，可是若是將另外一個數組賦值給a，就會報錯。

若是真的想將對象凍結，應該使用Object.freeze方法。

const foo = Object.freeze({});

// 常規模式時，下面一行不起做用；
// 嚴格模式時，該行會報錯
foo.prop = 123;

上面代碼中，常量foo指向一個凍結的對象，因此添加新屬性不起做用，嚴格模式時還會報錯。

除了將對象自己凍結，對象的屬性也應該凍結。下面是一個將對象完全凍結的函數。

var constantize = (obj) => {
  Object.freeze(obj);
  Object.keys(obj).forEach( (key, i) => {
    if ( typeof obj[key] === 'object' ) {
      constantize( obj[key] );
    }
  });
};

ES6聲明變量的6種方法

ES5 只有兩種聲明變量的方法：var命令和function命令。ES6 除了添加let和const命令，後面章節還會提到，另外兩種聲明變量的方法：import命令和class命令。

4.頂層對象的屬性

頂層對象，在瀏覽器環境指的是window對象，在 Node 指的是global對象。ES5 之中，頂層對象的屬性與全局變量是等價的。

window.a = 1;
a // 1

a = 2;
window.a // 2

上面代碼中，頂層對象的屬性賦值與全局變量的賦值，是同一件事。

頂層對象的屬性與全局變量掛鉤，被認爲是 JavaScript 語言最大的設計敗筆之一。這樣的設計帶來了幾個很大的問題，首先是無法在編譯時就報出變量未聲明的錯誤，只有運行時才能知道（由於全局變量多是頂層對象的屬性創造的，而屬性的創造是動態的）；其次，程序員很容易不知不覺地就建立了全局變量（好比打字出錯）；最後，頂層對象的屬性是處處能夠讀寫的，這很是不利於模塊化編程。另外一方面，window對象有實體含義，指的是瀏覽器的窗口對象，頂層對象是一個有實體含義的對象，也是不合適的。

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。

5.global 對象

ES5 的頂層對象，自己也是一個問題，由於它在各類實現裏面是不統一的。

• 瀏覽器裏面，頂層對象是window，但 Node 和 Web Worker 沒有window。
• 瀏覽器和 Web Worker 裏面，self也指向頂層對象，可是 Node 沒有self。
• Node 裏面，頂層對象是global，但其餘環境都不支持。

同一段代碼爲了可以在各類環境，都能取到頂層對象，如今通常是使用this變量，可是有侷限性。

• 全局環境中，this會返回頂層對象。可是，Node 模塊和 ES6 模塊中，this返回的是當前模塊。
• 函數裏面的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' &&
      typeof 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。