在通用包中定义模块类型

Question

简而言之,为什么这不起作用:

generic
   Max : in Positive;
package Modular_Gen_Issue is
   procedure Foo;
private
   type Mod_Thing is mod Max; -- NOK
   type Int_Thing is new Integer range 0 .. Max; -- OK

end Modular_Gen_Issue;

编译:

$ gnatmake modular_gen_issue.ads
gcc-4.4 -c modular_gen_issue.ads
modular_gen_issue.ads:6:26: non-static expression used for modular type bound
modular_gen_issue.ads:6:26: "Max" is not static constant or named number (RM 4.9(5))
gnatmake: "modular_gen_issue.ads" compilation error
$

如何传入单个数字并使用它来定义模块类型？

是的,它必须是模块化类型!

Answer 1

对不起,你不能.每当你声明一个模块类型时,模数必须是一个静态值,即编译器可以在那里找到的值.这不起作用.对于类型声明的许多部分都是如此,特别是编译器需要的部分,以便计算对象需要多少位,或者关于对象表示的其他特征.另一方面,在Int_Thing中,范围的上限不需要是静态的(编译器已经知道Int_Thing将表示为与Integer相同,并且该范围用于边界检查但不使用确定Int_Thing的大小.

如果这是一个真实的情况,并且您需要一个可以处理不同模块类型的泛型,您可以使模块类型本身成为通用参数:

generic
    type Mod_Thing is mod <>;
package Modular_Gen_Issue is ...

(PS示例中的Mod_Thing范围为0..Max-1,而不是0..Max.)