仮型パラメータ(Formal Type)
generic部分で宣言する型の仮パラメータ。private、limited private、range<>、mod<>、digits<>、delta<>、(<>)などのカテゴリで、本体が使ってよい操作の範囲を指定する。
- 概念URI
https://comcomponent.com/knowledge/ada-generic-formal-type/- 別名・表記
- formal type / private / range box / digits box
- 上位概念
- Adaのジェネリック(総称単位)
- 最終確認日
- 2026-08-01
- 機械可読データ
- JSON-LD
この概念が関わる関係
- 総称サブプログラム(Generic Subprogram)は仮型パラメータ(Formal Type)を前提とします。総称サブプログラムは、type Element is private;のような仮型パラメータをgeneric部分に書くことで、任意の型に対して使える処理として定義される。ただし仮型パラメータは必須ではなく、仮オブジェクトや仮サブプログラムだけを取る総称サブプログラムも書ける。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
- 仮型パラメータ(Formal Type)はインスタンス化(instantiation)で構成できます。仮型パラメータに渡す具体的な型は、newによるインスタンス化の時点で指定される。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- 総称パッケージ(Generic Package)は仮型パラメータ(Formal Type)を前提とします。総称パッケージ(例: Generic_Stack)は、Element_Typeのような型パラメータを仮パラメータとして持つ。ただし仮型パラメータは必須ではなく、仮パラメータを持たない総称パッケージや、仮オブジェクト・仮サブプログラム・仮パッケージだけを取る総称パッケージも書ける。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
- 仮型パラメータ(Formal Type)はAdaジェネリックのcontract modelの実装を担います。type Real is digits <>;のような型カテゴリの指定は、本体で使える演算(加減乗除など)の契約を明示する型レベルの仕様書として働く。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
この概念を扱う記事
一次資料
このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。