次のページへ■関数リテラルとFunctionコンストラクタにおけるスコープの違い前回、関数を定義する構文として「関数リテラル」と「Functionコンストラクタ」について紹介した。関数リテラル、Functionコンストラクタは構文的な違いこそあるものの、いずれも匿名関数を定義するという意味でほぼ同様の機能を提供する。関数内で入れ子に関数リテラル/Functionコンストラクタを使用した場合には、スコープの解釈が互いに異なる点に要注意。以下に、具体的なコード例を挙げてみよう。結果を見ても分かるように、Functionコンストラクタはグローバル変数numを参照しているのに対して、関数リテラルがローカル変数numを参照しているのだ。parameter.(スコープとしてグローバル・オブジェクトで構成されるスコープ・チェーンを引き渡す)」とあり、この動作が正しいことが理解できる(スコープ・チェーンについては、後述のコラムを参照)。仮引数とは、関数に引き渡される変数のことだ。仮引数に指定した変数は、通常、ローカル変数として処理される。以下のコードで、実際にそのことを確認してみよう。仮引数のスコープを確認するコードここでは、まず[A]でグローバル変数xに「1」が代入される。次に[B]によって関数refが呼び出されるわけであるが、その内部で使用されている仮引数xはローカル変数の扱いであるので、これをいくら操作してもグローバル変数xには影響を及ぼさない。実際、ここではローカル変数xにまず「10」を与え、その後、1インクリメントしているわけであるが、[C]の結果を見ても、もともとのグローバル変数xには影響が及んでいないことが確認できる。ここまでは比較的容易に理解できるところであるが、これに先ほども紹介した参照型が絡んでくると、(難しくはないが)やや混乱するおそれがあるので注意されたい。リスト16のようなコードを見てみよう。前述したように、JavaScriptにおいて配列は参照型であり、参照型の値は参照渡しされる。この場合、まず[A]でグローバル変数xに配列が代入される。次に[B]で関数refが呼び出され、仮引数xが生成される。繰り返しであるが、仮引数は自動的にローカル変数と見なされるので、ここで[A]のグローバル変数xと仮引数(ローカル変数)xは別物である。値自体は参照渡しされているので、結果的に同一の値を参照しているわけだ。従って、関数の中で配列に対して操作を行った場合、その結果はグローバル変数にも反映されることになる([C])。このような挙動は、参照型の概念を理解してさえいれば、難なく理解できるものであるが、グローバル変数/ローカル変数とも絡んでくると混乱のモトとなるので、確と整理しておきたい。Object(通称「Callオブジェクト」)のプロパティとして格納している。すると、グローバル変数も何らかのオブジェクトのプロパティなのではないかと思えてきた方はご明察。JavaScriptは、JavaScriptコードを実行するタイミングで、グローバル変数を「Globalオブジェクト」のプロパティとして格納している*2。同様に、JavaScriptで提供されているevalやisNaN、isFiniteのような関数も、その実体はGlobalオブジェクトのメソッドであると解釈できる。Globalオブジェクトは(先のCallオブジェクトがそうであったように)アプリケーション側から明示的に生成したり呼び出したりすることはできないし、通常は意識すらすることのない存在であるのだが、Global/Callオブジェクトを意識してみると見えてくることもある。繰り返しであるが、JavaScriptはコードの実行時、関数の呼び出し時に、それぞれ新しいGlobal/Callオブジェクトを生成する。これらのオブジェクトを、呼び出しの順に連結したリストを「スコープ・チェーン」と呼ぶ。JavaScriptでは、変数を解決する際に、このスコープ・チェーンの先頭に位置するオブジェクトから順にプロパティを検索して、合致したプロパティが見つかればその値を、見つからなければ次のオブジェクトを検索するのだ。参照すべき変数の定義を検索するスコープ・チェーン例えば、入れ子の関数内で記述された変数の場合、スコープ・チェーンには、先頭から、内部のCallオブジェクト、外部のCallオブジェクト、そして、Globalオブジェクトが含まれているはずだ。そこで、この順番でプロパティの有無が確認され、最初に見つかったところの値が返されるというわけだ。最末尾のGlobalオブジェクトでも合致するプロパティが見つからなかった場合、その変数は未定義であると見なされる。スコープ・チェーンは、それぞれの実行コンテキスト(個々の関数の実行)ごとに形成される。これによって、JavaScriptは実行コンテキストごとにローカル変数の独立性を保証しているわけである。メールマガジンをご購読ください。申し込みページへITmediaはアイティメディア株式会社の登録商標です。