ada - 如何在 Ada 中将包作为通用参数提供？

Question

我想知道将包传递给通用函数的语法是什么。我尝试了几种方法都没有成功。

例如:

generic
    with package <<SomeThing>> is <>;
    procedure forEach(g: in <<MyType>>);

或

generic
    with package <<SomeThing>>;
    procedure forEach(g: in <<MyType>>);

或

generic
    package <<SomeThing>>;
    procedure forEach(g: in <<MyType>>);

Answer 1

包必须是通用包的实例(否则编译器将不知道包的任何信息)。语法是:

generic
   with package Foo is new Bar (<>);
procedure Foreach (G : Foo.T);

参见 Ada Wikibook以及引用手册末尾有关正式包的示例 (ARM 12.7)。