スコープチェーンの実装について

Question

多くの初心者同様、javascriptのスコープチェーンというものがよくわかりません。
ある本では｢関数が生成されたスコープを表すオブジェクトの『集合体』｣と記述されています。

一方、ネットで調べると、変数オブジェクトを外側のブロックに向かって探していく｢仕組み｣、と記述されていたりします。

で、定義について探すと、以下のサイトが見つかりました。
http://dmitrysoshnikov.com/ecmascript/chapter-4-scope-chain/

scope chain is exactly this list of all (parent) variable objects for the inner contexts.

これがスコープチェーンの定義っぽいので、やはりlist(≒集合体?)を指す言葉のようですが、
結局、この｢集合体｣とはなんなのでしょうか。

以下のサイトでは
http://maeharin.hatenablog.com/entry/20130313/javascript_scopechain

ES3によるとScope Chainとは識別子の検索に使われるオブジェクトの「リスト」のこと
なお「リスト」という概念をどう実装するかはES3では定義されていない

と記述されています(ES3ですが...)。
つまり、スコープチェーンとは何らかの実装を伴ったもののはずで、
具体的にはどのような実装がされているものなのでしょうか。

また、人がスコープチェーンと言うとき、変数オブジェクトを探す｢仕組み｣、と言う意味も含んでいるものなのでしょうか。

よろしくお願いします。

Answer 1

実装の話は think49 さんの紹介された先を読んでいただくとして、スコープチェーンを仕組みと表現してもそれほど大きな間違いとも言えない気がしますけどねえ。
耳は細胞の集合体であるとともに音を聞くための仕組みを実装したものでもありますから。

Answer 2

ES3 のスコープチェーン(Scope Chain)とは「識別子評価時に走査するオブジェクトのリスト」を指します。
with 文、try-catch 文は例外として、下記オブジェクトがスコープチェーン上にリストアップされます。

• 関数コード … 内部プロパティ [[Scope]] が持つ Activation オブジェクト
• グローバルコード … グローバルオブジェクトのプロパティ

下記URLを参考にしてみてください。

• 10.1.4 スコープ連鎖と識別子の解決 - 10 実行コンテキスト (Execution Contexts)
• 変数のスコープについて

Re: mikaeri_begin さん

Comments

[mikaeri_begin]

「オブジェクトのリスト」の「リスト」という部分がすごいもやもやします...
JavaScriptにはlistは無いですよね
実装者が思い思いでリストを実装していて、まぁ配列のようなものと漠然と思っておけば良いのでしょうか

[think49]

[[Scope]] もスコープチェーンも ES3 の内部処理上のプロパティ/リストなのでプログラマが触れる範疇にはありません。
詳しくは親記事に載せたリンク先にあるのでそちらを参考にしてください。
それぞれ、「ES3 の日本語訳」「ES3 の日本語訳をした方が書いている記事」であり、内容の正確性は保証できます。

Answer 3

こちらが分かりやすかったです。
http://tacamy.hatenablog.com/entry/2012/12/31/005951

たとえば、「組織」といった場合、それを構成する個々のものは
目に見えますが、組織自体は目に見えませんよね。
同様に、目には見えないけどそれがあると仮定すると
分かりやすいもの、と考えてはいかがでしょうか。

Comments

[mikaeri_begin]

理解するために難しい部分には触れないでおくべき、ということでしょうか...
提示していただいたサイトでは
> 「親の Call オブジェクトの場所」の情報をたどっていくことによって、スコープチェーンが成り立ちます。
と記述されていますが、これだとまるでスコープチェーンという実体が存在しないもののように書かれてしまっています。

これに対し、例えば以下のサイトでは
> ES3によるとScope Chainとは識別子の検索に使われるオブジェクトの「リスト」のこと
> なお「リスト」という概念をどう実装するかはES3では定義されていない。
http://maeharin.hatenablog.com/entry/20130313/javascript_scopechain
と記述されています(ES3ですが...)。
つまり、スコープチェーンとは何らかの実装を伴ったもののはずですよね。
スコープチェーンが成り立つのは、「オブジェクトのリスト」が何らかの形で実装されているからであって、
具体的にはどのような実装がされているのか、気になるのです。

少し方向性が変わってしまって申し訳ありません。
このコメントに合わせて質問内容を修正いたします。

[takasima20]

申し訳ありませんが、私の手に余るご質問のようです。