Ada与GPR如何处理条件编译？C转Ada平台适配技术问询

Ada和C的条件编译思路不同，它更偏向模块化分离和工程级配置，而非在单文件内用预处理器指令切割代码。针对平台差异、DEBUG模式或架构适配，常用以下几种方案：

1. 用GPR工程文件做条件配置 #

GPR（GNAT工程文件）支持根据目标平台、编译选项等选择不同的源文件或编译参数，这是处理平台差异的核心方式之一。

比如针对Windows和POSIX平台，你可以在GPR中指定不同的实现文件：

project Process_Checker is
   -- 定义目标平台类型，默认设为POSIX
   type Target_Type is ("windows", "posix");
   Target : Target_Type := external ("TARGET", "posix");

   package Compiler is
      case Target is
         when "windows" =>
            Sources := Sources & ("process_checker_windows.adb");
         when "posix" =>
            Sources := Sources & ("process_checker_posix.adb");
      end case;
   end Compiler;
end Process_Checker;

编译时只需指定TARGET=windows或TARGET=posix即可加载对应平台的代码。

2. 抽象接口+平台特定实现 #

这是Ada处理平台差异的惯用模式：先定义统一的抽象接口，再为不同平台编写独立的实现体，通过GPR或编译选项切换加载。

步骤1：定义抽象接口包（process_checker.ads） #

package Process_Checker is
   -- 统一接口：判断进程是否存活
   function Is_Alive (PID : Integer) return Boolean;
end Process_Checker;

步骤2：POSIX平台实现（process_checker_posix.adb） #

with Interfaces.C; use Interfaces.C;
with Errno; use Errno;

package body Process_Checker is
   -- 导入C的kill函数
   function kill (PID : int; Sig : int) return int;
   pragma Import (C, kill, "kill");

   function Is_Alive (PID : Integer) return Boolean is
      Result : int;
   begin
      Result := kill (int(PID), 0);
      -- 若kill调用失败且错误码为ESRCH，说明进程不存在
      if Result /= 0 and then errno = ESRCH then
         return False;
      else
         return True;
      end if;
   end Is_Alive;
end Process_Checker;

步骤3：Windows平台实现（process_checker_windows.adb） #

with Interfaces.C; use Interfaces.C;
with Windows; use Windows;
with Windows.Winbase; use Windows.Winbase;

package body Process_Checker is
   function Is_Alive (PID : Integer) return Boolean is
      Handle : HANDLE;
   begin
      -- 尝试打开进程获取句柄
      Handle := OpenProcess (PROCESS_QUERY_INFORMATION, False, DWORD(PID));
      if Handle = Null_Handle then
         return False;
      else
         CloseHandle (Handle);
         return True;
      end if;
   end Is_Alive;
end Process_Checker;

这种方式比C的条件编译更清晰，每个平台的代码独立维护，避免了单文件内的代码混杂。

3. 编译指示处理简单条件 #

对于DEBUG模式这类简单场景，可以结合GPR的编译开关和Ada的编译指示实现：

GPR中配置DEBUG开关 #

package Compiler is
   -- 编译时添加-DDEBUG启用DEBUG模式
   for Default_Switches ("ada") use ("-g", "-DDEBUG");
end Compiler;

代码中使用DEBUG条件 #

pragma Assert (Debug_Mode, "调试信息：进程PID=" & Integer'Image(PID));

当启用-DDEBUG时，Debug_Mode会被设为True，断言生效；否则会被编译优化掉。

4. 架构差异适配 #

针对不同CPU架构的类型大小差异，优先使用Ada标准库中的类型（比如Interfaces.C.int、System.Storage_Elements.Storage_Offset），而非硬编码特定大小的类型。如果需要架构特定的逻辑，同样可以用GPR选择对应的源文件实现。

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