Ada 编程记录数组

Question

我是 Ada 的新手，我正在尝试创建一个记录数组，然后将一些记录放入数组中，但我收到错误 nested array aggregate expected。这是我的代码：

with Ada.Text_IO; use Ada.Text_IO;   
with Ada.Integer_Text_Io;
with Ada.unchecked_conversion;

procedure main is
  type Byte is range 0..255;
  for Byte'Size use 8;

  type Pixel is record
    R:Byte;
    G:Byte;
    B:Byte;
  end record;
  for Pixel'Size use 24;

  r1:Pixel := (1,2,5);
  r2:Pixel := (1,2,3);
  r3:Pixel := (1,2,3);

  type Image is array(Positive range <>, Positive range <>) of Pixel;
  Pragma Pack(Image);

  Left:Image(1..3, 1..1) := (r1, r2, r3);
begin
    null;
end main;

Answer 1

二维数组需要一个二维聚合，即每个元素也是一个聚合的聚合。例如：

type Integer_Matrix is array (Positive range <>, Positive range <>) of Integer;
M : Integer_Matrix (1..2, 1..2) := ( (1, 2), (3, 4) );

当任一维度的长度为 1 时，都需要进行特殊处理，因为括号中的单个值不会被视为聚合。单元素聚合需要写为 (1=>Value) [如有必要，使用实际索引代替 1]。在您的情况下，每行 Image 的长度为 1。因此您聚合将有三个元素，每个元素将是另一个长度为 1 的聚合。它需要如下所示：

Left : Image (1..3, 1..1) := ( (1=>r1), (1=>r2), (1=>r3) );