命名規則

スコープはグローバルに有効になり、その有効期間もグローバル スコープと同じになります（手動で削除されるまで）。 初期の言語は次のようなものでした: アセンブリ BASIC FORTRAN

問題 変数名の競合 開発をモジュール化できない

プログラム全体が複数の領域（ブロックと関数）に分割されているため、領域内の変数は外部からは見えず、複数人で並列かつモジュール的に開発することができます。 。 アイデア 1: 各サブエリアにはスコープ ディクショナリが与えられ、そのエリア内で有効になります。変数名は、複数のスコープ ディクショナリに同時に存在できます。 アイデア 2 変数名はグローバルに一意であり、各変数名には FILO バインディング スタックがあり、各領域に入った後、構造内の割り当てがスタックの最上位に追加されます。構造を終了すると、バインドが追加されます。 実際には、ネストすることもでき、現在最も内側の層にプッシュされているバインディングが有効になります。

モジュール化後、変数はグローバル変数とローカル変数、つまりグローバルに有効なバインディングとローカルの下部構造内で有効なバインディングに分割できます。 ローカル構造内の変数は、ローカルにバインドされた (バウンド) 変数とフリー (自由な) 変数に分けられ、前者は構造の内部で値が割り当てられますが、後者は構造の内部では見つからず、外部で見つける必要があります。

C Algol 風の言語 現代の言語のほとんどはこんな感じ

利点は、値が必ずしも確実ではないにもかかわらず、人やコンパイラがコードをチェックすることで変数名が指すオブジェクトの定義を判断できることです。

独自のスコープを持つ構造体

初期の lisp にはこれしかありませんでした (emacs lisp)。その後、スキームは字句スコープに切り替わりました。 その後の Common Lisp はデフォルトで字句的であり、動的グローバル変数を宣言できました。

変数名は常に、最後にバインドされた (スタックからポップされていない) 値を指します。 スコープはグローバルに使用できます。実行時には、スコープのテキスト範囲を決定することはできません。最後にプッシュされたものが有効になります。

構造内の非自由変数 (ローカル割り当てを含む) の場合、動的スコープは字句スコープと同じ効果があり、どちらも最も内側のバインディングに基づきます。 自由変数の場合、字句スコープはネストされた外部辞書のバインディング (クロージャ) をキャプチャしますが、動的スコープはバインディング スタックをチェックできません。

テキストの入れ子関係は固定されているため、クロージャによって取得されるバインディング関係もコンパイル時に決定されます。字句スコープは静的テキスト スコープです。 動的スコープのバインディングスタックは、実行時にバインディングをプッシュ/ポップできますが、参照時にどのテキスト領域バインディングが有効であるかを確認することができないため、動的と呼ばれます。

一般的な C 言語では、関数パラメータの有効期間は関数呼び出しから始まり、関数が返されたときに終了します。

C言語の関数パラメータなど、構造体に入るときに開始され、構造体から出るときに破棄されます。

固定の開始位置と終了位置はありません。参照カウントが 0 でない場合、参照カウントは 0 になると gc によってクリアされます。

字句静的スコープ 字句/静的スコープ

グローバル未定義動的スコープ グローバル/無期限/動的スコープ

動的寿命 動的エクステント

未定義の寿命 無限の範囲

字句範囲の未定義の有効期間 これは静的コードの有効期間中、参照カウントはゼロにリセットされ、クリアされます。 クロージャでキャプチャできる

未定義のスコープの動的有効期間 理論上、スコープには固定スコープはありません。実行時にバインディング スタックから最上位を検索できます。 バインディングの内部レイヤーが割り当てられると、グローバル バインディング スタックにプッシュされ、内部レイヤーが終了すると、バインディング スタックからポップされて破棄されます。 内部バインディング構造は終了後に破棄する必要があり、有効期間は動的であり、クロージャによってキャプチャすることはできません。

未定義のスコープ 動的有効期間 (特殊変数と同じ)

字句スコープの動的有効期間

字句スコープの動的有効期間

*グローバル変数1*

デフォルトでは、検索は LEGB 順に内側から外側に実行されます。

キーワードで検索場所を指定できる

参照カウントはゼロにリセットされずに存在します。ゼロにリセットされると gc によってクリアされます。