ADA中无约束类型的阵列

Question

我正在尝试制作一个无约束的可变类型元素；但是，由于元素不受约束，我会遇到此错误："数组声明中的无约束元素类型"。

这是我的正方形声明：

type C_square(size : bRange) is tagged record
private
type C_square(size : bRange) is tagged record
  bConstaint : uint8 := size; 
  coord : T_coord;            
  color : e_color := unknown; 
end record;

这是错误的：

type C_board(size : bRange) is tagged limited private; 
type square_matrix is array (uint8 range <>, uint8 range <>) of C_square; -- here is the problem C_square is unconstrained
private
type C_board(size : bRange := MIN_SIZE) is tagged limited record
  bSize    : uint8 := size;
  square_m : square_matrix(1..size, 1..size);
end record;

是否有任何解决方案可以让我拥有一系列无约束的可变元素？

Answer 1

您不能拥有不受约束元素的 array 。

一些替代方案：

• 使用无限期向量。（好！）
• 创建对您无限类型的访问阵列。（不好！）