通用包

在 Ada 通用包中,在例項化時,資料被複制; 也就是說,如果它們包含全域性變數,則每個例項都有自己的變數副本,正確鍵入並獨立於其他變數。

generic
    type T is private;
package Gen is
    type C is tagged record
        V : T;
    end record;
    G : Integer;
end Gen;