问题
在Lua中,因为函数也是第一类值,所以会出现将函数作为另一个函数的参数,或者函数作 为函数的返回值。这种机制在很多地方都能代码更灵活更简洁,例如:
table.sort(table [,comp])
这里的comp就要求传入一个函数,我们在调用时,大概会有如下形式:
table.sort(t, comp) -- 直接写函数名 table.sort(t, local_comp) -- 某个局部函数 table.sort(t, function (a, b) xxx end ) -- 临时构造一个匿名函数
其中最后一种方式最为灵活,任意时候在需要的时候构造一个匿名函数。这种在Lua自身的 环境中使用,自然没有问题。但是,当我们在C/C++中注册一些函数到Lua环境中,而这些 函数也需要使用函数参数的时候,问题就出来了。
Lua本身是不支持将Lua函数作为函数参数传入C/C++的,不管这个想要传入的函数是全局的 、局部的、或者匿名的(匿名的本质上也算局部的)。一般情况下,我们唯一的交互方式, 不是传入一个函数,而是一个全局函数名。C/C++保存这个函数名,在需要回调Lua的时候, 就在Lua全局表中找到这个函数(根据函数名),然后再调用之。情况大致如下:
function lua_func () xxx end cfunc(lua_func) -- wrong cfunc("lua_func") -- right
我们这回的脚本模块,策划会大量使用需要回调函数的C/C++函数。显然,创建大量的全局 函数,先是从写代码的角度看,就是很伤神的。
解决
我们最终需要的方式,大概如下:
cfunc(lua_func) -- ok cfunc(function () xxx end) -- ok local xxx = function () xxx end cfunc(xxx) -- ok
要解决这个问题,我的思路是直接在Lua层做一些包装。因为C/C++那边仅支持传入一个全局 函数名(当然不一定得全局的,根据实际情况,可能在其他自己构造的表里也行),也就是 一个字符串,所以我的思路就是将Lua函数和一个唯一的字符串做映射。:
function wrap (fn) local id = generate_id() local fn_s = "__callback_fn"..id _G[fn_s] = fn return fn_s end
这个wrap函数,就是将一个函数在全局表里映射到一个字符串上,那么在使用时:
cfunc(wrap(function () xxx end)) cfunc(const char *fn_name, xxx); -- cfunc的原型
cfunc是C/C++方注册进Lua的函数,它的原型很中规中矩,即:只接收一个函数名,一个字 符串,如之前所说,C/C++要调用这个回调函数时,就根据这个字符串去查找对应的函数。 脚本方在调用时,如果想传入一个匿名函数了,就调用wrap函数包装一下即可。
一个改进
上面的方法有个很严重的问题,在多次调用wrap函数后,将导致全局表也随之膨胀。我们需 要想办法在C/C++完成回调后,来清除wrap建立的数据。这个工作当然可以放到C/C++来进行 ,例如每次发生回调后,就设置下全局表。但这明显是不对的,因为违背了接口的设计原则 ,这个额外的机制是在Lua里添加的,那么责任也最好由Lua来负。要解决这个问题,就可以 使用Lua的metamethods机制。这个机制可以在Lua内部发生特定事件时,让应用层得到通知。 这里,我们需要关注__call事件。
Lua中只要有__call metamethod的值,均可被当作函数调用。例如:
ab(1, 2)
这里这个函数调用形式,Lua就会去找ab是否有__call metamethod,如果有,则调用它。这 个事实暗示我们,一个table也可以被调用。一个改进的wrap函数如下:
local function create_callback_table (fn, name) local t = {} t.callback = fn setmetatable (t, {__call = -- 关注__call function (func, ...) -- 在t(xx)时,将调用到这个函数 func.callback (...) -- 真正的回调 del_callback (name) -- 回调完毕,清除wrap建立的数据 end }) return t end function wrap (fn) local id = generate_func_id() -- 产生唯一的id local fn_s = "_callback_fn"..id _G[fn_s] = create_callback_table(fn, fn_s) -- _G[fn_s]对应的是一个表 return fn_s end
在我们的C/C++程序中,依然如往常一样,先是从_G里取出函数名对应的对象。虽然这个对 象现在已经是一个table。然后lua_call。
上面的代码是否会在原有基础上增加不可接受的性能代价?虽然我没有做过实际测试,但是 从表明看来,排除meta table在Lua里的代价,也就多了几次Lua函数调用。
最后,感叹一下,Lua里的table及metatable机制,实在非常强大。这种强大不是功能堆砌 出来的强大,而是简单东西组合出来的强大。其背后的设计思想,着实让人佩服。
4.26.2011 Update
之前的文中说“Lua本身是不支持将Lua函数作为函数参数传入C/C++的“,这句话严格来说不 正确(由某网友评论)。假设函数cfun由c/c++注册,我们是可以编写如下代码的:
cfunc(print) -- 传入Lua函数
但是问题在于,我们无法取出这个函数并保存在c/c++方。Lua提供了一些接口用于取cfunc 的参数,例如luaL_checknumber(封装lua_tonumber)。但没有类似luaL_checkfunction的 接口。Lua中的table有同样的问题。究其原因,主要是Lua中的函数没有直接的c/c++数据结 构对应。
;; END
posted on 2011-04-24 17:28 Kevin Lynx 阅读(3983) 评论(9) 编辑 收藏 引用 所属分类: lua
评论
# re: 传递Lua函数到C/C++中 2011-04-24 20:40 dourgulf
收藏,一直没有下决心来好好学习一下LUA 回复 更多评论
# re: 传递Lua函数到C/C++中 2011-04-25 11:36 oo
"Lua本身是不支持将Lua函数作为函数参数传入C/C++的"
???
===============================================================================
test.c
===============================================================================
static int ctest(lua_State * L)
{
lua_pushstring(L, "hello");
lua_call(L, 1, 0);
return 0;
}
int main()
{
lua_State * L = luaL_newstate();
luaL_openlibs(L);
luaL_Reg funs [] = {
{"ctest", ctest},
{NULL, NULL}
};
luaL_register(L, "_G", funs);
luaL_dofile(L, "test.lua");
lua_close(L);
}
===============================================================================
===============================================================================
test.lua
===============================================================================
ctest(print)
===============================================================================
回复 更多评论
# re: 传递Lua函数到C/C++中 2011-04-25 13:19 Kevin Lynx
@oo
这句话是欠妥,3Q。不过,因为在c/c++里没有映射Lua函数的类型,所以没有办法把传入的print取出来。这无法满足回调的需求。 回复 更多评论
# re: 传递Lua函数到C/C++中 2011-05-08 03:44 thelONE
"在我们的C/C++程序中,依然如往常一样,先是从_G里取出函数名对应的对象。虽然这个对象现在已经是一个table。然后lua_call"
这么做的效果不好, 你可以考虑用在C++里用lua_ref引用你在lua里创建的函数, 在调用的时候可以提高性能. 回复 更多评论
# re: 传递Lua函数到C/C++中 2011-05-08 19:36 Kevin Lynx
@thelONE
有没有做过这方面的测试? 回复 更多评论
# re: 传递Lua函数到C/C++中 2013-04-21 19:32 fy
=.= 我发现当个纯伸手党也挺困难的,有人指路的情况下generate_func_id神马的都不想自己写啊。。。
话说那个改进型只是考虑了函数被调用一次,如果是比如 KeyInput 这种多次回调,就完全无用了啊。
同样,在多次回调的时候,能不能通过某种方式得到相当于函数引用的一个全局唯一的id,这样就不用每次通过name来lua_getglobal了?
回复 更多评论
# re: 传递Lua函数到C/C++中 2013-04-21 21:38 fy
@fy
补上一个自己撸出来的版本:
math.randomseed(os.time())
function generate_id(length)
local rand = ""
length = length or 13
local allchars = 'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789'
for i=1,length do
code = string.char(math.random(48, 122))
while string.find(allchars, code) == nil do
code = string.char(math.random(48, 122))
end
rand = rand .. code
end
rand = '__callback_fn_' .. rand
while _G[rand] do
rand = generate_id(length)
end
return rand
end
function wrap (fn)
local id = generate_id()
local fn_s = "__callback_fn_" .. id
_G[fn_s] = fn
return fn_s
end
回复 更多评论
# re: 传递Lua函数到C/C++中 2013-04-22 22:30 fy
@fy
由于对 lua 不太了解险些出了大事...
上面那个程序有时候会报 lua: test.lua:12: malformed pattern (missing ']')
错误,这是因为随机随到了 [ 字符!
于是 string.find 就把这一个字符当成了不完整的正则,从而导致错误。。。
下面是修改后的版本:
function generate_id(length)
local rand = ""
length = length or 13
local allchars = 'ABCDEFGHIJKLMNOPQRSTUVWXYZ'
for i=1,length do
code = string.char(math.random(65, 90))
rand = rand .. code
end
rand = '_' .. rand
while _G[rand] do
rand = generate_id(length)
end
return rand
end
回复 更多评论
# re: 传递Lua函数到C/C++中 2013-04-24 20:00 Kevin Lynx
@fy
谢谢有价值的回复。
距离这篇博客的写作时间太久了,我只能简单说明下。实际上我们项目中最后使用的方式是@thelONE在评论中提到的方法。即,在lua中直接传递函数对象(全局函数、局部函数、匿名函数),C/C++中先通过luaL_ref将这个函数对象建立索引并保存进注册表,在luaL_unref之前,这个函数对象由于存在“引用”所以不会被垃圾回收。那么,程序里就可以保存luaL_ref这个索引值。当要调用这个函数时,就根据该索引从注册表中取出(大概是lua_gettable)。实际操作你可以自己查查。这种方式感觉上效率应该会高不少,对于脚本方的使用也更自由。但是有个严重的问题,就是当我们进行效率检查时,定位脚本不太容易,因为C/C++这边没有有效的方式去标识一个lua函数对象(当然后面还是使用了些其他方法,例如使用debug库获得函数对象的位置信息)。