几乎所有编程语言就是在变量中存储值,并且能读取和修改此值。事实上,在变量中存储值和取出值的能力,给程序赋予了状态。 如果没有这样的概念,一个程序虽然可以执行一些任务,但是它们将会受到极大的限制而且不会非常有趣。 但是这些变量该存储在哪,又该如何读取?为了完成这个目标,需要制定一些规则,这个规则就是:作用域。
常见的作用域主要分为几个类型:全局作用域、函数作用域、块状作用域、动态作用域。
对象 | 类型 |
---|---|
global/window | 全局作用域 |
function | 函数作用域(局部作用域) |
{} | 块状作用域 |
this | 动态作用域 |
TIP
如果一个 变量 或者其他表达式不在 “当前的作用域”,那么JavaScript机制会继续沿着作用域链上查找直到全局作用域(global或浏览器中的window)如果找不到将不可被使用。 作用域也可以根据代码层次分层,以便子作用域可以访问父作用域,通常是指沿着链式的作用域链查找,而不能从父作用域引用子作用域中的变量和引用
变量在函数或者代码块 {}
外定义,即为全局作用域。不过,在函数或者代码块 {}
内未定义的变量也是拥有全局作用域的(不推荐)。
var course = "es5"
// 此处可调用 course 变量
function myFunction() {
// 函数内可调用 course 变量
}
上述代码中变量 course
就是在函数外定义的,它是拥有全局作用域的。这个变量可以在任意地方被读取或者修改,当然如果变量在函数内没有声明(没有使用 var 关键字),该变量依然为全局变量。
// 此处可调用 course 变量
function myFunction() {
course = "es"
// 此处可调用 course 变量
}
以上实例中 course 在函数内,但是拥有全局作用域,它将作为 global 或者 window 的属性存在。
注意
在函数内部或代码块中没有定义的变量实际上是作为 window/global 的属性存在,而不是全局变量。换句话说没有使用 var 定义的变量虽然拥有全局作用域,但是它是可以被 delete 的,而全局变量不可以。
参考:https://www.runoob.com/js/js-scope.html
在函数内部定义的变量,就是局部作用域。函数作用域内,对外是封闭的,从外层的作用域无法直接访问函数内部的作用域!
function bar() {
var testValue = 'inner'
}
console.log(testValue) // 报错:ReferenceError: testValue is not defined
如果想读取函数内的变量,必须借助 return 或者闭包。
function bar(value) {
var testValue = 'inner'
return testValue + value
}
console.log(bar('fun')) // "innerfun"
这是借助 return 的方式,下面是闭包的方式:
function bar(value) {
var testValue = 'inner'
var rusult = testValue + value
function innser() {
return rusult
}
return innser()
}
console.log(bar('fun')) // "innerfun"
通俗的讲,return 是函数对外交流的出口,而 return 可以返回的是函数,根据作用域的规则,函数内部的子函数是可以获取函数作用域内的变量的。
在其他编程语言中,块状作用域是很熟悉的概念,但是在JavaScript中不被支持,就像上述知识一样,除了全局作用域就是函数作用域,一直没有自己的块状作用域。在 ES6 中已经改变了这个现象,块状作用域得到普及。关于什么是块,只要认识 {}
就可以了。
if (true) {
let a = 1
console.log(a)
}
在 JavaScript 中很多同学对 this 的指向时而清楚时而模糊,其实结合作用域会对 this 有一个清晰的理解。不妨先来看下这段代码:
window.a = 3
function test() {
console.log(this.a)
}
test.bind({
a: 2
})() // 2
test() // 3
在这里 bind 已经把作用域的范围进行了修改指向了 `{ a: 2 }`
,而 this 指向的是当前作用域对象,是不是可以清楚的理解了呢?
接下来我们再思考另一个问题:作用域是在代码编写的时候就已经决定了呢,还是在代码执行的过程中才决定的?
var course = " es"
// 此处可调用 course 变量
function myFunction() {
// 函数内可调用 course 变量
}
在看看这段代码,写代码的时候就知道 course 就是全局作用域,函数内部的用 var 定义的变量就是函数作用域。这个也就是专业术语:词法作用域。 通俗的讲变量的作用域是在定义时决定而不是执行时决定,也就是说词法作用域取决于源码,通过静态分析就能确定,因此词法作用域也叫做静态作用域。 相反,只能在执行阶段才能决定变量的作用域,那就是动态作用域。
ES6 新增了let命令,用来声明变量。
这就意味着,你不可以通过 window. 变量名 的方式访问这些变量,而 var 声明的全局变量是 window 的属性,是可以通过 window. 变量名 的方式访问的。
var a = 5
console.log(window.a) // 5
let a = 5
console.log(window.a) // undefined
这个很容易理解,使用 var 可以重复定义,使用 let 却不可以。
var a = 5
var a = 6
console.log(a) // 6
如果是 let ,则会报错
let a = 5
let a = 6
// VM131:1 Uncaught SyntaxError: Identifier 'a' has already been declared
// at :1:1
function foo() {
console.log(a)
var a = 5
}
foo() //undefined
上述代码中, a
的调用在声明之前,所以它的值是 undefined,而不是 Uncaught ReferenceError。实际上因为 var 会导致变量提升,上述代码和下面的代码等同:
function foo() {
var a
console.log(a)
a = 5
}
foo() //undefined
而对于 let 而言,变量的调用是不能先于声明的,看如下代码:
function foo() {
console.log(a)
let a = 5
}
foo()
// Uncaught ReferenceError: Cannot access 'a' before initialization
在这个代码中, a
的调用是在声明之前,因为 let 没有发生变量提升,所有读取 a 的时候,并没有找到,而在调用之后才找到 let 对 a
的定义,所以按照 tc39 的定义会报错。
只要块级作用域内存在 let
命令,它所声明的变量就绑定在了这个区域,不再受外部的影响。
var a = 5
if (true) {
a = 6
let a
}
// Uncaught ReferenceError: Cannot access 'a' before initialization
上面代码中,存在全局变量 a
,但是块级作用域内 let
又声明了一个局部变量 a
,导致后者绑定这个块级作用域,所以在let声明变量前,对 a
赋值会报错。
ES6 明确规定,如果区块中存在 let
和 const
命令,这个区块对这些命令声明的变量,从一开始就形成了封闭作用域。凡是在声明之前就使用这些变量,就会报错。
总之,在代码块内,使用 let
命令声明变量之前,该变量都是不可用的。这在语法上,称为“暂时性死区”
有时“暂时性死区”比较隐蔽,比如:
function foo(b = a, a = 2) {
console.log(a, b)
}
foo()
// Uncaught ReferenceError: Cannot access 'a' before initialization
let实际上为 JavaScript 新增了块级作用域
{
let a = 5
}
console.log(a) // undefined
a
变量是在代码块 {}
中使用 let 定义的,它的作用域是这个代码块内部,外部无法访问。
我们再看一个项目中很常见的 for
循环:
for (var i = 0; i < 3; i++) {
console.log('循环内:' + i) // 0、1、2
}
console.log('循环外:' + i) // 3
如果改为 let
会怎么样呢?
for (let i = 0; i < 3; i++) {
console.log('循环内:' + i) // 0、1、2
}
console.log('循环外:' + i) // ReferenceError: i is not defined
继续看下面两个例子的对比,这时 a
的值又是多少呢?
if (false) {
var a = 5
}
console.log(a) // undefined
if (false) {
let a = 5
}
console.log(a)
// Uncaught ReferenceError: a is not defined
请问 i
的值是多少?
for (var i = 0; i < 3; i++) {
setTimeout(function() {
console.log(i)
})
}
// 3、3、3
答案是3次3。
但我希望的值是0、1、2,也就是每次保存住循环时候 i
的值,应该如何做呢?
方案1:闭包
for (var i = 0; i < 3; i++) {
(function(j) {
setTimeout(function() {
console.log(j)
})
})(i)
}
方案2:使用let
for (let i = 0; i < 3; i++) {
setTimeout(function() {
console.log(i)
})
}
大家可以把上面这段代码粘贴到 babel
中:https://www.babeljs.cn/repl , 看下经过 babel
转化为的 ES5
代码是什么样子的。
大家会发现其实 babel
把这段代码转化成了闭包的形式:
"use strict"
var _loop = function _loop(i) {
setTimeout(function() {
console.log(i)
})
}
for (var i = 0; i < 3; i++) {
_loop(i)
}
相信通过这个思考题,大家对于 let
关键字的使用会有进一步的理解。
总结
使用let声明的变量:
不能被改变的叫做常量,请大家思考在 ES5
中如何定义一个常量呢?
ES5
中可以使用 Object.defineProperty()
来实现定义常量:
Object.defineProperty(window, 'PI', {
value: 3.14,
writable: false
})
console.log(PI)
PI = 5
console.log(PI)
const
除了具有 let
的块级作用域和不会变量提升外,还有就是它定义的是常量,在用 const
定义变量后,我们就不能修改它了,对变量的修改会抛出异常。
const PI = 3.1415
console.log(PI)
PI = 5
console.log(PI)
// Uncaught TypeError: Assignment to constant variable.
这个代码块中因为对 PI
尝试修改,导致浏览器报错,这就说明 const 定义的变量是不能被修改的,它是只读的。聪明的同学一定会发现只读属性是不是一定要进行初始化呢?
const PI
PI = 3.1415
// Uncaught SyntaxError: Missing initializer in const declaration
注意
const 声明的变量必须进行初始化,不然会抛出异常 Uncaught SyntaxError: Missing initializer in const declaration。
const obj = {
name: 'test',
age: 18
}
obj.school = 'abc'
console.log(obj)
// {name: "test", age: 18, school: "abc"}
大家会发现 const
定义的 obj
竟然被改变了… 这到底是为什么呢?有点懵啊…
这时我们就需要了解JS中的变量是如何存储的,见下图:
基本数据类型存储在 栈内存
中,引用数据类型存储在 堆内存
中然后在栈内存中保存 引用地址
。
TIP
const
实际上保证的并不是变量的值不得改动,而是变量指向的那个内存地址所保存的数据不得改动。
如何让对象或者数组这种引用数据类型也不被改变呢?
Object.freeze(obj)
注意
Object.freeze()
只是浅层冻结,只会对最近一层的对象进行冻结,并不会对深层对象冻结。
总结
使用const声明的常量:
在 ES6 中新增了变量赋值的方式:解构赋值。允许按照一定模式,从数组和对象中提取值,对变量进行赋值。如果对这个概念不了解,我们可以快速展示一个小示例一睹风采:
let arr = [1, 2, 3]
let a = arr[0]
let b = arr[1]
let c = arr[2]
想从数组中找出有意义的项要单独赋值给变量,在 ES6 中就可以这样写了:
let [a, b, c] = [1, 2, 3]
TIP
解构赋值重点是在赋值,赋值的元素是要拷贝出来赋值给变量,赋值的元素本身是不会被改变的。
是不是非常的简洁,在解构赋值里用的最多的就是 Object 和 Array ,我们可以分别来看下两者的解构赋值是如何操作的。
上述的小示例已经在描述数组的解构赋值了,可是那只是开始。
赋值元素可以是任意可遍历的对象
赋值的元素不仅是数组,它可以是任意可遍历的对象
let [a, b, c] = "abc" // ["a", "b", "c"]
let [one, two, three] = new Set([1, 2, 3])
左边的变量
被赋值的变量还可以是对象的属性,不局限于单纯的变量。
let user = {}
[user.firstName, user.secondName] = 'Kobe Bryant'.split(' ')
console.log(user.firstName, user.secondName) // Kobe Bryant
循环体
解构赋值在循环体中的应用,可以配合 entries 使用。
let user = {
name: 'John',
age: 30
}
// loop over keys-and-values
for (let [key, value] of Object.entries(user)) {
console.log(`${key}:${value}`) // name:John, then age:30
}
当然,对于 map 对象依然适用:
let user = new Map()
user.set('name', 'John')
user.set('age', '30')
for (let [key, value] of user.entries()) {
console.log(`${key}:${value}`) // name:John, then age:30
}
可以跳过赋值元素
如果想忽略数组的某个元素对变量进行赋值,可以使用逗号来处理。
// second element is not needed
let [name, , title] = ['John', 'Jim', 'Sun', 'Moon']
console.log( title ) // Sun
rest 参数
let [name1, name2, ...rest] = ["Julius", "Caesar", "Consul", "of the Roman Republic"]
console.log(name1) // Julius
console.log(name2) // Caesar
// Note that type of `rest` is Array.
console.log(rest[0]) // Consul
console.log(rest[1]) // of the Roman Republic
console.log(rest.length) // 2
注意
我们可以使用 rest 来接受赋值数组的剩余元素,不过要确保这个 rest 参数是放在被赋值变量的最后一个位置上。
默认值
如果数组的内容少于变量的个数,并不会报错,没有分配到内容的变量会是 undefined。
let [firstName, surname] = []
console.log(firstName) // undefined
console.log(surname) // undefined
当然你也可以给变量赋予默认值,防止 undefined 的情况出现:
// default values
let [name = "Guest", surname = "Anonymous"] = ["Julius"]
console.log(name) // Julius (from array)
console.log(surname) // Anonymous (default used)
解构赋值除了可以应用在 Array,也可以应用在 Object。基本的语法如下:
> let {var1, var2} = {var1:…, var2…}
大致的意思是我们有一个 Object 想把里面的属性分别拿出来而无需通过调用属性的方式赋值给指定的变量。具体的做法是在赋值的左侧声明一个和 Object 结构等同的模板,然后把关心属性的 value 指定为新的变量即可。
```
let options = {
title: "Menu",
width: 100,
height: 200
}
let {title, width, height} = options
console.log(title) // Menu
console.log(width) // 100
console.log(height) // 200
```
TIP
在这个结构赋值的过程中,左侧的“模板”结构要与右侧的 Object 一致,但是属性的顺序无需一致。
上述的赋值左侧是采用了对象简写的方式,类似于:
let {title: title, width: width, height: height} = options
如果不想这么写或者想使用其他的变量名,可以自定义的,如下:
let {width: w, height: h, title} = options
默认值
当然,这个赋值的过程中也是可以指定默认值的,这样做:
let options = {
title: "Menu"
}
let {width = 100, height = 200, title} = options
console.log(title) // Menu
console.log(width) // 100
console.log(height) // 200
rest 运算符
如果我们想象操作数组一样,只关心指定的属性,其他可以暂存到一个变量下,这就要用到 rest 运算符了
let options = {
title: "Menu",
height: 200,
width: 100
}
let {title, ...rest} = options
// now title="Menu", rest={height: 200, width: 100}
console.log(rest.height) // 200
console.log(rest.width) // 100
嵌套对象
如果一个 Array 或者 Object 比较复杂,它嵌套了 Array 或者 Object,那只要被赋值的结构和右侧赋值的元素一致就好了。
let options = {
size: {
width: 100,
height: 200
},
items: ["Cake", "Donut"],
extra: true // something extra that we will not destruct
}
// destructuring assignment on multiple lines for clarity
let {
size: { // put size here
width,
height
},
items: [item1, item2], // assign items here
title = 'Menu' // not present in the object (default value is used)
} = options
console.log(title) // Menu
console.log(width) // 100
console.log(height) // 200
console.log(item1) // Cake
console.log(item2) // Donut
可以当做是数组的解构:
let str = 'imooc'
let [a, b, c, d, e] = str
console.log(a, b, c, d, e)