Ada.Unchecked_Deallocation

newで確保したオブジェクトを明示的に解放するために、オブジェクトの型とアクセス型を渡してインスタンス化するAdaの標準のジェネリック手続き。解放に渡した変数はnullになるが、同じオブジェクトを指すほかのアクセス値は検査しない。

概念URI

https://comcomponent.com/knowledge/ada-unchecked-deallocation/

別名・表記

Unchecked_Deallocation

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Ada.Unchecked_Deallocationはアクセス型を前提とします。Unchecked_Deallocationは、解放するオブジェクトの型とそれを指すアクセス型を渡してインスタンス化して使う。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• Ada.Unchecked_Deallocationはダングリング参照の原因になることがあります。Free(X)のあとXはnullになるが、同じオブジェクトを指していたほかのアクセス値は元のアドレスを持ったまま残る。それを参照した実行はerroneousで、GNAT 13.3では例外にならなかった。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• Controlled型(Ada)はAda.Unchecked_Deallocationを利用します。本記事のBuffer型は、Limited_ControlledのFinalizeの中でUnchecked_Deallocationのインスタンスを呼び、持っている配列を解放する。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典 出典
• Ada.Unchecked_Deallocationはアクセス型を前提とします。Ada.Unchecked_Deallocation は解放する対象の型とアクセス型を指定してインスタンス化する。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• Ada.Unchecked_Deallocationはダングリング参照の原因になることがあります。Free(X) は X だけを null にし、同じ領域を指す別のアクセス変数は残る。それを参照外しした実行は誤った実行になる。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典

この概念を扱う記事

• Adaのメモリ管理 ── アクセス型・Controlled型・ストレージプールの使い分け(言及)
• Ada と Rust の安全性の考え方の違い ── 型・オーバーフロー・所有権・データ競合・形式検証を実際に動かして比べる(言及)

一次資料

• https://www.adaic.org/resources/add_content/standards/22rm/html/RM-13-11-2.html

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