2

当我取消引用指向双精度的指针时，下面的代码中发生了什么？

我的理由是，由于它是与 c 类型 1:1 对应的第一类类型，它应该能够在遵从之后直接使用值，特别是当指针跨越执行上下文而不是值时。

那么，当我从值中读取时，Lua 会创建一个临时的 double，复制到其中，然后打印它吗？还是会直接使用底层的双精度？

同样对于写作，Lua 是否能够生成直接写入双精度的程序集？

C代码：

#include <stdio.h>
static double x;

void set_double(double in)
{
    x = in;
}

double * get_double()
{
    return &x;
}

void print_double()
{
  printf("%f\n",x);
}

lua代码

ffi.cdef [[
  double * get_double();
  void print_double();
  void set_double(double in);
]]

local lib = ffi.load('test');

--lib.set_double(10)
--lib.print_double()
local d = lib.get_double()
d[0] = 20               -- directly writing to * double without any conversion,or redundant copies?
lib.print_double()
print(d[0])             -- directly reading from double without any conversion,or redundant copies?
4

1 回答 1

1

当数据在两种语言边界之间传递时，它会根据此表中列出的规则进行转换。

当您取消引用 adouble *并在此处读取其值时：

  print(d[0])

遵从之后，值从 adouble转换为 lua_Number，然后传回 Lua 空间。转换后的值是之后传入的值print。

对于像这里这样的写访问：

  d[0] = 20

lua_Number '20' 在跨越 C 边界时被转换为double第一个，然后存储到位置d指向的位置。

那么你能知道是否有任何额外的复制发生在幕后吗？当然是通过检查来源！处理转换的相关函数：

// lj_cdata.c:242
/* Convert TValue and set C data value. */
void lj_cdata_set(CTState *cts, CType *d, uint8_t *dp, TValue *o, CTInfo qual)

// lj_cdata.c:208
/* Get C data value and convert to TValue. */
int lj_cdata_get(CTState *cts, CType *s, TValue *o, uint8_t *sp)

ATValue显然是 luajit 如何在内部引用 lua 值和对象。当cdata从 lua 脚本中查询 a 的值时（例如，当你这样做时print(d[0])），lj_cdata_get被调用。lj_cdata_set用于处理将 lua 值写入 cdata（例如。d[0] = 20）。

基本上发生的事情是虚拟堆栈上的 lua_Number 值被memcpy编辑到由d. 在这种情况下，那将static double x;来自您的 C 模块。

唯一完成的额外复制是让 lua_Number 进入和离开虚拟堆栈。转换函数本身通过访问lua_State的内部字段直接处理该堆栈值。

其他感兴趣的函数在 lj_cconv.c 中：

// handles CType = TValue
lj_cconv_ct_tv
// handles TValue = CType
lj_cconv_tv_ct
// CType = CType
lj_cconv_ct_ct
于 2013-10-14T12:43:31.853 回答