ECMA262-Edition5.1読書会 第10条 実行可能コードと実行コンテキスト

第6回 ECMA-262 Edition5.1読書会での登壇資料です。
https://ecma262reading.doorkeeper.jp/events/15080

第10条を要約しました。

Transcript

1. ECMA262-Edition5.1読書会 第10条 実行可能コードと実行コンテキスト 2014/09/29 ワークスアプリケーションズ エンジニア 藤澤勇樹
2. 10.1 実行可能コードの種類  実行可能コードとは?  実行可能コードの種類は?
3. 実行可能コードとは？  文字通り、Javascripにおいて実行する ことができるテキストのこと
4. 実行可能コードの種類は? globalコード evalコード functionコード ・ECMAScriptのProgramとし て扱われるソーステキスト ・FunctionBodyのソーステキ ストは含まない ・eval関数に指定さ れたソーステキスト ・globalコードとし て認識される ・FunctionalBodyの一部として解 析されたソーステキストのこと ・コンストラクタである組み込み Functionオブジェクトを使った場 合のソーステキストを意味する ・globalコード、evalコード、functionコードの３種類
5. 10.2 レキシカル環境  レキシカル環境とは？  Environment Recordとは？  新しいレキシカル環境が作成されるタ イミングは？
6. レキシカル環境とは？ Environment Recordとは？  レキシカル環境は以下から構成される  Environment Record  nullである可能性のある外側のレキシカル 環境  Environment Recordとは、  それぞれの レキシカル環境のスコープで  識別子のバインディングを記録するための  オブジェクトである
7. レキシカル環境のスコープ （静的スコープ） A { var x; } B { var x; // A内のxとは別物 C { var y; // Cの内側からしか 見えない } } レキシカル環境のスコープ⇒静的スコープ function A() { var x = "A"; // 他の関数からはアクセスできない return x; } function B() { var x = "B"; // 関数Aの変数xとは別もの function C() { var y = "C"; return x + y; // 関数Bの変数xにアクセスできる } return C(); } alert(A()); // >>A alert(B()); // >>BC
8. 動的スコープ var x = 123 A { var x = 456 call C // 456と出力される } B { call C // 123と出力される } C { print x // 呼び出し元によって x の値が変わる } 静的スコープではない⇒動的スコープ
9. 新しいレキシカル環境が作成 されるタイミングは？  FunctinDeclatation, WithStatement, TryStatementのcatch節といったコードが 評価される度に作成される  第12, 13で定義される構文が評価される度  FunctinDeclatation：第13条  WithStatement：12.10  TryStatement：12.14
10. 10.2.1 Environment Record詳細  Environment Recordとは、 それぞれの レキシカル環境のスコープで 識別子のバインディングを記録するための オブジェクトである  Environment Record：抽象クラス  実装クラス1：宣言的Environmnt Record  実装クラス2：オブジェクトEnvironment Record
11. 宣言的Environmnt Record ・FunctinDeclatation：第13条 ・TryStatement：12.14 で定義される変数, function, 引数などで 利用される
12. 例：FunctinDeclatation "a", "b", "c"の全てが 宣言的Environmnt Record に関連づけられる function foo(a) { var b = 10; function c() {} }
13. 例：TryStatement try { ... } catch (e) { // "e" が宣言的Environment Recordにバインディングされる ... }
14. オブジェクトEnvironment Record  グローバルオブジェクトと WithStatementにて使用される  インターネットブラウザの場合 は、"window"がグローバルオブジェク トとなる
15. 例：グローバルオブジェクト (this, window) var a = 10; console.log(a); // 10 // "this" in the global context //is the global object itself console.log(this.a); // 10 // "window" is the reference to the // global object in the browser environment console.log(window.a); // 10
16. 例：WithStatement var foo; var baz; with (document) { //document.を省略できる foo = getElementById('foo'); baz = getElementsById('baz'); }
17. 例：WithStatement var a = 10; var b = 20; with ({a: 30}) { console.log(a + b); // 50 } console.log(a + b); // 30, restored
18. 10.3 実行コンテキスト global 実行コンテキスト 実行コンテキスト 実行中の 実行コンテキスト 実行コンテキストはスタックを形成している 実行終了 実行コンテキス トの生成
19. 10.3 実行コンテキスト LexicalEnvironment VariableEnvironment ThisBinding 実行コンテキストない に内のコードによって 作成された識別子リ ファレンスを解決する めに使用されたレキシ カル環境を識別する ・実行コンテキスト内にあ るVariableStatementsと FunctionDeclarationsに よって生成されたBinding を保持するEnvironment Recordであるレキシカル 環境を識別する ・この実行コンテキス トと関連づく ECMAScriptコード内 にあるthisキーワード に関連づけられた値 実行コンテキストの構成要素
20. 10.4 実行コンテキストの作成 ・実行可能コードを評価する度に作成さ れて、その実行コンテキストに入る ・制御が実行コンテキストに入る場合、 当該実行コンテキストのThisBindingが 設定され、そのVariableEnvironmentと 初期のLexicalEnvironmentが定義され、 宣言的バインディングインスタンス化 が実行される
21. 10.1-10.4のまとめ var a = 10; function foo() { var b = 20; console.log(a); } with ({a: 20}) { var bar = function () { console.log(a); }; foo(); bar(); }
22. 10.1-10.4のまとめ //global実行コンテキストの初期化 globalContext = { thisBinding: globalオブジェクト, //ブラウザであればｗindow variableEnvironment:{ 宣言的EnvironmentRecord:{} scope:globalEnv outer : null }, lexicalEnvironment:{ 宣言的EnvironmentRecord:{} scope:globalEnv outer : null } }
23. 10.1-10.4のまとめ var a = 10; ---------------------------------------- //バインディングオブジェクト a の作成 globalContext.variableEnvironment = { 宣言的EnvironmentRecord: {a: 10} };
24. 10.1-10.4のまとめ function foo() { var b = 20; console.log(a); } ---------------------------------------- //何もしない。実行時に評価される
25. 10.1-10.4のまとめ with ({a: 20}) { ---------------------------------------- //global実行コンテキストのlexicalEnvironmentを退避 previousEnvironment = globalContext.lexicalEnvironment; //新規lexicalEnvironmentの作成（レキシカル環境識別のため） globalContext.lexicalEnvironment = { オブジェクトEnvironmentRecord: {a: 20}, outer: globalContext.lexicalEnvironment };
26. 10.1-10.4のまとめ var bar = function () { console.log(a); } ---------------------------------------- //何もしない。実行時に評価される
27. 10.1-10.4のまとめ foo() //10が出力される ---------------------------------------- //foo Functionは、VariableEnvrionmentで定義されている点に注意 //新規実行コンテキストの作成と実行 fooContext = { thisBinding: globalオブジェクト, variableEnvironment:{ 宣言的EnvironmentRecord:{a:10 , b:20} scope:globalEnv outer : null } }
28. 10.1-10.4のまとめ bar() //20が出力される ---------------------------------------- //bar() Functionは、LexicalEnvrionmentで定義されている点に注意 //functionExpressions //新規実行コンテキストの作成と実行 barContext = { thisBinding: globalオブジェクト, lexicalEnvironment:{ オブジェクトEnvironmentRecord:{a:20} outer : globalEnv } }
29. 10.1-10.4のまとめ //withが終了すると、退避した環境をグローバルコンテキストに戻す globalContext.lexicalEnvironment = previousEnvironment;