如何延迟类型完整定义？Ada跨平台Time_Span规范适配问询

方案1：条件编译 + 类型重命名/自定义类型 #

利用Ada的条件编译指令（if defined），根据平台是否支持完整运行时，选择直接重命名Ada.Real_Time.Time_Span，或是自定义适配受限平台的类型。这种方式能让包规范在不同平台自动适配类型定义，同时保持对外接口一致。

示例包规范：

package Waiter is
   type Time_Span is private;

   -- 可选：提供跨平台的时间构造函数，方便用户生成Time_Span实例
   function Milliseconds (Ms : Integer) return Time_Span;

   procedure Wait (Period : Time_Span);
private
   -- 私有部分根据编译开关切换底层类型
   #if defined(FULL_RUNTIME) then
      type Time_Span is new Ada.Real_Time.Time_Span;
   #else
      -- 受限平台自定义类型，比如用整数存储毫秒数；若无需存储值，也可用空记录
      type Time_Span is range 0 .. 2**31 - 1;
      -- type Time_Span is null record;
   #end if;
end Waiter;

对应的包体实现（同样通过条件编译区分平台逻辑）：

package body Waiter is
   #if defined(FULL_RUNTIME) then
      function Milliseconds (Ms : Integer) return Time_Span is
      begin
         return Time_Span(Ada.Real_Time.Milliseconds(Ms));
      end Milliseconds;

      procedure Wait (Period : Time_Span) is
      begin
         Ada.Real_Time.Delay_Until(Ada.Real_Time.Clock + Ada.Real_Time.Time_Span(Period));
      end Wait;
   #else
      function Milliseconds (Ms : Integer) return Time_Span is
      begin
         return Time_Span(Ms);
      end Milliseconds;

      procedure Wait (Period : Time_Span) is
         -- 调用受限平台的底层延迟接口（示例为C导入）
         procedure Low_Level_Delay (Ms : Integer);
         pragma Import(C, Low_Level_Delay, "low_level_delay_ms");
      begin
         Low_Level_Delay(Integer(Period));
      end Wait;
   #end if;
end Waiter;

方案2：抽象类型 + 子包扩展（更灵活的分层适配） #

如果需要更清晰的抽象分层，可以先定义抽象的Time_Span类型，再针对不同平台实现子包扩展。这种方式能隔离平台差异，核心包规范保持不变。

核心包规范：

package Waiter is
   type Time_Span is abstract tagged private;

   -- 定义抽象方法，让各平台实现自身的转换逻辑
   function Get_Delay_Ms (Span : Time_Span) return Integer is abstract;

   procedure Wait (Period : Time_Span'Class);
private
   type Time_Span is abstract tagged null record;
end Waiter;

完整运行时平台的子包实现：

package Waiter.Full_Runtime is
   type RT_Time_Span is new Time_Span with record
      Span : Ada.Real_Time.Time_Span;
   end record;

   overriding function Get_Delay_Ms (Span : RT_Time_Span) return Integer;
   -- 提供构造函数，对接Ada.Real_Time的类型
   function From_Real_Time (Span : Ada.Real_Time.Time_Span) return RT_Time_Span;
end Waiter.Full_Runtime;

受限平台的子包实现：

package Waiter.Restricted is
   type Restricted_Time_Span is new Time_Span with record
      Ms : Integer;
   end record;

   overriding function Get_Delay_Ms (Span : Restricted_Time_Span) return Integer;
   -- 提供简单的构造函数
   function Milliseconds (Ms : Integer) return Restricted_Time_Span;
end Waiter.Restricted;

主包体根据平台调用对应逻辑：

package body Waiter is
   procedure Wait (Period : Time_Span'Class) is
   begin
      #if defined(FULL_RUNTIME) then
         declare
            RT_Span : constant Ada.Real_Time.Time_Span := Waiter.Full_Runtime.RT_Time_Span(Period).Span;
         begin
            Ada.Real_Time.Delay_Until(Ada.Real_Time.Clock + RT_Span);
         end;
      #else
         declare
            Ms : constant Integer := Period.Get_Delay_Ms;
            procedure Low_Level_Delay (Ms : Integer);
            pragma Import(C, Low_Level_Delay, "low_level_delay_ms");
         begin
            Low_Level_Delay(Ms);
         end;
      #end if;
   end Wait;
end Waiter;

关于你尝试过的空记录和私有类型的补充 #

• 空记录：如果受限平台的Wait是空实现（无需实际延迟），空记录完全可行；但如果需要传递时间参数，空记录无法存储数值，此时需换成整数等可存储的类型，通过条件编译切换。
• 私有类型：这是正确的方向，结合条件编译在私有部分定义不同底层类型，既能隐藏实现细节，又能跨平台保持接口统一，也是方案1的核心思路。

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