派生型(derived type)

type T is new 親の型 の形で宣言する、親の型と同じ値の集合と基本演算を受け継いだ別の型。親の型や、同じ親から派生したほかの型と、型変換なしに混ぜて使えない。

概念URI

https://comcomponent.com/knowledge/ada-derived-type/

別名・表記

derived type / type ... is new

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Adaの強い型付けは派生型(derived type)を利用します。Long_Floatから派生したPx_LengthとMm_Lengthは別の型になり、型変換なしに混ぜて使えない。記事の例では、ピクセルの長さをミリメートルの変数に入れる式がexpected type、found typeのエラーになった。 / 確度: 確立した関係 / 確認日: 2026-11-10 出典
• 総称パッケージ(Generic Package)は派生型(derived type)を利用します。記事のVision_Units.Axisは、座標・長さ・2つの向きの校正係数を派生型として宣言する総称パッケージである。x用とy用に2回インスタンス化すると、インスタンスごとに別の型になり、y方向の長さにx方向の係数を掛ける式がコンパイルエラーになった。 / 確度: 条件付きの関係 / 確認日: 2026-11-10 出典

この概念を扱う記事

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

一次資料

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

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