一般的なインスタンス化はいつ行われますか（つまり、単語の意味は何ですか）？

Question

この質問は、this questionへの応答として（今削除された）議論に基づいています。それは実際のプログラミングのセマンティクスよりも専門用語です。

具体的には「インスタンシエーション」は何ですか？コンパイル時または実行時に発生しますか？

Ada 2012規格のlatest draftを参照します。

用語の意味generic_instantiationは明確です。それは構文のようなものです

package Inst is new Generic_Package(This => That); 

私の質問は動詞「インスタンス化」についてです。

私はいつも「インスタンス化」をコンパイル時に発生するものと考えてきました。これは汎用テンプレートの拡張であり、コンパイラがgeneric_instantiationをコンパイル単位で検出したときに発生します。

しかし、他の情報源は、少なくともオプションで実行時に「インスタンス化」が行われることを指します。

This Wikipedia articleは言う：

にインスタンス化は、一般的なユニット、プログラマは、各仮ため実際 パラメータを渡します。一般的なインスタンスは、他のユニットと同様に、ちょうど のように動作します。実行時に、例えばループ内で汎用単位を にインスタンス化することは可能です。

これは、インスタンス化がコンパイル時または実行時に発生する可能性があると思われるようです。これは実行時に発生する詳細generic_instantiationを参照していると思いますが、実行時にすべての詳細が発生しますか？

私はAda RMから決定的な答えを得ることは驚くほど困難であることがわかりました。 「インスタンス化」または「インスタンス化」用の用語集エントリ（Annex N）はありません。

「動的意味論」の下で、私は12.2（ジェネリック機関）第2項では、この文だった見つけることができる最も近い：

は

一般的な体の精緻化が よりも、他の効果もありませんが、一般的なことを立証ユニットはその後、Elaboration_Checkに失敗することなく のインスタンス化が可能です。

は、間接的には、インスタンスが実行時のイベントであることを意味します。

"instantiate"という動詞は、コンパイル時のイベント（一般的なテンプレートを展開する）を正しく参照していますか？実行時のイベント（generic_instantiationを精緻化する）に？後者の場合は、前者とはどういう意味ですか？ Ada RMはこの時点で必要なだけ明確ですか？

Answer 1

「インスタンス化」は、型（オブジェクトまたは派生型のいずれか）のインスタンスを作成する行為です。ジェネリックスを話すときには、パッケージまたはサブプログラムのインスタンスの作成を参照することもできます。型のインスタンスは、その型のオブジェクトである：

type My_Type is 
    record 
     Range_Begin : Natural := 1; 
     Range_End : Natural := 15_000_000; 
    end record; 

type My_Type_Access is access all My_Type; 

My_Object1 : My_Type_Access := new My_Type; -- instantiation of My_Type 
              -- to create My_Object1 

My_Array_Objects : array (Positive range 1 .. 250_000) of My_Type_Access := 
    (others => new My_Type); -- creates an array of objects of My_Type 

---

「詳細説明」は、ロードおよび実行するためのパッケージまたはタスクなどの構築物を調製する方法です。しかし、最近これを研究していない。

Answer 2

の静的セマンティクス部分のthe generic instantiationによると、ルール12,13、および14の部分は、コンパイル時に行われたようです。

しかしthe Gnat documentationは、その精緻化順序制御部分には、プログラムエラーは、特定の状況下で提起されることを説明します。そのような例外は、プログラムを実行するときにだけスローされます。

コンパイル時に、コンパイラは引数が操作と汎用のプッシュされた範囲をサポートしていることを確認しますが、実際のコードは実行時に実行されます。