JS的作用域和作用域链

前⾔

JavaScript 中有⼀个被称为作⽤域(Scope)的特性。虽然对于许多新⼿开发者来说，作⽤域的概念并不是
很容易理解，本⽂我会尽我所能⽤最简单的⽅式来解释作⽤域和作⽤域链，希望⼤家有所收获！

作⽤域(Scope)

1、什么是作⽤域

作⽤域是在运⾏时代码中的某些特定部分中变量，函数和对象的可访问性。换句话说，作⽤域决定了代
码区块中变量和其他资源的可⻅性。可能这两句话并不好理解，我们先来看个例⼦：

function outFun2() {
 var inVariable = "内层变量2"; }
outFun2();//要先执⾏这个函数，否则根本不知道⾥⾯是啥，定义了啥
console.log(inVariable); // Uncaught ReferenceError: inVariable is not defined

从上⾯的例⼦可以体会到作⽤域的概念，变量 inVariable 在全局作⽤域没有声明，所以在全局作⽤域下
取值会报错。我们可以这样理解：作⽤域就是⼀个独⽴的地盘，让变量不会外泄、暴露出去。也就是说
作⽤域最⼤的⽤处就是隔离变量，不同作⽤域下同名变量不会有冲突。
ES6 之前 JavaScript 没有块级作⽤域,只有全局作⽤域和函数作⽤域。
ES6 的到来，为我们提供了‘块级
作⽤域’,可通过新增命令 let 和 const 来体现。

2. 全局作⽤域和函数作⽤域

在代码中任何地⽅都能访问到的对象拥有全局作⽤域，⼀般来说以下⼏种情形拥有全局作⽤域：

• 最外层函数 和在最外层函数外⾯定义的变量拥有全局作⽤域

var outVariable = "我是最外层变量"; //最外层变量
function outFun() { //最外层函数
var inVariable = "内层变量";
function innerFun() { //内层函数
console.log(inVariable);
}
innerFun();
}
console.log(outVariable); //我是最外层变量
outFun(); //内层变量
console.log(inVariable); //inVariable is not defined
innerFun(); //innerFun is not defined

• 所有末定义直接赋值的变量⾃动声明为拥有全局作⽤域

function outFun2() {
 variable = "未定义直接赋值的变量";
 var inVariable2 = "内层变量2"; }
outFun2();//要先执⾏这个函数，否则根本不知道⾥⾯是啥
console.log(variable); //未定义直接赋值的变量
console.log(inVariable2); //inVariable2 is not defined

• 所有 window 对象的属性拥有全局作⽤域

⼀般情况下，window 对象的内置属性都拥有全局作⽤域，例如 window.name、window.location、
window.top 等等。
全局作⽤域有个弊端：如果我们写了很多⾏ JS 代码，变量定义都没有⽤函数包括，那么它们就全部都在
全局作⽤域中。这样就会 污染全局命名空间, 容易引起命名冲突。

// 张三写的代码中
var data = {a: 100}
// 李四写的代码中
var data = {x: true}

这就是为何 jQuery、Zepto 等库的源码，所有的代码都会放在 (function(){…})() 中。因为放在⾥⾯的所有变量，都不会被外泄和暴露，不会污染到外⾯，不会对其他的库或者 JS 脚本造成影响。这是函数作⽤域的⼀个体现。
函数作⽤域,是指声明在函数内部的变量，和全局作⽤域相反，局部作⽤域⼀般只在固定的代码⽚段内可
访问到，最常⻅的例如函数内部。

function doSomething(){
 var blogName="浪⾥⾏⾈";
 function innerSay(){
 alert(blogName);
 }
 innerSay();
}
alert(blogName); //脚本错误
innerSay(); //脚本错误

作⽤域是分层的，内层作⽤域可以访问外层作⽤域的变量，反之则不⾏。
我们看个例⼦，⽤泡泡来⽐喻作⽤域可能好理解⼀点：

最后输出的结果为 2, 4, 12

• 泡泡 1 是全局作⽤域，有标识符 foo；
• 泡泡 2 是作⽤域 foo，有标识符 a,bar,b；
• 泡泡3 是作⽤域 bar，仅有标识符 c。

