静的スコープとスコープ連鎖とは

Question

静的スコープは、関数内関数で宣言した変数を関数内関数の外で参照できないが、その外にある変数を関数内関数で参照することをいい、スコープ連鎖が、その関数内関数から外側のブロックに向かって、変数を探していく仕組みのことを指すと認識しております。
プロトタイプチェーンのように、目的の値が見つかれば、外側に同名の値が存在した場合でもそれ以上遡ることはしません。
また、関数内関数から外にある変数を参照する仕組みをクロージャーと呼びます。

ところでこの静的スコープとスコープ連鎖の違いって何なのでしょうか。どちらも外側にある変数を参照しようとすることを指す言葉で、
違いが読み取れませんでした。

Answer 1

まず、静的スコープとは、言語におけるスコープ（アクセス可能な範囲）を指す言葉です。
別名でLexical Scopeとも呼ばれていて「プログラムを記述した時点でスコープが決まる」言語体系を指します。

次に、クロージャとは、ご理解のとおり関数外の変数を関数内で操作できる仕組みの事です。

Javascriptにはスコープ連鎖とプロトタイプ連鎖の2つがあります。
これらはいずれも「最初に自身のメンバを探索し、なければ上位層へと探索を進める仕組み」で、
それぞれ探す場所が異なります。

• スコープ連鎖：Activation Object（関数スコープ）に対する連鎖
• プロトタイプ連鎖：Function.Prototypeに対する連鎖

代表例として以下のような順序で探索していきます。

1. Inner functionのスコープ
2. Inner functionのプロトタイプ
3. Outer functionのスコープ
4. Outer functionのプロトタイプ
5. グローバルスコープ

つまり、スコープ→プロトタイプの順番に内→外に連鎖しているということですね。
このように一番近いオブジェクトを参照するための仕組みを「Masking」と呼びます。
「グローバル＞Outer＞Inner」のように階層ごとに同名の変数を定義できる仕組みを「Shadowing」と呼びます。

上記で触れている「アクティベーションオブジェクト」は、関数自体をオブジェクト化した際に付随する情報です。
以下のような構造体を想像してください。

• arguments（呼び出し元の情報）
• this（自身の情報）
• variables（メンバとなる変数情報）

上記を理解するには、以下のリンクが参考になるかと思います。

• Advanced Javascript
• You Don't Know JS
• what-is-an-activation-object-in-javascript

Answer 2

静的スコープと動的スコープ

静的スコープはスコープチェーンの性質を表していません。
動的スコープにも目を向けてみてはどうでしょうか。

'use strict';
function hoge () {
  var x = 1;
  console.log(x);    // 静的スコープ
  console.log(this); // 動的スコープ
}

hoge();
hoge.call(2);

Re: aaaaaaaa さん

Comments

[退会済みユーザー]

thisはlexical環境下でactivation objectから参照されるので静的スコープ（動的スコープを疑似実装している）じゃないでしょうか？（違ってたらすみません
https://github.com/getify/You-Dont-Know-JS/blob/master/scope%20%26%20closures/apA.md