ada - 将导入的 C 指针包装在相同大小的 Ada 标记类型中

Question

我想将 C 结构体内存布局复制到 Ada 类型中，同时将 C 字段(指针)包装到与指针位于相同内存位置的标记类型中，以避免额外的内存使用，同时以舒适的 Ada 方式在受指点信息上使用点符号。这要求标记的 Ada 字段具有与 C 指针相同的大小。

无需标记类型即可工作的示例如下:

with Ada.Text_IO; use Ada.Text_IO;

procedure Tag is

   package P is 

      type Int_Ptr is access all Integer with Convention => C;

      --  This would be in reality a C record
      type Rec is record
         I : Int_Ptr := new Integer'(42);
      end record
        with Convention => C;

      --  This is the field wrapper that would be tagged
      type Wrap_I is record -- Making this tagged breaks it
         I : Int_Ptr;
      end record
        with Convention => C;

      function Image (WI : Wrap_I) return String is
        (WI.I.all'Img);

      --  This is the Ada type corresponding to C Rec
      type Wrap_Rec is record
         I : Wrap_I;
      end record
        with Convention => C;

   end P;

   R : P.Rec;
   W : P.Wrap_Rec with Address => R'Address, Import;

begin   
   Put_Line (P.Image (W.I));  -- Should be 42 if properly overlaid

   --  This is the objective: to use dot notation on C pointed data:
   -- Put_Line (W.I.Image);
end Tag;

现在，目标是标记 Wrap_I。一旦我这样标记它，GNAT 就会警告 R 和 W 大小不同(显然，它会在运行时引发标签检查失败)。除了静态调用之外，我不需要调度或任何其他东西，所以本质上我想知道是否有一种方法可以拥有标记类型而不将其标记存储在内存中(仅静态使用)。

我有一个更传统的 B 计划，因此如果不可行，则无需建议替代方案。

谢谢!

Answer 1

您不能拥有没有标签的标记类型，因此这是不可行的。