Spécifier l'alignement des champs d'un record avec tableaux discriminés

[jonas813]

Bonjour,

J'ai un record discriminé et j'aimerais m'assurer que l'alignement se fait bien sur 32 bits pour tous les champs :

Code :

1
2
3
4
5
6
7
8
9
10
11
12
  type Bit is range 0 .. 1;
  for Bit'Size use 1;
  type Bit_Array is array (Integer range <>) of Bit;
  for Bit_Array'Component_Size use 1;

  type Rec (MSB_A, MSB_B : Integer) is
    record
      A : Bit_Array (0 .. MSB_A);
      B : Bit_Array (0 .. MSB_B);
      C : Integer;
    end record;

En gros ce que j'aimerais faire si A et B ne feraient pas partie du record :

Code :

1
2
  for A'Alignment use Integer'Alignment;
  for B'Alignment use Integer'Alignment;

Je n'ai pas besoin de spécifier la taille des champs mais juste l'alignement. J'ai aussi pensé à rajouter la clause "for Bit_Array'Alignment use Integer'Alignment;" après la déclaration du type Bit_Array, mais j'ai vu que ça n'a eu aucun effet sur les variables Bit_Array.

Merci pour vos réponses
Jonas

[Blackknight]

Code :

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
with Ada.Text_Io;

procedure TestAlign is
   
   type Bit is range 0 .. 1;
   for Bit'Size use 1;
   type Bit_Array is array (Integer range <>) of Bit;
   for Bit_Array'Component_Size use 1;
   for Bit_Array'Alignment use Integer'Alignment;
   
   type Rec (MSB_A, MSB_B : Integer) is
      record
	 A : Bit_Array (0 .. MSB_A);
	 B : Bit_Array (0 .. MSB_B);
	 C : Integer;
      end record;
   
   Mon_Rec : Rec(9, 11);

begin
   Ada.Text_Io.Put_Line(Integer'Image(Mon_Rec'Size));
   Ada.Text_Io.Put_Line(Integer'Image(Mon_Rec.A'Alignment));
   Ada.Text_Io.Put_Line(Integer'Image(Mon_Rec.B'Alignment));
   Ada.Text_Io.Put_Line(Integer'Image(Mon_Rec.C'Alignment));
   Ada.Text_Io.Put_Line(Integer'Image(Mon_Rec'Alignment));
end TestAlign;

Personnellement, ça me retourne :

Code :

1
2
3
4
5
6
128
 4
 0
 4
 4

Donc c'est bien aligné sur 4*Storage_element'Size mais c'est packé.
Ceci dit, si je dépasse la taille de 32 bits pour les tableaux, par exemple avec

Code :

1
2
Mon_Rec : Rec(31, 11);

J'obtiens bien :

Code :

1
2
3
4
5
 160
 4
 4
 4
 4

Bizarre !
Ou alors, c'est que j'ai fait une bourde