1.let 和 const 命令javascript
let用法和var相似,可是声明的变量只在let命令所在的代码块内有效html
{ let a = 10; var b = 1; } a // ReferenceError: a is not defined. b // 1
上面代码在代码块之中,分别用let和var声明了两个变量,而后在代码块以外调用这两个变量,结果let声明的变量报错,var声明的变量返回了正确值,这代表,let声明的变量只在它所在的代码块有效。java
for循环的计数器就很适合使用let命令es6
for (let i = 0; i < 10; i++) { // ... } console.log(i); // ReferenceError: i is not defined
上面代码中,计数器i只在for循环体内有效,在循环体外引用就会报错web
下面的代码若是使用var,最后输出的是10编程
var a = []; for (var i = 0; i < 10; i++) { a[i] = function () { console.log(i); }; } a[6](); // 10
上面代码中,变量i是var命令声明的,在全局范围内都有效,因此全局只有一个变量i,每一次循环,变量i的值都会发生变化,而循环内被赋给数组a的函数内部的console.log(i)数组
里面的i指向的就是全局的i,也就是说,全部数组a的成员里面的i,指向的都是同一个i,致使运行时输出的是最后一轮的i的值,也就是10浏览器
若是使用let,声明的变量只在块级做用域内有效,最后输出的是6安全
var a = []; for (let i = 0; i < 10; i++) { a[i] = function () { console.log(i); }; } a[6](); // 6
上面代码中,变量i是let声明的,当前的i只在本轮循环有效,因此每一次循环的i其实都是一个新的变量,因此最后输出的是6,你可能会问,若是每一轮循环的变量i都是从新声明的,那它怎么知道上一轮循环的值,从而计算出本轮循环的值???这是由于 JavaScript 引擎内部会记住上一轮循环的值,初始本轮的i时,就在上一轮循环的基础上进行计算。ide
另外,for循环还有一个特别之处,就是设置循环变量的那部分是一个父做用域,而循环体内部是一个单独的子做用域。
for (let i = 0; i < 3; i++) { let i = 'abc'; console.log(i); } // abc // abc // abc
上面代码运行,输出了3次abc,这代表函数内部的变量i与循环变量i不在同一个做用域,有各自单独的做用域。
不存在变量提高
var命令会存在“变量提高”现象,即变量能够在声明以前使用,值为undefined,这种现象多多少少有些奇怪,按照通常的逻辑,变量应该在声明语句以后才可使用。
为了纠正这种现象,let命令改变了语法行为,它所声明的变量必定要在声明以后才能使用,不然报错
// var 的状况 console.log(foo); // 输出undefined var foo = 2; // let 的状况 console.log(bar); // 报错ReferenceError let bar = 2;
上面代码中,变量foo
用var
命令声明,会发生变量提高,即脚本开始运行时,变量foo
已经存在了,可是没有值,因此会输出undefined
。变量bar
用let
命令声明,不会发生变量提高。这表示在声明它以前,变量bar
是不存在的,这时若是用到它,就会抛出一个错误。
暂时性死区
只要块级做用域内存在let命令,他所声明的变量就绑定这个区域,不在受外部的影响
var tmp = 123; if (true) { tmp = 'abc'; // ReferenceError let tmp; }
上面代码中,存在全局变量tmp,可是块级做用域内let又声明了一个局部变量tmp.致使后者绑定这个块级做用域,因此在let声明变量前,对tmp赋值会报错
ES6明确规定,若是区块中存在let和const命令,这个区块对这些命令声明的变量,从一开始就造成了封闭做用域,凡是在声明以前使用这些变量,就会报错
总之,在代码块内,使用let命令声明变量以前,该变量都是不可用的,这在语法上,称为“暂时性死区”,
if (true) { // TDZ开始 tmp = 'abc'; // ReferenceError console.log(tmp); // ReferenceError let tmp; // TDZ结束 console.log(tmp); // undefined tmp = 123; console.log(tmp); // 123 }
上面代码中,在let命令声明变量tmp以前,都属于变量tmp的死区,
“暂时性死区”也意味着typeof再也不是一个百分之百安全的操做
typeof x; // ReferenceError let x;
上面代码中,变量x使用let声明,因此在声明以前,都属于x的死区,只要用到该变量都会报错,所以typeof运行时就会抛出一个ReferenceError
。
做为比较,若是一个变量根本没被声明,使用typeof反而不会报错
typeof undeclared_variable // "undefined"
上面代码中,undeclared_variable是一个不存在的变量名,结果返回“undefined”,因此,在没有let以前,typeof运算符是百分之百安全的,永远不会报错,如今这一点不成立了,这样的设计是为了让你们养成良好的编程习惯,变量必定要在声明以后使用,不然就会报错。
有些死区比较隐蔽,不太容易发现
function bar(x = y, y = 2){ return [x,y] } bar(); //报错
上面代码中,调用bar函数之因此报错,是由于参数x默认等于另外一个参数y,而此时y尚未声明,属于死区,若是y的默认值是x就不会把报错,由于此时x已经声明了
function bar(x = 2, y = x) { return [x, y]; } bar(); // [2, 2]
另外,下面这段代码也会报错
// 不报错 var x = x; // 报错 let x = x; // ReferenceError: x is not defined
上面代码报错,也是由于暂时性死区。使用let
声明变量时,只要变量在尚未声明完成前使用,就会报错。上面这行就属于这个状况,在变量x
的声明语句尚未执行完成前,就去取x
的值,致使报错”x 未定义“。
ES6 规定暂时性死区和let
、const
语句不出现变量提高,主要是为了减小运行时错误,防止在变量声明前就使用这个变量,从而致使意料以外的行为。这样的错误在 ES5 是很常见的,如今有了这种规定,避免此类错误就很容易了。
总之,暂时性死区的本质就是,只要一进入当前做用域,所要使用的变量就已经存在了,可是不可获取,只有等到变量声明的那行代码出现,才能够获取和使用该变量。
不容许重复声明
let不容许在相同做用域内,重复声明同一个变量
// 报错 function func() { let a = 10; var a = 1; } // 报错 function func() { let a = 10; let a = 1; }
所以,不能在函数内部从新声明参数
function func(arg) { let arg; } func() // 报错 function func(arg) { { let arg; } } func() // 不报错
2.块级做用域
为何须要块级做用域
ES5只有全局做用域和函数做用域,没有块级做用域,这带来不少不合理的场景。
第一种场景:内层变量会覆盖外层变量
var tmp = new Date(); function f() { console.log(tmp); if (false) { var tmp = 'hello world'; } } f(); // undefined
上面代码的原意是,if代码块的外部使用外层的tmp变量,内部使用内层的tmp变量,可是,函数f执行后,输出结果为undefined,缘由在于变量提高,致使内层tmp变量覆盖了外层tmp变量
第二种场景,用来计数的循环变量泄露为全局变量
var s = 'hello'; for (var i = 0; i < s.length; i++) { console.log(s[i]); } console.log(i); // 5
上面代码中,变量i只用来控制循环,可是循环结束后,它并无消失,泄露成了全局变量
ES6的块级变量
let实际上为javascript新增了块级做用域
function f1() { let n = 5; if (true) { let n = 10; } console.log(n); // 5 }
上面的函数有两个代码块,都声明了变量n,运行后输出5,这表示外层代码块不受内层代码块的影响,若是两次都使用var定义变量n,最后输出的值才是10,
ES6容许块级做用域的任何嵌套
{{{{ {let insane = 'Hello World'} console.log(insane); // 报错 }}}};
上面代码使用了一个五层的块级做用域,每一层都是一个单独的做用域,第四层做用域没法读取第五层做用域的内部变量
内层做用域能够定义外层做用域的同名变量
{{{{ let insane = 'Hello World'; {let insane = 'Hello World'} }}}};
块级做用域的出现,实际上使得得到普遍应用的当即执行函数表达式(IIFE)再也不必要了。
// IIFE 写法 (function () { var tmp = ...; ... }()); // 块级做用域写法 { let tmp = ...; ... }
块级做用域与函数声明
函数能不能再块级做用域内声明?这是一个至关使人混淆的问题
ES5规定,函数只能在顶层做用域和函数做用域内声明,不能在块级做用域内声明
// 状况一 if (true) { function f() {} } // 状况二 try { function f() {} } catch(e) { // ... }
上面两种函数声明,根据ES5的规定,都是非法的
可是,浏览器没有遵照这个规定,为了兼容之前的旧代码,仍是支持在块级做用域中声明函数,所以上面两种状况实际都能运行,不会报错。
ES6引入了块级做用域,明确容许在块级做用域之中声明函数,ES6规定,块级做用域之中,函数声明语句的行为相似let,在块级做用域以外不可引用
function f() { console.log('I am outside!'); } (function () { if (false) { // 重复声明一次函数f function f() { console.log('I am inside!'); } } f(); }());
上面代码在ES5中运行,会获得“I am inside!”由于在if
内声明的函数f
会被提高到函数头部,实际运行的代码以下。
// ES5 环境 function f() { console.log('I am outside!'); } (function () { function f() { console.log('I am inside!'); } if (false) { } f(); }());
ES6 就彻底不同了,理论上会获得“I am outside!”。由于块级做用域内声明的函数相似于let
,对做用域以外没有影响。可是,若是你真的在 ES6 浏览器中运行一下上面的代码,是会报错的,这是为何呢?
// 浏览器的 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 在附录 B里面规定,浏览器的实现能够不遵照上面的规定,有本身的行为方式。
原来,若是改变了块级做用域内声明的函数的处理规则,显然会对老代码产生很大影响。为了减轻所以产生的不兼容问题,ES6 在附录 B里面规定,浏览器的实现能够不遵照上面的规定,有本身的行为方式。
注意,上面三条规则只对 ES6 的浏览器实现有效,其余环境的实现不用遵照,仍是将块级做用域的函数声明看成let
处理。
根据这三条规则,浏览器的 ES6 环境中,块级做用域内声明的函数,行为相似于var
声明的变量。上面的例子实际运行的代码以下。
// 浏览器的 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 的块级做用域必须有大括号,若是没有大括号,JavaScript 引擎就认为不存在块级做用域。
// 第一种写法,报错 if (true) let x = 1; // 第二种写法,不报错 if (true) { let x = 1; }
上面代码中,第一种写法没有大括号,因此不存在块级做用域,而let
只能出如今当前做用域的顶层,因此报错。第二种写法有大括号,因此块级做用域成立。
函数声明也是如此,严格模式下,函数只能声明在当前做用域的顶层。
// 不报错 'use strict'; if (true) { function f() {} } // 报错 'use strict'; if (true) function f() {}
3.const命令