Luajit FFI 直接引用语义，适用于不需要转换的值。

2013-10-14 11:46:15
收藏：0
阅读：96
评论：1

当我对指向 double 的指针进行解引用时，下面的代码在发生什么？

我的推理是，作为具有一对一对应关系的一类类型，应该能够在解引用后直接使用值，特别是当指针跨越执行上下文时。

因此，当我从值中读取时，Lua是否会创建一个临时的 double，将其复制并打印出来？还是直接使用底层的 double？

类似地，Lua能否生成汇编代码直接写入 double？

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               -- 直接写入 * double，是否需要转换或冗余复制？
lib.print_double()
print(d[0])             -- 直接读取 double，是否需要转换或冗余复制？
点赞
用户234175
用户234175

当数据在两种语言之间传递时，根据此表格上列出的规则进行转换。

当您对double *进行解引用并在此处读取其值时：

  print(d[0])

在解开引用后，该值从double转换为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)

TValue显然是LuaJIT内部引用lua值和对象的方式。 当从lua脚本中查询cdata的值时（例如，当您执行print(d[0])时），将调用lj_cdata_get。lj_cdata_set用于处理将Lua值写入到cdata（例如，d[0] = 20）。

基本上发生的情况是lua_Number值在虚拟堆栈上被memcpy到 d指向的内存位置。在这种情况下，这将是您的C模块中的static double x;。

唯一额外复制的是将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-14 12:43:31

作者:

用户153865

用户153865
推荐文章