Ada 编程/属性/'Null Parameter

描述

引用 T'Null_Parameter 表示类型或子类型 T 的一个虚构对象，分配在机器地址零处。此属性仅允许作为形式参数的默认表达式，或作为子程序调用的实际表达式。在这两种情况下，子程序都必须是导入的。

对象的标识由参数列表中的地址零表示，独立于传递机制（显式或默认）。

此功能需要指定应为通过引用传递的记录或其他复合对象传递零地址。如果没有 Null_Parameter 属性，无法指示这一点。