如何定义以枚举为索引的Ada向量并完成静态初始化

1. 为什么Vectors不支持枚举类型作为索引？类型安全问题说明 #

• Ada.Containers.Vectors的形式泛型参数Index_Type明确约束为有符号整数类型，这是由它的容器定位决定的：Vectors是动态长度顺序容器，支持任意位置插入、删除元素，元素索引会随容器长度变化、随插入删除操作自动偏移，本质是连续存储的动态序列。而枚举类型的语义是固定取值的命名离散集合，无法支持动态新增索引值的场景，因此不满足Vectors的索引参数要求。
• 你担心用Natural作为索引削弱类型安全的问题完全可以避免：不需要直接使用无约束的Natural，你可以自定义带范围约束的强类型有符号整数作为索引类型，编译器会在编译期和运行期自动做边界检查，类型安全性不会有任何损失。
• 额外说明：如果你的需求是「枚举值到联系人名称的固定映射」，Vectors本身就不是合适的容器：
  • 如果集合长度固定、每个枚举值都对应一个确定元素，直接用普通枚举索引数组即可，天生支持枚举作为索引，编译期就能做全覆盖检查，安全性比向量更高；
  • 如果需要动态增删键值对，应该使用Ada.Containers.Hashed_Maps或者Ada.Containers.Ordered_Maps，键类型直接指定为profession枚举即可。

2. 之前编译报错的直接原因 #

你遇到的几个编译错误是连锁出现的：

• 「Index_Type需为有符号整数类型」：用枚举实例化Vectors不满足泛型参数约束，实例化失败；
• 「Pro_Vector未定义」：前一步包实例化失败，后续代码自然找不到这个包；
• 替换Natural后初始化仍报错：有三个问题：
  1. 代码括号不匹配，第二个contact_name记录的两个字段没有用括号包裹，末尾多了一个冗余右括号；
  2. 字符串字面量是定长String类型，和记录里的Unbounded_String类型不匹配，需要显式转换；
  3. Vectors的索引是按元素插入顺序自动分配的，不支持手动指定索引的(索引值, 元素)聚合写法。

3. 正确实现示例 #

场景1：你确实需要动态长度的向量（后续要增删元素） #

with Ada.Containers.Vectors;
with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;

procedure Test is
   type contact_name is record
      first : unbounded_string;
      last  : unbounded_string;
   end record;

   type profession is (plumber, doctor, lawyer, ombudsman, dealer);
   -- 自定义强类型索引，范围和枚举值数量对齐，保证类型安全
   type Pro_Index is range 0 .. profession'Pos(profession'Last);

   package Pro_Vector is new Ada.Containers.Vectors
     (Index_Type => Pro_Index, Element_Type => contact_name);

   -- 正确初始化：从空向量开始逐个拼接元素，索引自动从0开始分配
   Pro_Table : Pro_Vector.Vector :=
     Pro_Vector.Empty_Vector
     & (To_Unbounded_String("Bob"), To_Unbounded_String("daPlumah"))
     & (To_Unbounded_String("Felix"), To_Unbounded_String("FeelGood"));
begin
   null;
end Test;

场景2：你需要固定的枚举到元素的映射（更推荐，类型安全度更高） #

直接使用枚举索引的普通数组即可，支持静态初始化，编译期自动检查枚举值覆盖情况：

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;

procedure Test is
   type contact_name is record
      first : unbounded_string;
      last  : unbounded_string;
   end record;

   type profession is (plumber, doctor, lawyer, ombudsman, dealer);
   -- 直接定义枚举索引的数组类型，不需要用容器
   type Pro_Array is array (profession) of contact_name;

   Pro_Table : Pro_Array := (
      plumber => (To_Unbounded_String("Bob"), To_Unbounded_String("daPlumah")),
      doctor  => (To_Unbounded_String("Felix"), To_Unbounded_String("FeelGood")),
      others  => (To_Unbounded_String(""), To_Unbounded_String(""))
   );
begin
   null;
end Test;

内容的提问来源于stack exchange，提问作者ATL_DEV