值得注意的是：
块语句（⼤括号“｛｝”中间的语句），如 if 和 switch 条件语句或 for 和 while 循环语句，不像函数，它们不会创建⼀个新的作⽤域。
在块语句中定义的变量将保留在它们已经存在的作⽤域中。

if (true) {
 // 'if' 条件语句块不会创建⼀个新的作⽤域
 var name = 'Hammad'; // name 依然在全局作⽤域中
}
console.log(name); // logs 'Hammad'

JS 的初学者经常需要花点时间才能习惯变量提升，⽽如果不理解这种特有⾏为，就可能导致
bug 。正因为如此， ES6 引⼊了块级作⽤域，让变量的⽣命周期更加可控。

3. 块级作⽤域

块级作⽤域可通过新增命令 let 和 const 声明，所声明的变量在指定块的作⽤域外⽆法被访问。块级作⽤域在如下情况被创建：

1. 在⼀个函数内部
2. 在⼀个代码块（由⼀对花括号包裹）内部

let 声明的语法与 var 的语法⼀致。你基本上可以⽤ let 来代替 var 进⾏变量声明，但会将变量的作⽤域限制在当前代码块中。块级作⽤域有以下⼏个特点：

• 声明变量不会提升到代码块顶部

let/const 声明并不会被提升到当前代码块的顶部，因此你需要⼿动将 let/const 声明放置到顶部，以便让变量在整个代码块内部可⽤。

function getValue(condition) {
 if (condition) {
 let value = "blue";
 return value;
 } else {
 // value 在此处不可⽤
 console.log(value)
 return null;
 }
 // value 在此处不可⽤
}
getValue(false) // ReferenceError: value is not defined

• 禁⽌重复声明： var 允许重复声明，⽽ let 不允许重复声明

在相同的作⽤域（或执⾏上下⽂中）

• 如果使⽤ var/function 关键词声明变量并且重复声明，是不会有影响的（声明第⼀次之后，之后
  再遇到就不会再重复声明了）

• 但使⽤ let/const 就不⾏，浏览器会校验当前作⽤域中是否已经存在这个变量了，如果已经存在
  了，则再次基于 let 等重新声明就会报错

在浏览器开辟栈内存供代码⾃上⽽下执⾏之前，不仅有变量提升的操作，还有很多其他的操作 =>“词法解析”或者“词法检测”：就是检测当前即将要执⾏的代码是否会出现“语法错误 SyntaxError”，如果出现错误，代码将不会再执⾏（第⼀⾏都不会执⾏）

console.log(1) // => 这⾏代码就已经不会执⾏了
let a = 12
console.log(a)
let a = 13 // => 此⾏出错：SyntaxError: Identifier 'a' has already been
declared
console.log(a)

所谓重复就是：不管之前通过什么⽅法，只要当前栈内存中存在了这个变量，我们使⽤ let/const 等重复再声明这个变量就是语法错误。eg：

console.log(a)
var a = 12
let a = 13 // => SyntaxError: Identifier 'a' has already been declared
console.log(a)
console.log(a)
let a = 13
var a = 12 // => SyntaxError: Identifier 'a' has already been declared
console.log(a)

• 循环中的绑定块作⽤域的妙⽤

开发者可能最希望实现 for 循环的块级作⽤域了，因为可以把声明的计数器变量限制在循环内，例如，以下代码在 JS 经常⻅到：

<button>测试1</button>
<button>测试2</button>
<button>测试3</button>
<script type="text/javascript">
 var btns = document.getElementsByTagName('button')
 for (var i = 0; i < btns.length; i++) {
 btns[i].onclick = function () {
 console.log('第' + (i + 1) + '个')
 }
 }
</script>

我们要实现这样的⼀个需求: 点击某个按钮, 提示"点击的是第 n 个按钮",此处我们先不考虑事件代理,万万没想到，点击任意⼀个按钮，后台都是弹出“第四个”,这是因为 i 是全局变量,执⾏到点击事件时，此时 i的值为 3。那该如何修改，最简单的是⽤ let 声明 i

