総称サブプログラム(Generic Subprogram)

generic宣言に続けて書くサブプログラムの雛形。具体的な型・値・サブプログラムを渡してインスタンス化するまでは呼び出せない。

この概念が関わる関係

Adaのジェネリック(総称単位)は総称サブプログラム(Generic Subprogram)を利用します。Adaのジェネリックは、状態を持たないアルゴリズムを再利用する単位として総称サブプログラムを含む。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
総称サブプログラム(Generic Subprogram)は仮型パラメータ(Formal Type)を前提とします。総称サブプログラムは、type Element is private;のような仮型パラメータをgeneric部分に書くことで、任意の型に対して使える処理として定義される。ただし仮型パラメータは必須ではなく、仮オブジェクトや仮サブプログラムだけを取る総称サブプログラムも書ける。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
総称サブプログラム(Generic Subprogram)は仮サブプログラムパラメータ(Formal Subprogram)を利用します。本記事のGeneric_Insertion_Sortのように仮サブプログラムパラメータを持たせる場合、総称サブプログラムは比較関数のような仮サブプログラムパラメータを持てる。ただし必須ではなく、Generic_Swapのように仮サブプログラムパラメータを持たない総称サブプログラムもある。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典

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