抽象サブプログラム(abstract subprogram)

is abstract を付けて宣言する、本体を持たないAdaのサブプログラム。ディスパッチしない形で呼ぶとコンパイルエラーになる。

概念URI

https://comcomponent.com/knowledge/ada-abstract-subprogram/

別名・表記

abstract subprogram / is abstract

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Adaの強い型付けは抽象サブプログラム(abstract subprogram)を利用します。派生型は親の型の基本演算を受け継ぐので、ピクセルの長さどうしの掛け算やべき乗がピクセルの長さを返す。型を宣言したパッケージの仕様部で意味のない演算子をis abstractと宣言し直すと、その演算子は呼べなくなり、単位の合わない式がコンパイルエラーになる。記事の例では、GNATがcannot call abstract operationと報告した。 / 確度: 条件付きの関係 / 確認日: 2026-11-10 出典 出典

この概念を扱う記事

• ピクセルとミリメートルを型で分ける ── Adaで寸法検査の単位の取り違えを防ぐ(言及)

一次資料

• https://ada-lang.io/docs/arm/AA-3/AA-3.9/

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