なぜキャッチ句に独自のレキシカル環境があるのですか？

Question

は（私は最近this questionで見た）次の抜粋from ECMA-262 v5.1検討：

A語彙環境をECMAScriptのコードの字句入れ子構造に基づいて、特定の変数および関数への識別子の関連付けを定義するために使用される仕様のタイプであります。レキシカル環境は、環境レコードと、場合によっては、外部レキシカル環境へのヌル参照とからなる。通常、レキシカル環境は、FunctionDeclaration、WithStatement、TryStatementのCatch節などのECMAScriptコードの特定の構文構造に関連付けられ、そのようなコードが評価されるたびに新しいレキシカル環境が作成されます。

私は、関数が行うようcatch節のボディは独自の変数をホイストう意味と思ったが、どうやらthat's not the case：

var a = 1; 
try { 
    console.log(x); // ReferenceError 
} catch(ex) { 
    console.log(a); // 1, not undefined 
    var a = 3; 
} 

誰もがなぜ知っていますか？また、catch句にはそれ自身のレキシカル環境が必要なのはなぜですか？

Answer 1

はい、実際にはcatch節には独自のレキシカル環境があります。 happens when it is evaluated：新しいもの（現在のものから派生したもの）を作成し、それに例外識別子をバインドします。 catchブロックを実行すると、（VariableStatementsとFunctionDeclarationsで作成されたバインドを保持する環境レコードを持つ）は変更されずに、現在のExecution Context'sLexicalEnvironmentが新しいものに切り替わります。

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、ではもはや真実ではありませんブロックレベルの関数宣言は有効であり、ブロックスコープで閉じる）}