Question

Ada编码器，

我正在尝试将指针数组传递给Ada的C函数。我是Ada的新手。

代码如下：

with Interfaces.C; use Interfaces.C;
with asm_generic_int_ll64_h; use asm_generic_int_ll64_h;

block : array(Integer range 1 .. 6) of access uu_u8;
one : aliased uu_u8 := uu_u8(1);
two : aliased uu_u8 := uu_u8(2);
three : aliased uu_u8 := uu_u8(3);
four : aliased uu_u8 := uu_u8(4);
five : aliased uu_u8 := uu_u8(5);
six : aliased uu_u8 := uu_u8(6);

ans : uu_u8;

begin

block(1) := one'Access;
block(2) := two'Access;
block(3) := three'Access;
block(4) := four'Access;
block(5) := five'Access;
block(6) := six'Access;

call_c_func(block(1));

ans := block(1).all;

最后一行导致错误：

提高了STORAGE_ERROR：堆栈溢出（或错误的内存访问）

提前谢谢！

Answer 1

根据您的评论，很明显您使用了错误的数组类型。

您在Ada端的数组是一个指向uu_8的指针的数组。但是，在C端，期望__u8*，即指向__u8值的指针。类型不兼容。

在C语言中，数组通常作为指向第一个元素的指针传递。就是这种情况。因此，您在Ada端实际需要的是其中包含uu_8值的数组：

type My_Array is array (Integer range <>) of uu_8;
pragma Convention (C, My_Array);

Block : My_Array := (1 => 1, 2 => 2, 3 => 3, 4 => 4, 5 => 5, 6 => 6);

function read_i2c_block_data
  (file : int;
   command : asm_generic_int_ll64_h.uu_u8;
   length : asm_generic_int_ll64_h.uu_u8;
   values : in out My_Array) return asm_generic_int_ll64_h.uu_s32;
pragma Import (C, read_i2c_block_data, "read_i2c_block_data");

具有约定C并在通过C调用约定导入的函数中使用时，编译器会将Ada数组映射到指向第一个元素的指针。 in out告诉Ada C函数可以修改数组。

访问类型的Ada数组

1 个答案: