强制Ada使用枚举类型的最小规格大小与gnat 4.4

Question

我有一个枚举类型需要4位，但是当我声明该类型的变量时，编译器将该变量分配给8位。

下面是代码的简化版本。

subtype ab_range_index is word range 0..3; 
type ab_buffer_type is array(ab_range_index) of bit; 

type Buffer is record 
    ... 
    var1  : some_buffer_type; 
    Orig_AB_var : ab_buffer_type; 
    ... 
end record; 
for Buffer use record 
    ... 
    var1   at 16 range 0..5; 
    Orig_AB_var at 16 range 6..9; 
    ... 
end record; 
... 
type AB_type is (A,B); 
for AB_type use (A => 0, B => 5); 
for AB_type'Size use 4; 
... 
procedure Proc(AB_buff : ab_buffer_type) is 
AB_var : AB_type;      -- AB_var'Size returns 8 in debugger. 
for AB_var use at AB_buff'Address; 
begin 
    data_valid = AB_var'valid;   -- returns false since the variable 
             -- contains extra bits 
    ...  

这一切都在以前的gnat版本下工作，但不在gnat 4.4.6下。我知道gnat符合Ada规范。

有没有办法强制编译器在上面的例子中使AB_var为4位？ 我试过'Object_Size，但它需要是8位的倍数。

Answer 1

我不知道任何可以为变量分配4位的现代计算机硬件。最小值将是一个8位字节。

并没有冒犯，但我怀疑任何先前的GNAT版本都可以做到。

现在在具有相关联的规范或合适的约定编译指示的记录中，类型AB_Type的单个字段可以仅分配4位。

但不作为离散变量。

Answer 2

添加Pragma Pack([type_name]);的类型，尤其是备案。我最近有一个案例，即使一个记录规范条款不起作用，除非pack被附加到该类型。 （也可以使用外观形式。）

Answer 3

对于发布可编辑的播放器，几乎总是有些话要说。我不知道你的代码是什么真的很喜欢，但这个工程只是GCC 4.8.0罚款：

with Ada.Text_IO; use Ada.Text_IO; 
procedure Small_Parameter_Conversion is 
    type M_N_Type is (M, N); 
    for M_N_Type use (M => 0, N => 5); 
    for M_N_Type'Size use 4; 
    type Fill is array (Positive range <>) of Boolean; 
    for Fill'Component_Size use 1; 
    type Import is record 
     M_N : M_N_Type; 
     Filler : Fill (1 .. 4); 
    end record; 
    for Import use record 
     M_N at 0 range 0 .. 3; 
     Filler at 0 range 4 .. 7; 
    end record; 
    type A_B_Type is (A, B); 
    for A_B_Type use (A => 0, B => 5); 
    for A_B_Type'Size use 4; 
    procedure Proc (Input : M_N_Type) is 
     A_B : A_B_Type; 
     for A_B'Address use Input'Address; 
    begin 
     if not A_B'Valid then 
     Put_Line ("invalid."); 
     else 
     Put_Line (A_B'Img); 
     end if; 
    end Proc; 
    V : Import; 
begin 
    V := (M_N => M, Filler => (others => True)); 
    Proc (V.M_N); 
    V := (M_N => N, Filler => (others => True)); 
    Proc (V.M_N); 
end Small_Parameter_Conversion; 

也就是说，Unchecked_Conversion是更好的路要走。最后一段，但GNAT Reference Manual section on Address Clauses中的两个指出使用重叠是依赖于实现的（尽管我无法在RM中找到它说的地方）。如果M_N_Type实际上定义为

type M_N_Type is (M, N, O); 
for M_N_Type use (M => 0, N => 5, O => 6); 

和Proc被称为

V := (M_N => O, Filler => (others => True)); 
Proc (V.M_N); 

然后，果然，它打印invalid.出错

一个可能的路线会。