题目描述:
试问下列代码在终端会输出什么？
var b = 10;
(function b(){
b = 20;
console.log(b);
})();
上个月看到此题目时，困惑为什么不输出 20或者10，当我利用Chrome DevTools中 Call Stack工具分析运行过程时, 发现在具名立即执行函数 b 的调用栈是这样的结构
图.1 非严格模式调用栈
也就是说执行 b 时，可以访问到其 静态作用域给予的 window对象 以及 动态作用域给予的 this 和 变量对象(Vartiable Object)，按照常规思路，当在一个调用栈帧中访问一个变量时，会先从Local中开始查询，如果找不到，则再沿着 静态作用域链 寻找这个同名变量。如果仅观察Scope.Local里面是没有 b 这个变量的，所以接下来我们会在window里去找 b ， 于是找到了 在 VM727:5中 定义和赋值的 b = 10这个变量，从而认为终端会输出这个 b。 然而，我们忽略了一点，在调用栈中会保存其栈名，在其Scope内可以访问其栈名所指向的对象，所以相当于在Scope中会额外添加一个 名称为函数名的变量（这里为b），这样就会拦截从静态作用域链访问 位于 VM727:5中定义的 b 变量，所以就会在终端输出 b 这个具名立即执行函数了。 但是，读者可能会问，我明明在Scope中修改了 b 的值，为什么不改变呢，到这里实际上找到了一个关键问题：这里的 b 很明确表示 这个具名立即执行函数，我们通常是可以在一个函数中改变这个函数的（但这通常是通过静态作用域链来修改这个作为某个成员的函数)，但是能否不通过静态作用域链而直接改变这个栈名呢，换句话说，能否直接让这个 b 指向其他值或者对象呢。
答案应该可以从 ECMA 标准中找到的，由于时间关系难以深入钻研标准，于是我想到了严格模式，当在 b.Scope 中设置了严格模式的时候，新的现象发生了，错误表示 赋值给一个常量 ， 这说明 在具名立即执行函数中 函数名（栈名）是一个常数，无法修改，由于之前处于非严格模式，应该是静默处理而没有报错，所以无论怎么赋值给 b 输出的都是 [ Function : b ]。如果我们在b.Scope的任何地方添加一个名为 b 的变量（函参或直接定义）都会覆盖这个 b 栈名，所以这个栈名变量的地位与 Scope 中的变量又有些许不同。
图2. 严格模式调用栈
网友评论