Ada 程式設計/屬性/'Null Parameter

描述

引用 T'Null_Parameter 表示型別或子型別 T 的一個虛構物件，分配在機器地址零處。此屬性僅允許作為形式引數的預設表示式，或作為子程式呼叫的實際表示式。在這兩種情況下，子程式都必須是匯入的。

物件的標識由引數列表中的地址零表示，獨立於傳遞機制（顯式或預設）。

此功能需要指定應為透過引用傳遞的記錄或其他複合物件傳遞零地址。如果沒有 Null_Parameter 屬性，無法指示這一點。