暂时性死区以及函数作用域
暂时性死区
暂时性死区也就是变量声明到声明完成的区块,这个区块是一个封闭的作用域,直到声明完成。
如果在变量声明之前使用该变量,那么该变量是不可用的,也就被称为暂时性死区。
var
没有暂时性死区,因为var
存在变量提升let、const
有块级作用域,没有变量提升,存在暂时性死区
console.log(a); // 报错 Cannot access 'a' before initialization
let a = '东方不败'
console.log(b); // 报错 Cannot access 'b' before initialization
const b = '东方不败'
console.log(c); // undefined 因为var存在变量提升
var c = '东方求败'
ES6
规定,如果代码块中存在let
和const
命令声明的变量,这个区块对这些变量从一开始就形成了封闭作用域,直到声明语句完成,这些变量才能被访问(获取或设置),否则会报错ReferenceError
。这在语法上称为“暂时性死区”(英temporal dead zone,简 TDZ),既代码块开始到变量生命语句完成之前的区域。
函数作用域
案例一
一旦设置了参数的默认值,函数进行生命初始化时,参数就会形成一个单独的作用域,等初始化结束,这个作用域就会消失,这种语法在不设置参数默认值时不会出现。
var x = 1
function f(x,y = x){
console.log(y);
}
f(2) // 2
上面这个例子中,函数参数这里(x,y = x)
,这个区域就是单独的作用域,y
默认的x
变量指向第一个参数x
,而不是全局变量x
,这里调用f函数,向x
传递数值2
,y = x
那么 y = 2
,打印结果为2
案例二
let x2 = 1
function f2(y2 = x2){
let x2 = 2
console.log(y2);
}
f2() // 1
调用f2
函数,由于未给f2
函数任何参数,并且 y2 = x2
形成一个单独的作用域,在这个作用域里x2
并未定义,所以x2
指向的是外层全局变量x2
,y2 = x2
也就是y2 = 1
,在这里,函数内部的x2
并未起到任何作用。
函数执行的时候会先执行参数,再执行函数体。
// 报错
function f2(y2 = x2){
let x2 = 2
console.log(y2);
}
f2() // 报错
上面的例子中,如果去掉全局变量x2
则会报错,因为变量未声明,给y2
赋值了一个未声明的变量,报错。
var xx = 1
function fxx(xx = xx){
console.log(xx);
}
fxx()
上面这个写法也会报错,由于函数的参数存在单独的作用域,在这个参数作用域内,执行结果为 let xx = xx
,给xx
赋值一个未声明的变量xx
报错。(暂时性死区)
如果函数的默认参数是函数,该函数的作用域也要遵循这个规则。
let foo = 'out'
function bar(func = () => foo){
let foo = 'come'
console.log(func());
}
bar() // out
这个例子中,函数的参数是func
默认值是一个匿名函数,返回值为变量foo
,由于函数参数这里形成一个单独的作用域,在这个作用域里面并没有定义变量foo
,所以foo
会指向外层全局变量foo
。如果去掉全局变量foo='out'
报错,赋值了一个未声明的变量。
应用
可以利用这个特性写一个参数默认值错误抛出,如果参数并未传参则抛出一个错误。
function throwErr(){
throw new Error('参数不得省略')
}
function omits(mustfn = throwErr()){
return mustfn
}
omits(); // 未传参抛出错误 : 参数不得省略
调用omits
函数未传参数,该函数就会默认调用throwErr()
函数并抛出错误。
如果将参数默认值设置为
undefined
则表示该参数是可以省略的。
rest参数
arguments
arguments
可以获得函数的参数值以及函数信息(name、length
)等
function au(arr){
console.log('arguments:',arguments);
}
au(2,1,4,3)
可以通过数组方法对函数参数进行操作,例如排序。
arguments
对象不是数组,而是一个类似数组的对象,为了使用数组的方法,必须使用Array.from
先将其转为数组。
function au(arr){
// 通过数组方法对函数参数进行排序
return Array.from(arguments).sort();
}
console.log(au(2,1,4,3)) // [1,2,3,4]
rest参数
ES6
提供了rest
参数,语法:(...变量名
),其实就是剩余运算符,通过rest
参数就可以很容易的对函数参数进行操作,并且rest
的参数是一个真正的数组。
// resy参数(剩余运算符)
function residue(...val){
console.log(val); // [1,2,3]
}
residue(1,2,3)
rest
参数(剩余运算符)只能放到最后一位
,否则报错
// function residue2(...val,b){} // 剩余运算符不是最后一位,报错
function residue3(c,...val){
console.log(c,val); // 1 [2,3,4,5]
}
residue3(1,2,3,4,5)
上面arguments
完成的参数排序,使用rest
可以很轻松的做到,并且语义更强,更方便阅读。
let au2 = (...val) => val.sort()
console.log(au2(2,1,4,3)); // [1, 2, 3, 4]
严格模式
ES5
开始,函数内部可以设定为严格模式: function s(){ 'use strict'// 严格模式 }
// es5严格模式
function s(){
'use strict' // 严格模式
// 代码.....
}
ES6
做了修改,规定只要函数参数使用了默认值、解构赋值、扩展运算符,那么函数内部就不能显示设定为严格模式,否则报错。
// es6严格模式 报错,因为设置了函数默认值
function s2(a,b = a){
'use strict'
// 代码.....
}
// 报错,使用了解构赋值
const s3 = function({a,b}){
'use strict'
}
// 报错,使用了剩余运算符
const s4 = (...a) => {
'use strict'
}
es6
这样设置的原因是,函数内部的严格模式应该同样适用于函数体和函数参数,但是,函数执行的时候会先执行参数,再执行函数体,这样就有一些不严谨的情况,只有函数体中才能知道参数是否应该以严格模式执行,但是函数的参数确是先执行,所以es6
修改了函数参数关于严格模式的行为。
function s5(val = 070){
'use strict'
return val
}
s5() // 报错
这一段,函数的默认值是八进制070
,严格模式下不能使用前缀0
表示八进制,所以报错。
但实际上
是因为函数设置了默认参数的原因,函数先执行参数,再进函数体,由于es6
限制,报错。
有两种方法可以规避这种限制
第一种:设置全局严格模式
'use strict'
function s6(val = 100){
console.log(val);
}
s6() // 100
第二种方法:把函数嵌套在一个无参数的立即执行函数里
const s7 = () => {
'use strict'
let a;
return (function(val = 200){ return val })()
}
console.log(s7());
匿名函数的调用方法:在上述例子
(function(val = 200){return val})()
中,将整个return
的函数用()
套起来,尾部加一个()
调用即可,()
在函数中代表调用。
案例源码:https://gitee.com/wang_fan_w/es6-science-institute
如果觉得这篇文章对你有帮助,欢迎点亮一下star哟