跳转到内容

Ada 编程/属性/'桩类型'

来自维基教科书,开放的书籍,开放的世界

GNAT 对远程访问类宽类型的实现方式,如 AARM 第 E.4 节 (20.t) 所述:RACW 类型的值(指定远程对象)表示为一个正常的访问值,指向一个“桩”对象,该对象反过来包含用于联系指定远程对象所需的信息。对该桩对象的任何调度操作的调用,如果有必要,将使用桩对象中的信息来定位目标分区等,执行远程调用。

对于表示远程访问类宽类型的词缀 TT'Stub_Type 表示相应桩对象的类型。

通过构造,T'Stub_Type 的布局与在内部实现定义的单元 System.Partition_Interface 中声明的 RACW_Stub_Type 类型相同。使用此属性将隐式依赖于该单元。

华夏公益教科书