考虑以下来自 ECMA-262 v5.1 的摘录（我最近在这个问题中看到）：
词法环境是一种规范类型，用于根据 ECMAScript 代码的词法嵌套结构定义标识符与特定变量和函数的关联。词法环境由环境记录和对外部词法环境的可能为空的引用组成。通常，词法环境与 ECMAScript 代码的某些特定句法结构相关联，例如 FunctionDeclaration、WithStatement 或 TryStatement 的 Catch 子句，并且每次评估此类代码时都会创建一个新的词法环境。
我认为这意味着catch子句主体会像函数一样提升自己的变量，但显然情况并非如此：
var a = 1;
try {
console.log(x); // ReferenceError
} catch(ex) {
console.log(a); // 1, not undefined
var a = 3;
}
有人知道为什么吗？另外，为什么catch子句需要自己的词法环境？
是的，catch子句确实有自己的词法环境。检查评估时会发生什么：它创建一个新的（从当前的派生）并将异常标识符绑定到它。当执行 catch 块时，当前的执行上下文 LexicalEnvironment被切换到新的执行上下文，而VariableEnvironment("其环境记录包含由VariableStatements和FunctionDeclarations"创建的绑定) 保持不变。
console.log(a); // undefined - declared from within the catch,
// but in the current VariableEnvironment
a = 1;
console.log(typeof ex); // undefined - no binding
try {
console.log(ex); // a ReferenceError in this LexicalEnvironment
} catch (ex) { // introducing the new LexicalEnvironment
console.log(ex); // …and it works here!
var a = 3; // variable declaration
}
有趣的事实：如果您尝试在子句中声明函数catch（尽管在块中语法无效，但通常会接受“函数声明语句”），它的作用域将变为当前作用域，VariableEnvironment因此将无法访问异常：
try {throw "some"} catch(x) { function y(){console.log(x, typeof x);} y(); }
// throws a ReferenceError for x ^
（更新：这在 ES6 中不再适用，其中块级函数声明有效并且在块范围内关闭）