インスタンス化(instantiation)

newを使って総称単位に具体的な型・値・サブプログラム・パッケージを渡し、通常のサブプログラムやパッケージを作ること。

概念URI

https://comcomponent.com/knowledge/ada-generic-instantiation/

別名・表記

new によるインスタンス化 / instantiation

上位概念

Adaのジェネリック(総称単位)

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Adaのジェネリック(総称単位)はインスタンス化(instantiation)を前提とします。総称単位はnewによるインスタンス化を経なければ、通常のサブプログラムやパッケージとして使えない。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 仮型パラメータ(Formal Type)はインスタンス化(instantiation)で構成できます。仮型パラメータに渡す具体的な型は、newによるインスタンス化の時点で指定される。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 正式パッケージパラメータ(Formal Package)はインスタンス化(instantiation)を前提とします。with package Stack is new Generic_Stack (<>);という正式パッケージパラメータは、あらかじめnewでインスタンス化された総称パッケージを受け取る。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• インスタンス化(instantiation)は仮オブジェクト(値)パラメータ(Formal Object)を前提とします。仮オブジェクト(値)パラメータを持つ総称単位をインスタンス化する場合、Max_Entriesのような値パラメータへの対応が必要になる。デフォルト値が定義されていれば省略でき、その場合はデフォルト値が使われる。仮オブジェクトパラメータを持たない総称単位(例: Generic_Swap)ではこの関係自体が生じない。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

• Adaのジェネリックプログラミング ── 型で契約を書き、再利用をゼロコストで実現する(言及)

一次資料

• https://www.adaic.org/resources/add_content/standards/22rm/html/RM-12-3.html

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。