仮オブジェクト(値)パラメータ(Formal Object)

サイズや閾値のように、インスタンスごとに固定したい値を渡すためのgeneric部分の仮パラメータ。型による制約(Positiveなど)を持たせられる。

この概念が関わる関係

総称パッケージ(Generic Package)は仮オブジェクト(値)パラメータ(Formal Object)を前提とします。値パラメータを持つ総称パッケージ(例: Generic_Stack)は、Max_SizeのようなPositive型の値パラメータを仮パラメータとして持ち、0以下のサイズではインスタンス化できない。ただしすべての総称パッケージが値パラメータを持つわけではない(例: 型パラメータのみのGeneric_Statistics)。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
インスタンス化(instantiation)は仮オブジェクト(値)パラメータ(Formal Object)を前提とします。仮オブジェクト(値)パラメータを持つ総称単位をインスタンス化する場合、Max_Entriesのような値パラメータへの対応が必要になる。デフォルト値が定義されていれば省略でき、その場合はデフォルト値が使われる。仮オブジェクトパラメータを持たない総称単位(例: Generic_Swap)ではこの関係自体が生じない。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
仮オブジェクト(値)パラメータ(Formal Object)はAdaジェネリックのcontract modelの実装を担います。Max_Size : Positive;のような値パラメータへの型による制約は、0以下のサイズでインスタンス化できないという契約を表す。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典

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