使用通用包

Question

我的问题很简单。我有 2 个通用包。我使用每个包两次（一次用于整数，一次用于字符串）。我有一个“主”文件，它使用用户选择的包。 - package1 带有整数 - 或带有字符串的 package1 - 或带有整数的 package2 - 或以字符串

procedure main is
     package aB is new package1(integer, false, afficheInteger, true);
    --package aB is new package1(Unbounded_String, true, afficheUnbounded, true);
    --package aB is new package2(1,integer, false, afficheInteger, true);
    --package aB is new package2(1, Unbounded_String, true, afficheUnbounded, true);

开头 的 package2 aB.init(); .....

目标是对 4 个包使用相同的代码（主要）。

不幸的是我找不到如何正确地做到这一点。目前，我列出了软件包列表，并对我不使用的软件包进行了评论。是否可以在开始时制作伪 if 或在开始时初始化包？也许在主函数中使用包参数？

非常感谢，对我的英语感到抱歉！

更新：

是否可以在函数中传递包参数？就像这样：

procedure init_paquetage1_int is
    package aB is new packA(integer, false, afficheInteger, true);
begin
    main(aB);
end init_paquetage1_int; 

procedure main(aB : packA) is
begin
    aB.init();
    ....
end main;

它不起作用。

Answer 1

好的。首先，我看不出有什么方法可以让它工作，除非您在包中调用的例程具有相同的参数配置文件，无论使用哪种类型。通常，通用包将至少有一个例程，该例程使用您在例程参数中实例化它的类型之一（或作为返回类型）。

如果您想要使用的例程实际上具有相同的配置文件，我可以想到您可以做的几件事。第一种是使用指向例程的指针< /a> 你想要调用，并将其传入。

   type Init_Routine is access procedure ();
begin
   main (ab.Init'access);

第二种方法是让你的通用包全部包含从公共父 abstract 标记类型派生的标记类型，该类型具有您想要调用的例程作为父级中的abstract例程。如果这样做，您可以使用动态调度在运行时在它们之间进行选择。

package Parent is
   type Instance is abstract tagged null record;
   type Dispatching_Instance_Ptr is access all Instance;
   procedure Init (I : in out Instance) is abstract;
end Parent;

generic 
   --// Whatever your generic parameters are...
Package1 is
    type Instance is new Parent.Instance with null record;
    procedure Init (I : in out Instance);
    ...
end Package1;
--// (Package2 looks similar)

跳到调用代码：

    Choice : Parent.Dispatching_Instance_Ptr;
begin
    --// Let's assume the user "chooses" package aB
    Choice := new'aB.Instance;
    main (Choice);

...以及 main：

procedure main(xx : in Parent.Dispatching_Instance_Ptr) is
begin
   Parent.Init(xx.all);  --// This should dynamic dispatch to the proper init routine
   ....
end main;

注意：我还没有通过编译器运行它，所以可能存在一些小问题。我已经找到并修复了几个。

Answer 2

每次实例化通用包时，它都会被视为单独的包。因此，您需要为每个实例化使用不同的包名称。

procedure main is
     package aA is new package1(integer, false, afficheInteger, true);
     package aB is new package1(Unbounded_String, true, afficheUnbounded, true);
     package aC is new package2(1,integer, false, afficheInteger, true);
     package aD is new package2(1, Unbounded_String, true, afficheUnbounded, true);
...

您现在可以将其中每一个用作单独的包。

aA.init();
aB.init();
...

您可以传入过程作为参数，但不能传入包。

如果您仍然对泛型感到困惑，我建议您阅读 http://en.wikibooks.org/ wiki/Ada_Programming/泛型