総称パッケージ(Generic Package)
複数の操作と内部状態をまとめて再利用するための、generic宣言に続けて書くパッケージの雛形。インスタンスごとに内部状態は独立する。
- 概念URI
https://comcomponent.com/knowledge/ada-generic-package/- 別名・表記
- generic package / 総称パッケージ
- 上位概念
- Adaのジェネリック(総称単位)
- 最終確認日
- 2026-08-01
- 機械可読データ
- JSON-LD
この概念が関わる関係
- Adaのジェネリック(総称単位)は総称パッケージ(Generic Package)を利用します。Adaのジェネリックは、複数の操作と内部状態をまとめて再利用する単位として総称パッケージを含む。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- 総称パッケージ(Generic Package)は仮型パラメータ(Formal Type)を前提とします。総称パッケージ(例: Generic_Stack)は、Element_Typeのような型パラメータを仮パラメータとして持つ。ただし仮型パラメータは必須ではなく、仮パラメータを持たない総称パッケージや、仮オブジェクト・仮サブプログラム・仮パッケージだけを取る総称パッケージも書ける。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
- 総称パッケージ(Generic Package)は仮オブジェクト(値)パラメータ(Formal Object)を前提とします。値パラメータを持つ総称パッケージ(例: Generic_Stack)は、Max_SizeのようなPositive型の値パラメータを仮パラメータとして持ち、0以下のサイズではインスタンス化できない。ただしすべての総称パッケージが値パラメータを持つわけではない(例: 型パラメータのみのGeneric_Statistics)。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
- 総称パッケージ(Generic Package)は仮サブプログラムパラメータ(Formal Subprogram)を利用します。本記事のGeneric_KV_Storeのように仮サブプログラムパラメータを持たせる場合、総称パッケージはキー一致判定の"="のような仮サブプログラムパラメータも持てる。ただし必須ではなく、Generic_StackやGeneric_Statisticsのように仮サブプログラムパラメータを持たない総称パッケージもある。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
この概念を扱う記事
一次資料
このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。