仮サブプログラムパラメータ(Formal Subprogram)

比較関数や述語などの振る舞いを注入するために、generic部分に書くサブプログラムの仮パラメータ。is<>を付けると可視な標準演算子で省略できる。

概念URI

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

別名・表記

formal subprogram / with function / with procedure

上位概念

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

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Adaのジェネリック(総称単位)は仮サブプログラムパラメータ(Formal Subprogram)を利用します。Adaのジェネリックは、比較関数や述語のような振る舞いを注入するために仮サブプログラムパラメータを持てる。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 仮サブプログラムパラメータ(Formal Subprogram)はAdaジェネリックのcontract modelの実装を担います。with function "<" (...) is <>;のような仮サブプログラムパラメータは、本体が使ってよい操作を契約として明示する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 総称サブプログラム(Generic Subprogram)は仮サブプログラムパラメータ(Formal Subprogram)を利用します。本記事のGeneric_Insertion_Sortのように仮サブプログラムパラメータを持たせる場合、総称サブプログラムは比較関数のような仮サブプログラムパラメータを持てる。ただし必須ではなく、Generic_Swapのように仮サブプログラムパラメータを持たない総称サブプログラムもある。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• 総称パッケージ(Generic Package)は仮サブプログラムパラメータ(Formal Subprogram)を利用します。本記事のGeneric_KV_Storeのように仮サブプログラムパラメータを持たせる場合、総称パッケージはキー一致判定の"="のような仮サブプログラムパラメータも持てる。ただし必須ではなく、Generic_StackやGeneric_Statisticsのように仮サブプログラムパラメータを持たない総称パッケージもある。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

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

一次資料

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

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