generics - 在 Ada 95 中创建通用子包

Question

我有包 p1 和两个子包:p1.child1 和 p1.child2所有包都是通用的。我正在尝试在 p1.child2 中创建 p1.child1 的实例:

package body p1inst.child2 is

   package p1inst is new p1;
   use p1inst;

   package p1_child1inst is new p1inst.child1;
   use p1inst;

我收到一个错误:“p1”在其内部的实例化。如何将通用包 p1.child2 的实例创建到 p1.child1 中？

Answer 1

如 Ada Programming: Advanced generics 中所述, 它可能有助于区分通用单元和该通用单元的实例。编译器告诉您不能在 p1 的子项中创建 p1 的实例，因为“通用单元的子项必须无论如何都要通用。”

相反，在别处创建 p1 的实例，并使用该实例创建 p1 的每个子实例。

附录:作为另一个具体示例，procedure Jumble创建 Ada.Strings.Bounded 的实例:

Max_Word  : constant Positive := 24;
package ASB is new Ada.Strings.Bounded.Generic_Bounded_Length(Max_Word);

稍后，该过程使用该实例创建通用子实例的实例，Ada.Strings.Bounded.Hash :

function Hash is new Ada.Strings.Bounded.Hash(ASB);