Ada 程式設計/屬性/'樁型別'

描述

GNAT 對遠端訪問類寬型別的實現方式，如 AARM 第 E.4 節 (20.t) 所述：RACW 型別的值（指定遠端物件）表示為一個正常的訪問值，指向一個“樁”物件，該物件反過來包含用於聯絡指定遠端物件所需的資訊。對該樁物件的任何排程操作的呼叫，如果有必要，將使用樁物件中的資訊來定位目標分割槽等，執行遠端呼叫。

對於表示遠端訪問類寬型別的詞綴 T，T'Stub_Type 表示相應樁物件的型別。

透過構造，T'Stub_Type 的佈局與在內部實現定義的單元 System.Partition_Interface 中宣告的 RACW_Stub_Type 型別相同。使用此屬性將隱式依賴於該單元。