for (let i = 0; i < btns.length; i++) {
 btns[i].onclick = function () {
 console.log('第' + (i + 1) + '个')
 }
 }

作⽤域链

1.什么是⾃由变量

⾸先认识⼀下什么叫做 ⾃由变量 。如下代码中， console.log(a) 要得到 a 变量，但是在当前的作⽤
域中没有定义 a（可对⽐⼀下 b）。当前作⽤域没有定义的变量，这成为 ⾃由变量 。⾃由变量的值如何得到 —— 向⽗级作⽤域寻找（注意：这种说法并不严谨，下⽂会重点解释）。

var a = 100
function fn() {
 var b = 200
 console.log(a) // 这⾥的a在这⾥就是⼀个⾃由变量
 console.log(b) }
fn()

2. 什么是作⽤域链

如果⽗级也没呢？再⼀层⼀层向上寻找，直到找到全局作⽤域还是没找到，就宣布放弃。这种⼀层⼀层的关系，就是 作⽤域链 。

var a = 100
function F1() {
 var b = 200
 function F2() {
 var c = 300
 console.log(a) // ⾃由变量，顺作⽤域链向⽗作⽤域找
 console.log(b) // ⾃由变量，顺作⽤域链向⽗作⽤域找
 console.log(c) // 本作⽤域的变量
 }
 F2()
}
F1()

3. 关于⾃由变量的取值

关于⾃由变量的值，上⽂提到要到⽗作⽤域中取，其实有时候这种解释会产⽣歧义。

var x = 10
function fn() {
 console.log(x) }
function show(f) {
 var x = 20
 (function() {
 f() //10，⽽不是20
 })()
}
show(fn)

在 fn 函数中，取⾃由变量 x 的值时，要到哪个作⽤域中取？——要到创建 fn 函数的那个作⽤域中取，⽆论 fn 函数将在哪⾥调⽤。

注意点：函数找上级作⽤域时，有⼀个准则：它的亲爹妈是谁，上级作⽤域就是谁，即它在哪⼉创建的，上级作⽤域就是谁。

var a = 0,
 b = 0
function A(a) {
 A = function (b) {
 console.log(a + b++)
 }
 console.log(a++) }
 A(1) 
 A(2)

相关练习题：https://blog.csdn.net/a1056244734/article/details/107160245

作⽤域与执⾏上下⽂

许多开发⼈员经常混淆作⽤域和执⾏上下⽂的概念，误认为它们是相同的概念，但事实并⾮如此。
我们知道 JavaScript 属于解释型语⾔，JavaScript 的执⾏分为：解释和执⾏两个阶段,这两个阶段所做的
事并不⼀样：
解释阶段：

• 词法分析
• 语法分析
• 作⽤域规则确定

执⾏阶段：

• 创建执⾏上下⽂
• 执⾏函数代码
• 垃圾回收

JavaScript 解释阶段便会确定作⽤域规则，因此作⽤域在函数定义时就已经确定了，⽽不是在函数调⽤时确定，但是执⾏上下⽂是函数执⾏之前创建的。执⾏上下⽂最明显的就是 this 的指向是执⾏时确定的。⽽作⽤域访问的变量是编写代码的结构确定的。
作⽤域和执⾏上下⽂之间最⼤的区别是：
执⾏上下⽂在运⾏时确定，随时可能改变；作⽤域在定义时就确定，并且不会改变。
⼀个作⽤域下可能包含若⼲个上下⽂环境。有可能从来没有过上下⽂环境（函数从来就没有被调⽤过）；有可能有过，现在函数被调⽤完毕后，上下⽂环境被销毁了；有可能同时存在⼀个或多个（闭包）。
同⼀个作⽤域下，不同的调⽤会产⽣不同的执⾏上下⽂环境，继⽽产⽣不同的变量的值。

参考⽂章和书籍

深⼊理解 javascript 原型和闭包系列
Web 前端⾯试指南与⾼频考题解析
深⼊理解 JS 中声明提升、作⽤域（链）和 this 关键字
JavaScript 开发进阶：理解 JavaScript 作⽤域和作⽤域链
JavaScript 作⽤域和作⽤域链
深⼊理解 ES6