通用包

在 Ada 通用包中，在实例化时，数据被复制; 也就是说，如果它们包含全局变量，则每个实例都有自己的变量副本，正确键入并独立于其他变量。

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