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

型・値・サブプログラム・パッケージを仮パラメータとして受け取り、newによるインスタンス化の時点で静的に型チェックされるAdaの再利用機構。

概念URI: https://comcomponent.com/knowledge/ada-generics/
別名・表記: generic unit / 総称単位
下位概念: 総称サブプログラム(Generic Subprogram) / 総称パッケージ(Generic Package) / 仮型パラメータ(Formal Type) / 仮サブプログラムパラメータ(Formal Subprogram) / 正式パッケージパラメータ(Formal Package) / 仮オブジェクト(値)パラメータ(Formal Object) / インスタンス化(instantiation)
最終確認日: 2026-08-01
機械可読データ: JSON-LD

この概念が関わる関係

Ada(プログラミング言語)はAdaのジェネリック(総称単位)の実装を担います。Adaは1983年の最初の標準からジェネリック(総称単位)を言語機能として備えている。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
Adaのジェネリック(総称単位)は総称サブプログラム(Generic Subprogram)を利用します。Adaのジェネリックは、状態を持たないアルゴリズムを再利用する単位として総称サブプログラムを含む。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
Adaのジェネリック(総称単位)は総称パッケージ(Generic Package)を利用します。Adaのジェネリックは、複数の操作と内部状態をまとめて再利用する単位として総称パッケージを含む。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
Adaのジェネリック(総称単位)は仮サブプログラムパラメータ(Formal Subprogram)を利用します。Adaのジェネリックは、比較関数や述語のような振る舞いを注入するために仮サブプログラムパラメータを持てる。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
Adaのジェネリック(総称単位)は正式パッケージパラメータ(Formal Package)を利用します。Adaのジェネリックは、あるジェネリックパッケージのインスタンスを別のジェネリックの入力として扱う正式パッケージパラメータを持てる。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
Adaのジェネリック(総称単位)はインスタンス化(instantiation)を前提とします。総称単位はnewによるインスタンス化を経なければ、通常のサブプログラムやパッケージとして使えない。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
Ada(プログラミング言語)はAdaのジェネリック(総称単位)の実装を担います。Adaは1983年の最初の標準からジェネリックを実装しており、C++のテンプレートやJavaのジェネリクスより早い時期から備えている。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
Adaのジェネリック(総称単位)はAdaジェネリックのcontract modelの実装を担います。Adaのジェネリクスは要求する操作を仕様に書くcontract modelを採用しており、利用時のエラーが明確になる。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

一次資料

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

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