Возможности адских массивов. Опции

[TarasBer]

Можно ли сделать что-то такое?

   Grid_Font	: constant array (7 .. 40) of HFONT	:= (
      others i => Create_Font ("Lucida Console", i + 4)
   );

Пока что пришлось извращаться (по-моему, уродливо вышло).

   Index : integer;

   function Set_I(i: integer) return integer is
   begin
      Index := i;
      return Index;
   end;
   
   function Get_I return integer is
   begin
      Index := Index + 1;
      return Index;
   end;

   Grid_Font	: constant array (7 .. 40) of HFONT	:= (
      Create_Font ("Lucida Console", Set_I(7) + 4),
      others => Create_Font ("Lucida Console", Get_I + 4)
   );

Можно ли создавать многомерные массивы с компонентами разной длины?

type TPattern_Array is array (Positive range <>, Positive range <>) of boolean;

Patterns	: constant TPAttern_Array := (
                                          (true, true),
                                          (true, false),
                                          (true, true, true, false, false),
                                          (true, true, true, false, false, false, true, false, false, false));

Не компилируется... Странно, почему так? Не вижу проблем с реализацией.
Или вручную эмулировать подобное, то есть создать несколько массивов разной длины, а потом создать массив указателей и на них указать?

[volvo]

Можно ли сделать что-то такое?

Нет.

Пока что пришлось извращаться (по-моему, уродливо вышло).

К тому же ненадежно: Ада не гарантирует порядок вычисления элементов массива...

The evaluation of an array_aggregate of a given array type proceeds in two steps:
1. Any discrete_choices of this aggregate and of its subaggregates are evaluated in an arbitrary order, and converted to the corresponding index type;
2. The array component expressions of the aggregate are evaluated in an arbitrary order and their values are converted to the component subtype of the array type; an array component expression is evaluated once for each associated component.

, так что подобную инициализацию ни один вменяемый тестировщик не пропустит...

Можно ли создавать многомерные массивы с компонентами разной длины?

Можно. Только работать придется с динамикой:

   type SubArr is array (Natural range <>) of Boolean;
   type TPattern_Array is array (Positive range <>) of access SubArr;
   Patterns : constant TPattern_Array := (
      1 => (new SubArr'(true, true)),
      2 => (new SubArr'(true, false)),
      3 => (new SubArr'(true, true, true, false, false)),
      4 => (new SubArr'(true, true, true, false, false, false, true, false, false, false))
   );

, статически этого сделать нельзя (Стандарт запрещает).