正式パッケージパラメータ(Formal Package)

既にインスタンス化された総称パッケージそのものを、別のジェネリックの仮パラメータとして受け取る仕組み。ジェネリック部品同士の組み合わせに使う。

概念URI

https://comcomponent.com/knowledge/ada-generic-formal-package/

別名・表記

formal package / with package

上位概念

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

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Adaのジェネリック(総称単位)は正式パッケージパラメータ(Formal Package)を利用します。Adaのジェネリックは、あるジェネリックパッケージのインスタンスを別のジェネリックの入力として扱う正式パッケージパラメータを持てる。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 正式パッケージパラメータ(Formal Package)はインスタンス化(instantiation)を前提とします。with package Stack is new Generic_Stack (<>);という正式パッケージパラメータは、あらかじめnewでインスタンス化された総称パッケージを受け取る。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

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

一次資料

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

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