GNATの次元解析(Dimension_System)

GNAT独自のアスペクトDimension_SystemとDimensionで浮動小数点型とそのsubtypeに次元を持たせ、式の次元が合わないことをコンパイル時に検出する仕組み。Adaの規格にはない。

概念URI

https://comcomponent.com/knowledge/gnat-dimensionality-checking/

別名・表記

Dimensionality Analysis / Dimension_System / Dimension アスペクト

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• GNATはGNATの次元解析(Dimension_System)の実装を担います。Dimension_SystemとDimensionはGNATの処理系定義のアスペクトで、Adaの規格にはない。記事の例ではmmとx・yのピクセルを基本の次元にし、px×px、係数の掛け忘れ、xとyの取り違え、係数の向きの逆が次元の不一致として報告された。座標と長さはどちらも同じ次元なので区別できない。 / 確度: 確立した関係 / 確認日: 2026-11-10 出典 出典

この概念を扱う記事

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

一次資料

• https://docs.adacore.com/gnat_ugn-docs/html/gnat_ugn/gnat_ugn/gnat_and_program_execution.html
• https://docs.adacore.com/gnat_rm-docs/html/gnat_rm/gnat_rm/implementation_defined_aspects.html

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