Question

我无法确定此代码崩溃的原因：

#define MACOSX
#include <assert.h>
#include <stdint.h>
#include <stdio.h>
#include <ffi/ffi.h>

void sum(int64_t *a, int64_t *b, int64_t *c) {
      *c = *a + *b;
}

int main() {
      int64_t ai = 1, bi = 2, ci;

      ffi_cif cif;
      ffi_status status;
      ffi_type *arg_types[] = {
            &ffi_type_pointer,
            &ffi_type_pointer,
            &ffi_type_pointer,
      };
      void *args[] = {&ai, &bi, &ci};

      status = ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 3, &ffi_type_void, arg_types);
      assert(status == FFI_OK);

      ffi_call(&cif, FFI_FN(sum), NULL, args);

      printf("%lld\n", ci);

      return 0;
}

失败，出现分段错误错误。据我所知ffi_call，如果ffi_prep_cif调用ffi_type_void，则必须忽略返回值指针。

更新

lldb输出：

* thread #1, queue = 'com.apple.main-thread', stop reason = EXC_BAD_ACCESS (code=1, address=0x1)
    frame #0: 0x0000000100000dd4 a.out`sum(a=0x0000000000000001, b=0x0000000000000002, c=0x00007fff5fbffac0) at main2.c:8
   5    #include <ffi/ffi.h>
   6    
   7    void sum(int64_t *a, int64_t *b, int64_t *c) {
-> 8          *c = *a + *b;
   9    }
   10   
   11   int main() {

因此，它在void函数内崩溃（在a加下划线之前尝试取消引用*？，a。

Answer 1

您的间接级别存在问题。您的CIF对于显示的函数是正确的，但您发送给它的实际参数（数组args的元素）不是。

参数数组的元素应该是指向参数值的指针。当函数参数是指针类型时，这意味着您必须将指针传递给适当的指针值。相反，您尝试直接传递实际值。因此，函数实现尝试取消引用a（1）的整数值，就像它是指针值一样。

对于带有签名和CIF的函数，对它的FFI调用可能如下所示：

  int64_t ai = 1, bi = 2, ci;
  int64_t *ap = &ai, *bp = &bi, *cp = &ci;
  void *args[] = {&ap, &bp, &cp};  // <-- pointers to the (pointer) arguments

  // ...

  ffi_call(&cif, FFI_FN(sum), NULL, args);

具有void函数的libffi分段错误

1 个答案: