在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;

我收到一个错误： Instansiation of "p1" within itself 。 如何在p1.child1创建通用包p1.child2的实例？

Answer 1

正如Ada Programming：Advanced泛型中所讨论的，它可能有助于区分通用单元和该通用单元的实例 。 编译器告诉你不能在p1的子p1中创建p1的实例，因为“通用单元的子p1 必须是通用的，无论如何”。

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

附录：作为另一个具体示例， procedure Jumble创建了一个Ada.Strings.Bounded实例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);