let 命令
基本用法
ES6 新增了let命令,用來聲明變量。它的用法類似于var,但是所聲明的變量,只在let命令所在的代碼塊內(nèi)有效
{
let a = 10;
var b = 1;
}
console.log(a); // ReferenceError: a is not defined.
console.log(b); // 1
// for循環(huán)的計(jì)數(shù)器,就很合適使用let命令 循環(huán)為訪問不到
for (let i = 0; i < 10; i++) {
// ...
}
console.log(i);
// ReferenceError: i is not defined
var a = [];
for (var i = 0; i < 10; i++) {
a[i] = function () {
console.log(i);
};
}
a[6](); // 10
變量i是var命令聲明的,在全局范圍內(nèi)都有效,所以全局只有一個變量i。
// 聲明的變量僅在塊級作用域內(nèi)有效
var a = [];
for (let i = 0; i < 10; i++) {
a[i] = function () {
console.log(i);
};
}
a[6](); // 6
// babel 在線轉(zhuǎn)換
var a = [];
var _loop = function _loop(i) {
a[i] = function () {
console.log(i);
};
};
for (var i = 0; i < 10; i++) {
_loop(i);
}
a[6]();
for循環(huán)還有一個特別之處,就是設(shè)置循環(huán)變量的那部分是一個父作用域,而循環(huán)體內(nèi)部是一個單獨(dú)的子作用域
// 這表明函數(shù)內(nèi)部的變量i與循環(huán)變量i不在同一個作用域,有各自單獨(dú)的作用域
for (let i = 0; i < 3; i++) {
let i = 'abc';
console.log(i);
}
// abc
// abc
// abc
不存在變量提升
-
var:命令會發(fā)生”變量提升“現(xiàn)象,即變量可以在聲明之前使用,值為undefined。按照一般的邏輯,變量應(yīng)該在聲明語句之后才可以使用 -
let:命令改變了語法行為,它所聲明的變量一定要在聲明后使用,否則報錯
// var 的情況
console.log(foo); // 輸出undefined
var foo = 2;
// let 的情況
console.log(bar); // 報錯ReferenceError
let bar = 2;
暫時性死區(qū)
使用let命令聲明變量之前,該變量都是不可用的。這在語法上,稱為“暫時性死區(qū)”(temporal dead zone,簡稱 TDZ)
// 存在全局變量tmp,但是塊級作用域內(nèi)let又聲明了一個局部變量tmp,
// 導(dǎo)致后者綁定這個塊級作用域,所以在let聲明變量前,對tmp賦值會報錯。
var tmp = 123;
if (true) {
tmp = 'abc'; // ReferenceError
let tmp;
}
// 在let命令聲明變量tmp之前,都屬于變量tmp的“死區(qū)”。
if (true) {
// TDZ開始
tmp = 'abc'; // ReferenceError
console.log(tmp); // ReferenceError
let tmp; // TDZ結(jié)束
console.log(tmp); // undefined
tmp = 123;
console.log(tmp); // 123
}
// “暫時性死區(qū)”也意味著typeof不再是一個百分之百安全的操作
// 變量x使用let命令聲明,所以在聲明之前,都屬于x的“死區(qū)”,只要用到該變量就會報錯
typeof x; // ReferenceError
let x;
// 如果一個變量根本沒有被聲明,使用typeof反而不會報錯
typeof undeclared_variable // "undefined"
變量一定要在聲明之后使用,否則就報錯
// 隱蔽的死區(qū)
// 參數(shù)x默認(rèn)值等于另一個參數(shù)y,而此時y還沒有聲明,屬于”死區(qū)“。
function bar(x = y, y = 2) {
return [x, y];
}
bar(); // 報錯
// 正確方式
function bar(x = 2, y = x) {
return [x, y];
}
bar(); // [2, 2]
// 不報錯
var x = x;
// 報錯
let x = x;
// ReferenceError: x is not defined
代碼報錯,也是因?yàn)闀簳r性死區(qū)。使用let聲明變量時,只要變量在還沒有聲明完成前使用,就會報錯。上面這行就屬于這個情況,在變量x的聲明語句還沒有執(zhí)行完成前,就去取x的值,導(dǎo)致報錯”x 未定義“
ES6 規(guī)定暫時性死區(qū)和let、const語句不出現(xiàn)變量提升,主要是為了減少運(yùn)行時錯誤,防止在變量聲明前就使用這個變量,從而導(dǎo)致意料之外的行為。這樣的錯誤在 ES5 是很常見的,現(xiàn)在有了這種規(guī)定,避免此類錯誤就很容易了
不允許重復(fù)聲明
let不允許在相同作用域內(nèi),重復(fù)聲明同一個變量。
// 報錯
function () {
let a = 10;
var a = 1;
}
// 報錯
function () {
let a = 10;
let a = 1;
}
// 不能在函數(shù)內(nèi)部重新聲明參數(shù)。
function func(arg) {
let arg; // 報錯
}
function func(arg) {
{
let arg; // 不報錯
}
}
塊級作用域
ES5 只有全局作用域和函數(shù)作用域,沒有塊級作用域,這帶來很多不合理的場景
為什么需要塊級作用域
- 內(nèi)層變量可能會覆蓋外層變量
// 原因在于變量提升,導(dǎo)致內(nèi)層的tmp變量覆蓋了外層的tmp變量
var tmp = new Date();
function f() {
console.log(tmp);
if (false) {
var tmp = 'hello world';
}
}
f(); // undefined
- 用來計(jì)數(shù)的循環(huán)變量泄露為全局變量
// 變量i只用來控制循環(huán),但是循環(huán)結(jié)束后,它并沒有消失,泄露成了全局變量
var s = 'hello';
for (var i = 0; i < s.length; i++) {
console.log(s[i]);
}
console.log(i); // 5
ES6 的塊級作用域
let實(shí)際上為 JavaScript 新增了塊級作用域
塊級作用域與函數(shù)聲明
// 如果兩次都使用var定義變量n,最后輸出的值才是10
function f1() {
let n = 5;
if (true) {
let n = 10;
}
console.log(n); // 5
}
- ES6 允許塊級作用域的任意嵌套
- 外層作用域無法讀取內(nèi)層作用域的變量
- 內(nèi)層作用域可以定義外層作用域的同名變量
- 廣泛應(yīng)用的立即執(zhí)行函數(shù)表達(dá)式(IIFE)不再必要
{{{{{let insane = 'Hello World'}}}}};
{{{{
{let insane = 'Hello World'}
console.log(insane); // 報錯
}}}};
{{{{
let insane = 'Hello World';
{let insane = 'Hello World'}
}}}};
// IIFE 寫法
(function () {
var tmp = ...;
...
}());
// 塊級作用域?qū)懛?{
let tmp = ...;
...
}
塊級作用域與函數(shù)聲明
- ES5 規(guī)定,函數(shù)只能在頂層作用域和函數(shù)作用域之中聲明,不能在塊級作用域聲明
// 情況一
if (true) {
function f() {}
}
// 情況二
try {
function f() {}
} catch(e) {
// ...
}
根據(jù) ES5 的規(guī)定都是非法的。但是,瀏覽器沒有遵守這個規(guī)定,為了兼容以前的舊代碼,還是支持在塊級作用域之中聲明函數(shù),因此上面兩種情況實(shí)際都能運(yùn)行,不會報錯
- ES6 引入了塊級作用域,明確允許在塊級作用域之中聲明函數(shù)
ES6 規(guī)定,塊級作用域之中,函數(shù)聲明語句的行為類似于let,在塊級作用域之外不可引用
function f() { console.log('I am outside!'); }
(function () {
if (false) {
// 重復(fù)聲明一次函數(shù)f
function f() { console.log('I am inside!'); }
}
f();
}());
// ES5 環(huán)境
// 因?yàn)樵趇f內(nèi)聲明的函數(shù)f會被提升到函數(shù)頭部
function f() { console.log('I am outside!'); }
(function () {
function f() { console.log('I am inside!'); }
if (false) {
}
f();
}());
ES6 瀏覽器中運(yùn)行一下上面的代碼,是會報錯的,這是為什么呢?
原來,如果改變了塊級作用域內(nèi)聲明的函數(shù)的處理規(guī)則,顯然會對老代碼產(chǎn)生很大影響。為了減輕因此產(chǎn)生的不兼容問題,ES6在附錄B里面規(guī)定,瀏覽器的實(shí)現(xiàn)可以不遵守上面的規(guī)定,有自己的行為方式
- 允許在塊級作用域內(nèi)聲明函數(shù)。
- 函數(shù)聲明類似于var,即會提升到全局作用域或函數(shù)作用域的頭部。
- 同時,函數(shù)聲明還會提升到所在的塊級作用域的頭部。
- 在瀏覽器的 ES6 環(huán)境中,塊級作用域內(nèi)聲明的函數(shù),行為類似于var聲明的變量
- 環(huán)境導(dǎo)致的行為差異太大,應(yīng)該避免在塊級作用域內(nèi)聲明函數(shù)
// 應(yīng)該寫成函數(shù)表達(dá)式,而不是函數(shù)聲明語句
// 函數(shù)聲明語句
{
let a = 'secret';
function f() {
return a;
}
}
// 函數(shù)表達(dá)式
{
let a = 'secret';
let f = function () {
return a;
};
}
- ES6 的塊級作用域允許聲明函數(shù)的規(guī)則,只在使用大括號的情況下成立,如果沒有使用大括號,就會報錯
// 不報錯
'use strict';
if (true) {
function f() {}
}
// 報錯
'use strict';
if (true)
function f() {}
do 表達(dá)式
本質(zhì)上,塊級作用域是一個語句,將多個操作封裝在一起,沒有返回值
{
let t = f();
t = t * t + 1;
}
提案 do 表達(dá)式
// 變量x會得到整個塊級作用域的返回值
let x = do {
let t = f();
t * t + 1;
};
const 命令
基本用法
const聲明一個只讀的常量。一旦聲明,常量的值就不能改變。且必須立即初始化,不能留到以后賦值
// 改變常量的值會報錯
const PI = 3.1415;
PI // 3.1415
PI = 3;
// TypeError: Assignment to constant variable.
// 只聲明不賦值,就會報錯。
const foo;
// SyntaxError: Missing initializer in const declaration
const的作用域與let命令相同:只在聲明所在的塊級作用域內(nèi)有效
if (true) {
const MAX = 5;
}
MAX // Uncaught ReferenceError: MAX is not defined
const命令聲明的常量也是不提升,同樣存在暫時性死區(qū),只能在聲明的位置后面使用
// 常量MAX聲明之前就調(diào)用,結(jié)果報錯
if (true) {
console.log(MAX); // ReferenceError
const MAX = 5;
}
const聲明的常量,也與let一樣不可重復(fù)聲明。
var message = "Hello!";
let age = 25;
// 以下兩行都會報錯
const message = "Goodbye!";
const age = 30;
本質(zhì)
const實(shí)際上保證的,并不是變量的值不得改動,而是變量指向的那個內(nèi)存地址不得改動。對于簡單類型的數(shù)據(jù)(數(shù)值、字符串、布爾值),值就保存在變量指向的那個內(nèi)存地址,因此等同于常量。但對于復(fù)合類型的數(shù)據(jù)(主要是對象和數(shù)組),變量指向的內(nèi)存地址,保存的只是一個指針,const只能保證這個指針是固定的,至于它指向的數(shù)據(jù)結(jié)構(gòu)是不是可變的,就完全不能控制了。因此,將一個對象聲明為常量必須非常小心
const foo = {};
// 為 foo 添加一個屬性,可以成功
foo.prop = 123;
foo.prop // 123
// 將 foo 指向另一個對象,就會報錯
foo = {}; // TypeError: "foo" is read-only
常量foo儲存的是一個地址,這個地址指向一個對象。不可變的只是這個地址,即不能把foo指向另一個地址,但對象本身是可變的,所以依然可以為其添加新屬性
// 數(shù)組本身是可寫的,但是如果將另一個數(shù)組賦值給a,就會報錯
const a = [];
a.push('Hello'); // 可執(zhí)行
a.length = 0; // 可執(zhí)行
a = ['Dave']; // 報錯
對象凍結(jié)
const foo = Object.freeze({});
// 常規(guī)模式時,下面一行不起作用;
// 嚴(yán)格模式時,該行會報錯
foo.prop = 123;
將對象徹底凍結(jié)的函數(shù)(屬性)
var constantize = (obj) => {
Object.freeze(obj);
Object.keys(obj).forEach( (key, i) => {
if ( typeof obj[key] === 'object' ) {
constantize( obj[key] );
}
});
};
ES6 聲明變量的六種方法
- ES5 兩種
- var命令
- function命令
- ES6 六種
- let 命令
- const命令
- var命令
- function命令
- import命令
- class命令
頂層對象的屬性
頂層對象,在瀏覽器環(huán)境指的是window對象,在Node指的是global對象。
ES5之中,頂層對象的屬性與全局變量是等價的
頂層對象的屬性與全局變量掛鉤的幾大問題
- 沒法在編譯時就報出變量未聲明的錯誤,只有運(yùn)行時才能知道
- 容易不知不覺地就創(chuàng)建了全局變量
- 頂層對象的屬性是到處可讀寫 非常不利于模塊化編程
- window對象有實(shí)體含義,頂層對象是有實(shí)體含義的對象
ES6 的實(shí)現(xiàn)
- var 和 function 聲明全局變量 依舊是頂層對象的屬性
- let、const、class聲明的全局變量,不屬于頂層對象
var a = 1;
// 如果在Node的REPL環(huán)境,可以寫成global.a
// 或者采用通用方法,寫成this.a
window.a // 1
let b = 1;
window.b // undefined
global 對象
ES5 的頂層對象,本身也是一個問題,因?yàn)樗诟鞣N實(shí)現(xiàn)里面是不統(tǒng)一的
- 瀏覽器里面,頂層對象是window,但 Node 和 Web Worker 沒有window。
- 瀏覽器和 Web Worker 里面,self也指向頂層對象,但是 Node 沒有self。
- Node 里面,頂層對象是global,但其他環(huán)境都不支持
使用this變量取頂層對象的局限性
- 全局環(huán)境中,this會返回頂層對象。但是,Node 模塊和 ES6 模塊中,this返回的是當(dāng)前模塊
- 函數(shù)里面的this,如果函數(shù)不是作為對象的方法運(yùn)行,而是單純作為函數(shù)運(yùn)行,this會指向頂層對象。但是,嚴(yán)格模式下,這時this會返回undefined
- 不管是嚴(yán)格模式,還是普通模式,new Function('return this')(),總是會返回全局對象。但是,如果瀏覽器用了CSP(Content Security Policy,內(nèi)容安全政策),那么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
// 保證各種環(huán)境里面,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();