Ada Hashed_Maps中Reference_Type使用及符号表四元组实现问题

问题根源 #

你碰到的unconstrained subtype in component declaration错误，核心原因是Ada不允许将非约束子类型作为记录的组件字段。Reference_Type本身是基于具体类型生成的非约束子类型，直接把它放进Quadruple记录里自然会触发报错。

可行解决方法 #

1. 定义约束的Reference子类型 #

先给Reference_Type指定明确的目标类型，生成约束子类型后再作为记录字段。假设你的符号表条目类型是Symbol_Entry，示例代码如下：

-- 定义符号表条目类型
type Symbol_Entry is record
   Name : String(1..20);
   Value : Integer;
end record;

-- 生成约束的引用子类型，明确指向Symbol_Entry
subtype Symbol_Entry_Ref is Symbol_Entry'Reference_Type;

-- 现在可以正常把约束后的引用类型作为Quadruple的字段
type Quadruple is record
   Entry_Ref : Symbol_Entry_Ref;
   -- 其他字段（比如标记是否需要更新的标志）
end record;

2. 改用访问类型（适配哈希表存储副本的场景） #

如果不确定哈希表的Insert是存元素还是副本，改用访问类型可以彻底避免游标失效的问题：

type Symbol_Entry is record
   Name : String(1..20);
   Value : Integer;
end record;

-- 定义指向Symbol_Entry的访问类型
type Symbol_Entry_Access is access all Symbol_Entry;

-- 让哈希表存储访问类型，而非元素本身
package Symbol_Table is new Ada.Containers.Hashed_Maps
   (Key_Type     => String,
    Element_Type => Symbol_Entry_Access,
    Hash         => Ada.Strings.Hash,
    Equivalent_Keys => "=");

-- Quadruple记录直接存访问类型即可
type Quadruple is record
   Entry_Ptr : Symbol_Entry_Access;
end record;

使用这种方式时，插入条目要先在堆上创建Symbol_Entry实例，再把访问类型存入哈希表，后续维护的指针列表不会因为哈希表扩容、重新哈希而失效。

3. 配合不定哈希表处理变长类型 #

如果你的符号条目包含不定长类型（比如Unbounded_String），可以用Indefinite_Hashed_Maps，同时约束Reference_Type：

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

type Symbol_Entry is record
   Name : Unbounded_String;
   Value : Integer;
end record;

subtype Symbol_Entry_Ref is Symbol_Entry'Reference_Type;

package Symbol_Table is new Ada.Containers.Indefinite_Hashed_Maps
   (Key_Type     => Unbounded_String,
    Element_Type => Symbol_Entry,
    Hash         => Ada.Strings.Unbounded.Hash,
    Equivalent_Keys => "=");

type Quadruple is record
   Entry_Ref : Symbol_Entry_Ref;
end record;

关键注意点 #

无论哪种方法，核心都是确保作为记录字段的类型是约束子类型。直接使用T'Reference_Type这种非约束类型是Ada语法不允许的，必须先通过subtype明确约束到具体目标类型。

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