Chapter 6. 動的ロード (dynload)

ATS では、動的ロード (もしくは dynload と略します) はロードされたパッケージの初期化を表わします。

次のようなコードを含むファイル foo.dats を想定します:

//
val x = 1000
val y = x + x // = 2000
val z = y * y // = 4000000
//
extern
fun sum_x_y_z (): int
//
implement sum_x_y_z () = x + y + z
//

staload "./foo.dats"
dynload "./foo.dats" // for initialization

implement
main0 () =
{
val () = assertloc (4003000 = sum_x_y_z())
} (* end of [main0] *)

atscc -o mytest foo.dats foo2.dats

キーワード dynload で始まる行は dynload 宣言と呼ばれます。 foo2.dats ファイルからこの宣言を削除すると、上記のコマンドによって文字列 __dynloadflag で終わるある名前の変数に対する未定義参照のリンク時エラーが発生します。foo.dats に対する dynload 宣言はこの特殊な変数を導入し、それから foo.dats に関連する初期化を実行するための特別な関数呼び出しを生成します。この特殊関数は (foo.dats に対する) dynload 関数と呼ばれます。この関数は常に冪等です。

また foo2.dats に対して生成された dynload 関数もあります。特殊な関数 main の一種である main0 関数が foo2.dats で実装されているので、foo2.dats に対する dynload 関数は main 関数の本体中から自動的に呼び出されます。

もし dynload 関数の生成を抑制する理由があるのであれば、ATS_DYNLOADFLAG フラグを 0 に設定することができます。例えば、次の行を foo.dats に追加すれば、foo.dats に対する dynload 関数は生成されません:

#define ATS_DYNLOADFLAG 0

foo2.dats に対する dynload 関数を明示的に呼び出したい場合には、dynload 関数に別名を付けて、その別名の関数を呼び出すことができます。例えば、foo2.dats に次の行を追加すると:

#define ATS_DYNLOADNAME "foo2_dynload"

この章のコード全体は オンライン から入手できます。