沙井做网站,如何设计app,wordpress 标签绑定二级域名,WordPress主题分页代码执行上下文与作用域
执行上下文的概念在 JavaScript 中是颇为重要的。变量或函数的上下文决定了它们可以访问哪些数据#xff0c;以及它们的行为。每个上下文都有一个关联的变量对象#xff08;variable object#xff09;#xff0c; 而这个上下文中定义的所有变量和函…执行上下文与作用域
执行上下文的概念在 JavaScript 中是颇为重要的。变量或函数的上下文决定了它们可以访问哪些数据以及它们的行为。每个上下文都有一个关联的变量对象variable object 而这个上下文中定义的所有变量和函数都存在于这个对象上。虽然无法通过代码访问变量对象但后台处理数据会用到它。
全局上下文是最外层的上下文。根据 ECMAScript 实现的宿主环境表示全局上下文的对象可能不一 样。在浏览器中全局上下文就是我们常说的 window 对象因此所有通过 var 定义的全局变量和函数都会成为 window 对象的属性和方法。使用 let 和 const 的顶级声明不会定义在全局上下文中但在作用域链解析上效果是一样的。上下文在其所有代码都执行完毕后会被销毁包括定义在它上面的所有变量和函数全局上下文在应用程序退出前才会被销毁比如关闭网页或退出浏览器。
每个函数调用都有自己的上下文。当代码执行流进入函数时函数的上下文被推到一个上下文栈上。 在函数执行完之后上下文栈会弹出该函数上下文将控制权返还给之前的执行上下文。ECMAScript 程序的执行流就是通过这个上下文栈进行控制的。
上下文中的代码在执行的时候会创建变量对象的一个作用域链scope chain。这个作用域链决定了各级上下文中的代码在访问变量和函数时的顺序。代码正在执行的上下文的变量对象始终位于作用域链的最前端。如果上下文是函数则其活动对象activation object用作变量对象。活动对象最初只有一个定义变量arguments。全局上下文中没有这个变量。作用域链中的下一个变量对象来自包含上下文再下一个对象来自再下一个包含上下文。以此类推直至全局上下文全局上下文的变量对象始终是作用域链的最后一个变量对象。
代码执行时的标识符解析是通过沿作用域链逐级搜索标识符名称完成的。搜索过程始终从作用域链的最前端开始然后逐级往后直到找到标识符。如果没有找到标识符那么通常会报错。
看一看下面这个例子
var color blue;
function changeColor() { if (color blue) { color red; } else { color blue; }
}
changeColor(); 对这个例子而言函数 changeColor() 的作用域链包含两个对象一个是它自己的变量对象就是定义 arguments 对象的那个另一个是全局上下文的变量对象。这个函数内部之所以能够访问变量 color就是因为可以在作用域链中找到它。
此外局部作用域中定义的变量可用于在局部上下文中替换全局变量。看一看下面这个例子
var color blue;
function changeColor() { let anotherColor red; function swapColors() { let tempColor anotherColor; anotherColor color; color tempColor; // 局部作用域中定义的变量tempColor替换全局变量color// 这里可以访问 color、anotherColor 和 tempColor} // 这里可以访问 color 和 anotherColor但访问不到 tempColor swapColors();
}
// 这里只能访问 color
changeColor(); 以上代码涉及 3 个上下文全局上下文、changeColor()的局部上下文和 swapColors()的局部上下文。
全局上下文中有一个变量 color 和一个函数 changeColor()。
changeColor()的局部上下文中有一个变量 anotherColor 和一个函数 swapColors()但在这里可以访问全局上下文中的变量 color。
swapColors()的局部上下文中有一个变量 tempColor只能在这个上下文中访问到。全局上下文和 changeColor()的局部上下文都无法访问到 tempColor。而在 swapColors()中则可以访问另外两个上下文中的变量因为它们都是父上下文。
矩形表示不同的上下文。内部上下文可以通过作用域链访问外部上下文中的一切但外部上下文无法访问内部上下文中的任何东西。上下文之间的连接是线性的、有序的。每个上下文都可以到上一级上下文中去搜索变量和函数但任何上下文都不能到下一级上下文中去搜索。
swapColors() 局部上下文的作用域链中有 3 个对象swapColors()的变量对象、changeColor()的变量对象和全局变量对象。swapColors()的局部上下文首先从自己的变量对象开始搜索变量和函数搜不到就去搜索 上一级变量对象。changeColor()上下文的作用域链中只有 2 个对象它自己的变量对象和全局变量 对象。因此它不能访问 swapColors()的上下文。
注意函数参数被认为是当前上下文中的变量因此也跟上下文中的其他变量遵循相同的访问规则。
作用域链增强
虽然执行上下文主要有全局上下文和函数上下文两种eval()调用内部存在第三种上下文但有其他方式来增强作用域链。某些语句会导致在作用域链前端临时添加一个上下文这个上下文在代码执行后会被删除。通常在两种情况下会出现这个现象即代码执行到下面任意一种情况时
try/catch 语句的 catch 块with 语句
这两种情况下都会在作用域链前端添加一个变量对象。对 with 语句来说会向作用域链前端添加指定的对象对 catch 语句而言则会创建一个新的变量对象这个变量对象会包含要抛出的错误对象的声明。看下面的例子
function buildUrl() { let qs ?debugtrue; with(location){ let url href qs; } return url;
} 这里with 语句将 location 对象作为上下文因此 location 会被添加到作用域链前端。 buildUrl()函数中定义了一个变量 qs。当 with 语句中的代码引用变量 href 时实际上引用的是 location.href也就是自己变量对象的属性。在引用 qs 时引用的则是定义在 buildUrl()中的那 个变量它定义在函数上下文的变量对象上。而在 with 语句中使用 var 声明的变量 url 会成为函数上下文的一部分可以作为函数的值被返回但像这里使用 let 声明的变量 url因为被限制在块级作用域所以在 with 块之外没有定义。
注意IE 的实现在 IE8 之前是有偏差的即它们会将 catch 语句中捕获的错误添加到执行上下文的变量对象上而不是 catch 语句的变量对象上导致在 catch 块外部都可以访问到错误。IE9 纠正了这个问题。
变量声明
ES6 之后JavaScript 的变量声明经历了翻天覆地的变化。直到 ECMAScript 5.1var 都是声明变量的唯一关键字。ES6 不仅增加了 let 和 const 两个关键字而且还让这两个关键字压倒性地超越 var 成为首选。
使用 var 的函数作用域声明
在使用 var 声明变量时变量会被自动添加到最接近的上下文。在函数中最接近的上下文就是函数的局部上下文。在 with 语句中最接近的上下文也是函数上下文。如果变量未经声明就被初始化了 那么它就会自动被添加到全局上下文如下面的例子所示 function add(num1, num2) { var sum num1 num2; return sum; }
let result add(10, 20); // 30
console.log(sum); // 报错sum 在这里不是有效变量 这里函数 add()定义了一个局部变量 sum保存加法操作的结果。这个值作为函数的值被返回 但变量 sum 在函数外部是访问不到的。如果省略上面例子中的关键字 var那么 sum 在 add()被调用之后就变成可以访问的了如下所示
function add(num1, num2) { sum num1 num2; return sum;
}
let result add(10, 20); // 30
console.log(sum); // 30 这一次变量 sum 被用加法操作的结果初始化时并没有使用 var 声明。在调用 add()之后sum 被添加到了全局上下文在函数退出之后依然存在从而在后面可以访问到。
注意未经声明而初始化变量是 JavaScript 编程中一个非常常见的错误会导致很多问题。 为此读者在初始化变量之前一定要先声明变量。在严格模式下未经声明就初始化变量会报错。
var 声明会被拿到函数或全局作用域的顶部位于作用域中所有代码之前。这个现象叫作“提升” hoisting。提升让同一作用域中的代码不必考虑变量是否已经声明就可以直接使用。可是在实践中提升也会导致合法却奇怪的现象即在变量声明之前使用变量。
function test() {{var name 小明;}console.log(name);
}test();// 小明function test1() {{let name 小明; // let 有块级作用域}console.log(name);
}test()1;// Uncaught ReferenceError: name is not defined下面的例子展示了在全局作用域中两段等价的代码
var name Jake; // 等价于
name Jake;
var name; 下面是两个等价的函数
function fn1() { var name Jake;
} // 等价于
function fn2() { var name; name Jake;
} 通过在声明之前打印变量可以验证变量会被提升。声明的提升意味着会输出 undefined 而不是 Reference Error
console.log(name); // undefined var name Jake;
function() { console.log(name); // undefined var name Jake;
} 使用 let 的块级作用域声明
ES6 新增的 let 关键字跟 var 很相似但它的作用域是块级的这也是 JavaScript 中的新概念。块级作用域由最近的一对包含花括号{}界定。换句话说if 块、while 块、function 块甚至连单独的块也是 let 声明变量的作用域。 if (true) { let a;}
console.log(a); // ReferenceError: a 没有定义while (true) { let b;
}
console.log(b); // ReferenceError: b 没有定义function foo() { let c;
}
console.log(c); // ReferenceError: c 没有定义// 这没什么可奇怪的var 声明也会导致报错// 这不是对象字面量而是一个独立的块 JavaScript 解释器会根据其中内容识别出它来
{ let d; }
console.log(d); // ReferenceError: d 没有定义 let 与 var 的另一个不同之处是在同一作用域内不能声明两次。重复的 var 声明会被忽略而重复的 let 声明会抛出 SyntaxError。
var a;
var a; // 不会报错 { let b; let b;
} // SyntaxError: 标识符 b 已经声明过了 let 的行为非常适合在循环中声明迭代变量。使用 var 声明的迭代变量会泄漏到循环外部这种情况应该避免。来看下面两个例子
for (var i 0; i 10; i) {}
console.log(i); // 10 for (let j 0; j 10; j) {}
console.log(j); // ReferenceError: j 没有定义 严格来讲let 在 JavaScript 运行时中也会被提升但由于“暂时性死区”temporal dead zone的缘故实际上不能在声明之前使用 let 变量。因此从写 JavaScript 代码的角度说let 的提升跟 var 是不一样的。
使用 const 的常量声明
除了 letES6 同时还增加了 const 关键字。使用 const 声明的变量必须同时初始化为某个值。 一经声明在其生命周期的任何时候都不能再重新赋予新值。
const a; // SyntaxError: 常量声明时没有初始化 const b 3;
console.log(b); // 3
b 4; // TypeError: 给常量赋值 const 除了要遵循以上规则其他方面与 let 声明是一样的
if (true) { const a 0;
}
console.log(a); // ReferenceError: a 没有定义 while (true) { const b 1;
}
console.log(b); // ReferenceError: b 没有定义 function foo() { const c 2;
}
console.log(c); // ReferenceError: c 没有定义 { const d 3;
}
console.log(d); // ReferenceError: d 没有定义const 声明只应用到顶级原语或者对象。换句话说赋值为对象的 const 变量不能再被重新赋值为其他引用值但对象的键则不受限制。
const o1 {};
o1 {}; // TypeError: 给常量赋值 const o2 {};
o2.name Jake;
console.log(o2.name); // Jake 如果想让整个对象都不能修改可以使用 Object.freeze()这样再给属性赋值时虽然不会报错 但会静默失败
const o3 Object.freeze({});
o3.name Jake;
console.log(o3.name); // undefined 由于 const 声明暗示变量的值是单一类型且不可修改JavaScript 运行时编译器可以将其所有实例都替换成实际的值而不会通过查询表进行变量查找。谷歌的 V8 引擎就执行这种优化。
注意开发实践表明如果开发流程并不会因此而受很大影响就应该尽可能地多使用 const 声明除非确实需要一个将来会重新赋值的变量。这样可以从根本上保证提前发现重新赋值导致的 bug。
标识符查找
当在特定上下文中为读取或写入而引用一个标识符时必须通过搜索确定这个标识符表示什么。搜索开始于作用域链前端以给定的名称搜索对应的标识符。如果在局部上下文中找到该标识符则搜索停止变量确定如果没有找到变量名则继续沿作用域链搜索。注意作用域链中的对象也有一个原型链因此搜索可能涉及每个对象的原型链。这个过程一直持续到搜索至全局上下文的变量对象。 如果仍然没有找到标识符则说明其未声明。 为更好地说明标识符查找我们来看一个例子
var color blue;
function getColor() { return color;
}
console.log(getColor()); // blue 在这个例子中调用函数 getColor()时会引用变量 color。为确定 color 的值会进行两步搜索。 第一步搜索 getColor()的变量对象查找名为 color 的标识符。结果没找到于是继续搜索下一个变量对象来自全局上下文然后就找到了名为 color 的标识符。因为全局变量对象上有 color 的定义所以搜索结束。
对这个搜索过程而言引用局部变量会让搜索自动停止而不继续搜索下一级变量对象。也就是说 如果局部上下文中有一个同名的标识符那就不能在该上下文中引用父上下文中的同名标识符如下面的例子所示 var color blue;
function getColor() { let color red;return color;
}
console.log(getColor()); // red 使用块级作用域声明并不会改变搜索流程但可以给词法层级添加额外的层次
var color blue;
function getColor() { let color red; { let color green;return color; }
}
console.log(getColor()); // green 在这个修改后的例子中getColor()内部声明了一个名为 color 的局部变量。在调用这个函数时 变量会被声明。在执行到函数返回语句时代码引用了变量 color。于是开始在局部上下文中搜索这个 标识符结果找到了值为’green’的变量 color。因为变量已找到搜索随即停止所以就使用这个局部变量。这意味着函数会返回’green’。在局部变量 color 声明之后的任何代码都无法访问全局变量 color除非使用完全限定的写法 window.color。
注意标识符查找并非没有代价。访问局部变量比访问全局变量要快因为不用切换作用域。不过JavaScript 引擎在优化标识符查找上做了很多工作将来这个差异可能就微不足道了。
总结
任何变量不管包含的是原始值还是引用值都存在于某个执行上下文中也称为作用域。这个上下文作用域决定了变量的生命周期以及它们可以访问代码的哪些部分。执行上下文可以总结如下。
执行上下文分全局上下文、函数上下文和块级上下文。代码执行流每进入一个新上下文都会创建一个作用域链用于搜索变量和函数。函数或块的局部上下文不仅可以访问自己作用域内的变量而且也可以访问任何包含上下文乃至全局上下文中的变量。全局上下文只能访问全局上下文中的变量和函数不能直接访问局部上下文中的任何数据。变量的执行上下文用于确定什么时候释放内存。
