如何将在 C 中分配的字符串返回给 Ada 并在 Ada 中释放它？

Question

这是这个问题的反面。

我在 C 函数中分配了一个字符串（特别是由 cJSON 库），我想将它作为输出参数返回给 Ada 调用者，并从 Ada 中释放该字符串。

C 接口如下所示：

typedef struct
{
    int f1;
    int f2;
    // ...
} A;

int Dump_Record(const A& rec, char** outstr);

该Dump_Record函数将 outstr 设置为 返回的值cJSON_Print，它通过 分配一个字符串malloc。

应如何指定 Ada 绑定以及如何检索输出字符串并在 Ada 中正确解除分配？

Answer 1

下面显示了用于返回 achar **作为返回类型和输出 Ada 参数的 Ada、C 和 GPR 文件。

with Ada.Text_IO; use Ada.Text_IO;
with Interfaces.C.Strings; use Interfaces.C.Strings;

procedure Str is
   function Get_Str return chars_ptr with
     Import => True,
     Convention => C,
     External_Name => "get_str";

   procedure Get_Str (Str : in out chars_ptr) with
     Import => True,
     Convention => C,
     External_Name => "get_str2";

   Str  : chars_ptr := Get_Str;
   Str2 : chars_ptr := Null_Ptr;
begin
   Get_Str (Str2);

   Put ("==> " & Value (Str));
   Put ("==> " & Value (Str2));

   Free (Str);
   Free (Str2);
end Str;

with Ada.Text_IO; use Ada.Text_IO;
with Interfaces.C.Strings; use Interfaces.C.Strings;

procedure Str is
   function Get_Str return chars_ptr with
     Import => True,
     Convention => C,
     External_Name => "get_str";

   procedure Get_Str (Str : in out chars_ptr) with
     Import => True,
     Convention => C,
     External_Name => "get_str2";

   Str  : chars_ptr := Get_Str;
   Str2 : chars_ptr := Null_Ptr;
begin
   Get_Str (Str2);

   Put ("==> " & Value (Str));
   Put ("==> " & Value (Str2));

   Free (Str);
   Free (Str2);
end Str;

project Str is
   for Languages use ("C", "Ada");
   for Source_Dirs use (".");
   for Exec_Dir use ".";
   for Main use ("str.adb");
end Str;

用gprbuild -P str.

因此，要在 Ada 中实现您的功能：

package C renames Interfaces.C;

type A is
   record
      F1, F2 : C.int;
   end record with
     Convention => C;

   function Dump_Record (Rec : aliased A; Out_Str : out chars_ptr) return C.int with
     Import => True,
     Convention => C,
     External_Name => "Dump_Record";

显然， Rec 参数需要别名，以便编译器知道它是 C 中的引用，并且不会将它重新分配到其他地方，即辅助堆栈。