Ada泛型开发：一方为不完整类型时如何校验两个泛型形参类型匹配

问题背景 #

在Ada泛型开发中，需要实现支持不完整类型的自动内存管理框架：泛型父包接收不完整标记类型作为参数，提供核心功能；泛型子包在对应类型补全后实例化，补充构造、内存释放等需要完整类型信息的能力。要求确保子包接收的泛型形参与父包的泛型实参为同类型或派生类型，避免不安全的类型转换风险。

原有父包定义如下：

generic
    type T(<>) is tagged;
package Parent is
    type Instance is tagged private;
private
    type T_Access is access T;
    type Instance is tagged record
        Thing : T_Access := null;
    end record;
end Parent;

原有子包实现使用Unchecked_Conversion做访问类型转换，存在类型不匹配导致的内存安全风险，尝试运行时校验时因为父包T为不完整类型触发编译报错。

解决方案 #

核心优化：编译期强制类型约束 #

泛型子包作为父包的子单元，可直接访问父包的泛型形参Parent.T，直接在子包的泛型声明中做形参约束即可从根源解决问题，不需要额外的编译期/运行时校验逻辑：

generic
   -- 直接约束子包T必须是父包T的派生类，实例化时由编译器强制检查
   type T(<>) is new Parent.T with private;
package Parent.Child is
   type T_Access is access T;
   function Make(Ref : not null T_Access) return Parent.Instance;
end Parent.Child;

替换不安全的Unchecked_Conversion #

编译期已经确认Child.T是Parent.T的派生类，指向派生类的访问值可直接做安全类型转换，不需要使用Unchecked_Conversion：

with Ada.Unchecked_Deallocation;
package body Parent.Child is
   -- 内存释放逻辑不受影响
   procedure Finalize is new Ada.Unchecked_Deallocation
      (Object => T,
       Name   => T_Access);

   function Make(Ref : not null T_Access) return Parent.Instance is
      -- 直接安全转换，无任何运行时开销
      Parent_Ref : constant Parent.T_Access := Parent.T_Access(Ref);
   begin
      return (Thing => Parent_Ref);
   end Make;
end Parent.Child;

兼容Base基类约束 #

如果业务要求子包接收的类型必须同时继承自公共基类Base.Instance，仅需调整父包的泛型约束即可：

-- 父包先约束接收的T必须是Base.Instance的派生类
generic
    type T(<>) is new Base.Instance with tagged;
package Parent is
    -- 父包原有逻辑保持不变
    type Instance is tagged private;
private
    type T_Access is access T;
    type Instance is tagged record
        Thing : T_Access := null;
    end record;
end Parent;

原运行时校验报错原因 #

你之前尝试的if Child.T not in Parent.T报错，是因为Parent.T作为父包的泛型形参是不完整标记类型，在包体初始化段无法直接用于成员资格检查。而泛型形参约束的检查时机是子包实例化阶段，此时传入的类型已经完整，不会触发该错误。

使用效果 #

你原有的使用逻辑不需要做任何修改，实例化子包时如果传入的类型不是父包T本身或其派生类，编译器会直接报错，完全杜绝了类型不匹配的风险。

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