Adaの関数への可変データ結合の実現（Cの関数の静的変数に似ています）

Question

Cの例では、静的変数には範囲外になっても値が保持されます。したがって、静的変数は以前の値を以前のスコープで保持し、新しいスコープで再び初期化されません。

どのように変数がprogranの終わりまで生きることが保証されているが、そのスコープは関数に限定され、データ結合も保証されなければならないAda言語で同じ機能を実現できますか？

Answer 1

パッケージ仕様および本体で直接宣言された変数は、プログラムが実行されている間は状態を保持します。

サブプログラムのローカル変数はそのままにすることはできませんが、パッケージ内に単一のサブプログラムを宣言して、パッケージの本体に永続変数を宣言することができます。