起因
在 log 里面看到一条报错，大概情况如下，在 socket 回调里面报了一条 attempt to call a nil value(大意)。然后类结构大概是这样的：
local MessageLayer = class("MessageLayer", CC.Layer)
function MessageLayer:showDisappearEffect()
-- do something
end
local a = class("layer", MessageLayer)
local scene = cc.Director:getInstance():getRunningScene()
local instance = a:create()
instance:addTo(scene)
然后这个 instance 被移除的情况下，它上面的 luafunction 调不到了。但是这个 instance 本身还是存在的。所以我们关注的问题是：在 lua 里，对于一个 userData 的实例，当 C++ 对象析构了之后，为什么它上面的 lua 方法会失效
尝试解决
打印了一下 userdata 的原表，大概这样写：
function ThemeScene:onEnter( )
for k,v in pairs(getmetatable(self)) do
print(k,v)
end
end
打印出的结果和我想的不太一样。
[LUA-print] getDefaultCamera function: 0x133752a0
[LUA-print] __index function: 0x13371448
[LUA-print] __newindex function: 0x13371480
[LUA-print] __gc function: 0x1336a220
[LUA-print] __eq function: 0x1336bad8
[LUA-print] __lt function: 0x1336bbb0
[LUA-print] __le function: 0x1336bbe8
[LUA-print] getNavMesh function: 0x13498df0
[LUA-print] __call function: 0x13374888
[LUA-print] __add function: 0x1336baa0
[LUA-print] __sub function: 0x13371410
[LUA-print] __mul function: 0x1336bb40
[LUA-print] __div function: 0x1336bb78
[LUA-print] setNavMesh function: 0x13498d88
[LUA-print] tolua_ubox table: 0x1336c028
[LUA-print] setNavMeshDebugCamera function: 0x13498d20
[LUA-print] setPhysics3DDebugCamera function: 0x13498cb0
[LUA-print] getPhysics3DWorld function: 0x13498c40
[LUA-print] createWithPhysics function: 0x133753b0
[LUA-print] create function: 0x13375340
[LUA-print] .classname cc.Scene
[LUA-print] createWithSize function: 0x13375308
[LUA-print] onProjectionChanged function: 0x13374a00
[LUA-print] initWithPhysics function: 0x1336e0c0
[LUA-print] setCameraOrderDirty function: 0x13374e90
[LUA-print] render function: 0x13374ef0
[LUA-print] stepPhysicsAndNavigation function: 0x13374990
[LUA-print] new function: 0x1336df70
[LUA-print] getPhysicsWorld function: 0x13374a68
[LUA-print] initWithSize function: 0x13375230
明显可以看出来，基本上所有的东西都是 c++ 里的方法，也就是 userdata 里的方法，那么我们自己定义的一些 lua 方法去哪里了呢？
前置知识
其实方向一开始就错了。本身 userdata 上面其实不应该直接绑定任何 lua 的东西的，正确的做法应该是套一层，然后在套娃的那个 luatable 里来做事，这个套娃一般称之为 peer
c++_obj 的 metatable 的__index 指向一个 c 函数，当访问 c++_obj 中的一个域的时候，会调用这个 c 函数，这个 c 函数会去查找各个关联表，来取得我们要访问的域，这其中就包括对 peer 表的查询。
具体解决
另外，在 functions.lua 里其实也可以找到证据
先看下 class 方法的完整代码
function class(classname, ...)
local cls = {__cname = classname}
local supers = {...}
for _, super in ipairs(supers) do
local superType = type(super)
assert(superType == "nil" or superType == "table" or superType == "function",
string.format("class() - create class \"%s\" with invalid super class type \"%s\"",
classname, superType))
if superType == "function" then
assert(cls.__create == nil,
string.format("class() - create class \"%s\" with more than one creating function",
classname));
-- if super is function, set it to __create
cls.__create = super
elseif superType == "table" then
if super[".isclass"] then
-- super is native class
assert(cls.__create == nil,
string.format("class() - create class \"%s\" with more than one creating function or native class",
classname));
cls.__create = function() return super:create() end
else
-- super is pure lua class
cls.__supers = cls.__supers or {}
cls.__supers[#cls.__supers + 1] = super
if not cls.super then
-- set first super pure lua class as class.super
cls.super = super
end
end
else
error(string.format("class() - create class \"%s\" with invalid super type",
classname), 0)
end
end
cls.__index = cls
if not cls.__supers or #cls.__supers == 1 then
setmetatable(cls, {__index = cls.super})
else
setmetatable(cls, {__index = function(_, key)
local supers = cls.__supers
for i = 1, #supers do
local super = supers[i]
if super[key] then return super[key] end
end
end})
end
if not cls.ctor then
-- add default constructor
cls.ctor = function() end
end
cls.new = function(...)
local instance
if cls.__create then
instance = cls.__create(...)
else
instance = {}
end
setmetatableindex(instance, cls)
instance.class = cls
instance:ctor(...)
return instance
end
cls.create = function(_, ...)
return cls.new(...)
end
return cls
end
关键关注 setmetatableindex 这里。
他的定义是这样的：
local setmetatableindex_
setmetatableindex_ = function(t, index)
if type(t) == "userdata" then
local peer = tolua.getpeer(t)
if not peer then
peer = {}
tolua.setpeer(t, peer)
end
setmetatableindex_(peer, index)
else
local mt = getmetatable(t)
if not mt then mt = {} end
if not mt.__index then
mt.__index = index
setmetatable(t, mt)
elseif mt.__index ~= index then
setmetatableindex_(mt, index)
end
end
end
setmetatableindex = setmetatableindex_
其实看到这里就很明显了，所有对 self 所做的操作其实都是放在这个 peer 表中的。
首先简单些一个 lua 类，继承自 cc.Layer，并且自己在 lua 里面定义一些方法
local testLayer = class("layerClass",cc.Layer)
function testLayer:testFunc()
print("testFunc")
end
然后我们将他实例化：
...
local layer = testLayer:create()
这个过程发生的事情，可以对照 class 方法里的东西
if not cls.ctor then
-- add default constructor
cls.ctor = function() end
end
cls.new = function(...)
local instance
if cls.__create then
instance = cls.__create(...)
else
instance = {}
end
setmetatableindex(instance, cls)
instance.class = cls
instance:ctor(...)
return instance
end
cls.create = function(_, ...)
return cls.new(...)
end
重点在于这个 new 方法里，如果他有__create 方法，那么就用__create 来创建实例。在此例中，便是 cc.Layer 的 create 方法。它返回了一个 layer 的 userData 实例。
接下来的关键，是这个 setmetatableindex，这是一个针对 userdata 重新定义的一个方法。看下它的实现
setmetatableindex_ = function(t, index)
if type(t) == "userdata" then
local peer = tolua.getpeer(t)
if not peer then
peer = {}
tolua.setpeer(t, peer)
end
setmetatableindex_(peer, index)
else
local mt = getmetatable(t)
if not mt then mt = {} end
if not mt.__index then
mt.__index = index
setmetatable(t, mt)
elseif mt.__index ~= index then
setmetatableindex_(mt, index)
end
end
end
setmetatableindex = setmetatableindex_
也很好懂，首先如果是要对一个 userdata 设置 metatable,不可以直接设置，而是去创建一个这个 userdata 的 peer 表。这个 peer 表可以看作是一个纯粹的 luatable，之后所有的操作都是在这个 peer 表上进行的。对 userdata 做索引，不但可以索引到它自己导出的 C++ 方法，也可以索引到这个 peer 表。那么，对于我们上面例子所定义的 testLayer:testFunc 它其实就是关联到了 peer 表上。
那么可以有一个猜想，当 C++ 对象析构的时候，是不是这个 peer 表被清掉了导致找不到 lua 方法呢？
简单写个例子佐证一下。
local node = cc.Node:create()
node:addTo(self)
node._val = 1000
print("<<<<<<<<<<<<<<")
print("node._peer",tolua.getpeer(node))
print("node._val:",node._val)
print("<<<<<<<<<<<<<<")
self:delayCall(0.01,function()
node:removeFromParent()
print("===========")
print("node._peer",tolua.getpeer(node))
print("node._val:",node._val)
print("===========")
end)
之后的输出验证了这点：
[LUA-print] <<<<<<<<<<<<<<
[LUA-print] node._peer table: 0x1fcb8e50
[LUA-print] node._val: 1000
[LUA-print] <<<<<<<<<<<<<<
[LUA-print] ===========
[LUA-print] node._peer nil
[LUA-print] node._val: nil
[LUA-print] ===========
C++ 内部实现
清理的过程
那么当一个 CCRef removeFromParent 之后,为什么 peer 表会被清除呢。
Ref::~Ref()
{
ScriptEngineProtocol* pEngine = ScriptEngineManager::getInstance()->getScriptEngine();
if (pEngine != nullptr && _luaID)
{
// if the object is referenced by Lua engine, remove it
pEngine->removeScriptObjectByObject(this);
}
...
luaEngine 里的代码
void LuaEngine::removeScriptObjectByObject(Ref* pObj)
{
_stack->removeScriptObjectByObject(pObj);
ScriptHandlerMgr::getInstance()->removeObjectAllHandlers(pObj);
}
关于 scripthandler 的东西我们不关心，我们关心的其实是这一句
_stack->removeScriptObjectByObject(pObj);
顺着继续看下去
void LuaStack::removeScriptObjectByObject(Ref* pObj)
{
toluafix_remove_ccobject_by_refid(_state, pObj->_luaID);
}
再继续
TOLUA_API int toluafix_remove_ccobject_by_refid(lua_State* L, int refid)
{
void* ptr = NULL;
const char* type = NULL;
void** ud = NULL;
if (refid == 0) return -1;
// get ptr from tolua_refid_ptr_mapping
lua_pushstring(L, TOLUA_REFID_PTR_MAPPING);
lua_rawget(L, LUA_REGISTRYINDEX); /* stack: refid_ptr */
lua_pushinteger(L, refid); /* stack: refid_ptr refid */
lua_rawget(L, -2); /* stack: refid_ptr ptr */
ptr = lua_touserdata(L, -1);
lua_pop(L, 1); /* stack: refid_ptr */
if (ptr == NULL)
{
lua_pop(L, 1);
// Lua stack has closed, C++ object not in Lua.
// printf("[LUA ERROR] remove CCObject with NULL ptr, refid: %d\n", refid);
return -2;
}
// remove ptr from tolua_refid_ptr_mapping
lua_pushinteger(L, refid); /* stack: refid_ptr refid */
lua_pushnil(L); /* stack: refid_ptr refid nil */
lua_rawset(L, -3); /* delete refid_ptr[refid], stack: refid_ptr */
lua_pop(L, 1); /* stack: - */
// get type from tolua_refid_type_mapping
lua_pushstring(L, TOLUA_REFID_TYPE_MAPPING);
lua_rawget(L, LUA_REGISTRYINDEX); /* stack: refid_type */
lua_pushinteger(L, refid); /* stack: refid_type refid */
lua_rawget(L, -2); /* stack: refid_type type */
if (lua_isnil(L, -1))
{
lua_pop(L, 2);
printf("[LUA ERROR] remove CCObject with NULL type, refid: %d, ptr: %p\n", refid, ptr);
return -1;
}
type = lua_tostring(L, -1);
lua_pop(L, 1); /* stack: refid_type */
// remove type from tolua_refid_type_mapping
lua_pushinteger(L, refid); /* stack: refid_type refid */
lua_pushnil(L); /* stack: refid_type refid nil */
lua_rawset(L, -3); /* delete refid_type[refid], stack: refid_type */
lua_pop(L, 1); /* stack: - */
// get ubox
luaL_getmetatable(L, type); /* stack: mt */
lua_pushstring(L, "tolua_ubox"); /* stack: mt key */
lua_rawget(L, -2); /* stack: mt ubox */
if (lua_isnil(L, -1))
{
// use global ubox
lua_pop(L, 1); /* stack: mt */
lua_pushstring(L, "tolua_ubox"); /* stack: mt key */
lua_rawget(L, LUA_REGISTRYINDEX); /* stack: mt ubox */
};
// cleanup root
tolua_remove_value_from_root(L, ptr);
lua_pushlightuserdata(L, ptr); /* stack: mt ubox ptr */
lua_rawget(L,-2); /* stack: mt ubox ud */
if (lua_isnil(L, -1))
{
// Lua object has released (GC), C++ object not in ubox.
//printf("[LUA ERROR] remove CCObject with NULL ubox, refid: %d, ptr: %x, type: %s\n", refid, (int)ptr, type);
lua_pop(L, 3);
return -3;
}
// cleanup peertable
lua_pushvalue(L, LUA_REGISTRYINDEX);
lua_setfenv(L, -2);
ud = (void**)lua_touserdata(L, -1);
lua_pop(L, 1); /* stack: mt ubox */
if (ud == NULL)
{
printf("[LUA ERROR] remove CCObject with NULL userdata, refid: %d, ptr: %p, type: %s\n", refid, ptr, type);
lua_pop(L, 2);
return -1;
}
// clean userdata
*ud = NULL;
lua_pushlightuserdata(L, ptr); /* stack: mt ubox ptr */
lua_pushnil(L); /* stack: mt ubox ptr nil */
lua_rawset(L, -3); /* ubox[ptr] = nil, stack: mt ubox */
lua_pop(L, 2);
//printf("[LUA] remove CCObject, refid: %d, ptr: %x, type: %s\n", refid, (int)ptr, type);
return 0;
}
这里清除了好几个东西，我们一个个来看。对 lua 栈操作不熟悉的可以参考这个参考文档
如果需要看 5.1 的参考，参考这个文档
首先明确的是，这个 refid 是 CCRef 里的 luaid。
先看下第一部分
// get ptr from tolua_refid_ptr_mapping
lua_pushstring(L, TOLUA_REFID_PTR_MAPPING);
lua_rawget(L, LUA_REGISTRYINDEX); /* stack: refid_ptr */
lua_pushinteger(L, refid); /* stack: refid_ptr refid */
lua_rawget(L, -2); /* stack: refid_ptr ptr */
ptr = lua_touserdata(L, -1);
lua_pop(L, 1); /* stack: refid_ptr */
if (ptr == NULL)
{
lua_pop(L, 1);
// Lua stack has closed, C++ object not in Lua.
// printf("[LUA ERROR] remove CCObject with NULL ptr, refid: %d\n", refid);
return -2;
}
tolua 在 lua5.1 的 binding 里面有一个重要的概念就是这个 LUA_REGISTRYINDEX 为 index 的全局注册表。我们姑且把这个表称之为为 Reg，暂时把他理解为一个 luatable。
通过阅读可以知道，他其实是拿出 Reg[TOLUA_REFID_PTR_MAPPING][refid]存到 ptr 这个变量里。
接下来，它清除了 Reg[TOLUA_REFID_PTR_MAPPING][refid]，也就是相当于调用了 Reg[TOLUA_REFID_PTR_MAPPING][refid] = nil
// remove ptr from tolua_refid_ptr_mapping
lua_pushinteger(L, refid); /* stack: refid_ptr refid */
lua_pushnil(L); /* stack: refid_ptr refid nil */
lua_rawset(L, -3); /* delete refid_ptr[refid], stack: refid_ptr */
lua_pop(L, 1); /* stack: - */
接下来的代码同理，只是换了一个表清.这次取得是 Reg[``TOLUA_REFID_TYPE_MAPPING ][ refid`]，里面存着一个 string.
// get type from tolua_refid_type_mapping
lua_pushstring(L, TOLUA_REFID_TYPE_MAPPING);
lua_rawget(L, LUA_REGISTRYINDEX); /* stack: refid_type */
lua_pushinteger(L, refid); /* stack: refid_type refid */
lua_rawget(L, -2); /* stack: refid_type type */
if (lua_isnil(L, -1))
{
lua_pop(L, 2);
printf("[LUA ERROR] remove CCObject with NULL type, refid: %d, ptr: %p\n", refid, ptr);
return -1;
}
type = lua_tostring(L, -1);
lua_pop(L, 1); /* stack: refid_type */
// remove type from tolua_refid_type_mapping
lua_pushinteger(L, refid); /* stack: refid_type refid */
lua_pushnil(L); /* stack: refid_type refid nil */
lua_rawset(L, -3); /* delete refid_type[refid], stack: refid_type */
lua_pop(L, 1); /* stack: - */
接下来是拿出 ubox 表。
这个 ubox 表有两种存的方法，有可能存在 Reg[type]["tolua_ubox"]里，也有可能直接存在 Reg[“tolua_ubox”]。如果前者不存在，那么就拿后者。
// get ubox
luaL_getmetatable(L, type); /* stack: mt */
lua_pushstring(L, "tolua_ubox"); /* stack: mt key */
lua_rawget(L, -2); /* stack: mt ubox */
if (lua_isnil(L, -1))
{
// use global ubox
lua_pop(L, 1); /* stack: mt */
lua_pushstring(L, "tolua_ubox"); /* stack: mt key */
lua_rawget(L, LUA_REGISTRYINDEX); /* stack: mt ubox */
};
之后，拿着这个 ubox 表，清除 tolua_value_from_root 这个表，也就是 tolua_remove_value_from_root 方法里写的。具体如下
tolua_remove_value_from_root(L, ptr);
具体定义
其实只干了一件事，那就是执行了 Reg[TOLUA_VALUE_ROOT][prt]=nil，也就是把 value_root 表里的 ptr 对应的项置空了。
TOLUA_API void tolua_remove_value_from_root (lua_State* L, void* ptr)
{
lua_pushstring(L, TOLUA_VALUE_ROOT);
lua_rawget(L, LUA_REGISTRYINDEX); /* stack: root */
lua_pushlightuserdata(L, ptr); /* stack: root ptr */
lua_pushnil(L); /* stack: root ptr nil */
lua_rawset(L, -3); /* root[ptr] = nil, stack: root */
lua_pop(L, 1);
}
接下来，就要在 ubox 表里取出来我们 ptr 所对应的值
lua_pushlightuserdata(L, ptr); /* stack: mt ubox ptr */
lua_rawget(L,-2); /* stack: mt ubox ubox[ptr] */
if (lua_isnil(L, -1))
{
// Lua object has released (GC), C++ object not in ubox.
//printf("[LUA ERROR] remove CCObject with NULL ubox, refid: %d, ptr: %x, type: %s\n", refid, (int)ptr, type);
lua_pop(L, 3);
return -3;
}
接下来就是我们的重点，peer 表。此时我们的栈顶是 reg ubox ubox[ptr]
这里先把 lua 的全局注册表 push 进站，然后把他作为 ubox[ptr]的新的 lua_env
// cleanup peertable
lua_pushvalue(L, LUA_REGISTRYINDEX);
lua_setfenv(L, -2);
然后在注册表的 env 之下，把顶层指向 userdata 的指针,也就是 ubox[ptr]取出来，把它所指向的 userdata 置空。
ud = (void**)lua_touserdata(L, -1);
lua_pop(L, 1); /* stack: mt ubox */
if (ud == NULL)
{
printf("[LUA ERROR] remove CCObject with NULL userdata, refid: %d, ptr: %p, type: %s\n", refid, ptr, type);
lua_pop(L, 2);
return -1;
}
// clean userdata
*ud = NULL;
最后，再把 ubox 里以 ptr 为 key 的值置空。ubox[ptr]=nil
lua_pushlightuserdata(L, ptr); /* stack: mt ubox ptr */
lua_pushnil(L); /* stack: mt ubox ptr nil */
lua_rawset(L, -3); /* ubox[ptr] = nil, stack: mt ubox */
至此，整个清理过程完成。
创建绑定的过程
经过上面代码的阅读我们明白了 lua 部分是如何清理的，对需要清理哪些表有了一个大概的了解。但是我们还需要知道一件事情：那就是我们的 userdata 是怎么调到 peer 表的。
那么相应的，我们需要看一下在绑定过程中，userdata 到底需要绑定哪些东西。
从开始注册绑定开始
其实观察下 lua 的注册过程，会发现这个东西：
TOLUA_API void tolua_usertype (lua_State* L, const char* type)
{
char ctype[128] = "const ";
strncat(ctype,type,120);
/* create both metatables */
if (tolua_newmetatable(L,ctype) && tolua_newmetatable(L,type))
mapsuper(L,type,ctype); /* 'type' is also a 'const type' */
}
然后重点是 tolua_newmetatable
static int tolua_newmetatable (lua_State* L, const char* name)
{
int r = luaL_newmetatable(L,name);
#ifdef LUA_VERSION_NUM /* only lua 5.1 */
if (r) {
lua_pushvalue(L, -1);
lua_pushstring(L, name);
lua_settable(L, LUA_REGISTRYINDEX); /* reg[mt] = type_name */
};
#endif
if (r)
tolua_classevents(L); /* set meta events */
// metatable[".classname"] = name
lua_pushliteral(L, ".classname"); // stack: metatable ".classname"
lua_pushstring(L, name); // stack: metatable ".classname" name
lua_rawset(L, -3); // stack: metatable
lua_pop(L,1);
return r;
}
其中的 tolua_classevents
TOLUA_API void tolua_classevents (lua_State* L)
{
lua_pushstring(L,"__index");
lua_pushcfunction(L,class_index_event);
lua_rawset(L,-3);
lua_pushstring(L,"__newindex");
lua_pushcfunction(L,class_newindex_event);
lua_rawset(L,-3);
lua_pushstring(L,"__add");
lua_pushcfunction(L,class_add_event);
lua_rawset(L,-3);
lua_pushstring(L,"__sub");
lua_pushcfunction(L,class_sub_event);
lua_rawset(L,-3);
lua_pushstring(L,"__mul");
lua_pushcfunction(L,class_mul_event);
lua_rawset(L,-3);
lua_pushstring(L,"__div");
lua_pushcfunction(L,class_div_event);
lua_rawset(L,-3);
lua_pushstring(L,"__lt");
lua_pushcfunction(L,class_lt_event);
lua_rawset(L,-3);
lua_pushstring(L,"__le");
lua_pushcfunction(L,class_le_event);
lua_rawset(L,-3);
lua_pushstring(L,"__eq");
lua_pushcfunction(L,class_eq_event);
lua_rawset(L,-3);
lua_pushstring(L,"__call");
lua_pushcfunction(L,class_call_event);
lua_rawset(L,-3);
lua_pushstring(L,"__gc");
lua_pushstring(L, "tolua_gc_event");
lua_rawget(L, LUA_REGISTRYINDEX);
/*lua_pushcfunction(L,class_gc_event);*/
lua_rawset(L,-3);
}
是不是这里的内容就很熟悉了，正如我们正常操作原表来做继承的过程。只不过这里很多东西都会存到注册表里，比纯粹 lua 里面的继承要复杂很多。
那当然我们要看下熟悉的__index 方法注册的静态方法。
static int class_index_event (lua_State* L)
{
int t = lua_type(L,1);
if (t == LUA_TUSERDATA)
{
/* Access alternative table */
#ifdef LUA_VERSION_NUM /* new macro on version 5.1 */
lua_getfenv(L,1);
if (!lua_rawequal(L, -1, TOLUA_NOPEER)) {
lua_pushvalue(L, 2); /* key */
lua_gettable(L, -2); /* on lua 5.1, we trade the "tolua_peers" lookup for a gettable call */
if (!lua_isnil(L, -1))
return 1;
};
#else
lua_pushstring(L,"tolua_peers");
lua_rawget(L,LUA_REGISTRYINDEX); /* stack: obj key ubox */
lua_pushvalue(L,1);
lua_rawget(L,-2); /* stack: obj key ubox ubox[u] */
if (lua_istable(L,-1))
{
lua_pushvalue(L,2); /* key */
lua_rawget(L,-2); /* stack: obj key ubox ubox[u] value */
if (!lua_isnil(L,-1))
return 1;
}
#endif
lua_settop(L,2); /* stack: obj key */
/* Try metatables */
lua_pushvalue(L,1); /* stack: obj key obj */
while (lua_getmetatable(L,-1))
{ /* stack: obj key obj mt */
lua_remove(L,-2); /* stack: obj key mt */
if (lua_isnumber(L,2)) /* check if key is a numeric value */
{
/* try operator[] */
lua_pushstring(L,".geti");
lua_rawget(L,-2); /* stack: obj key mt func */
if (lua_isfunction(L,-1))
{
lua_pushvalue(L,1);
lua_pushvalue(L,2);
lua_call(L,2,1);
return 1;
}
}
else
{
lua_pushvalue(L,2); /* stack: obj key mt key */
lua_rawget(L,-2); /* stack: obj key mt value */
if (!lua_isnil(L,-1))
return 1;
else
lua_pop(L,1);
/* try C/C++ variable */
lua_pushstring(L,".get");
lua_rawget(L,-2); /* stack: obj key mt tget */
if (lua_istable(L,-1))
{
lua_pushvalue(L,2);
lua_rawget(L,-2); /* stack: obj key mt value */
if (lua_iscfunction(L,-1))
{
lua_pushvalue(L,1);
lua_pushvalue(L,2);
lua_call(L,2,1);
return 1;
}
else if (lua_istable(L,-1))
{
/* deal with array: create table to be returned and cache it in ubox */
void* u = *((void**)lua_touserdata(L,1));
lua_newtable(L); /* stack: obj key mt value table */
lua_pushstring(L,".self");
lua_pushlightuserdata(L,u);
lua_rawset(L,-3); /* store usertype in ".self" */
lua_insert(L,-2); /* stack: obj key mt table value */
lua_setmetatable(L,-2); /* set stored value as metatable */
lua_pushvalue(L,-1); /* stack: obj key met table table */
lua_pushvalue(L,2); /* stack: obj key mt table table key */
lua_insert(L,-2); /* stack: obj key mt table key table */
storeatubox(L,1); /* stack: obj key mt table */
return 1;
}
}
}
lua_settop(L,3);
}
lua_pushnil(L);
return 1;
}
else if (t== LUA_TTABLE)
{
lua_pushvalue(L,1);
class_table_get_index(L);
return 1;
}
lua_pushnil(L);
return 1;
}
不要被长段代码吓到，其实我们关注的只有这些代码
if (t == LUA_TUSERDATA)
{
/* Access alternative table */
#ifdef LUA_VERSION_NUM /* new macro on version 5.1 */
lua_getfenv(L,1);
if (!lua_rawequal(L, -1, TOLUA_NOPEER)) {
lua_pushvalue(L, 2); /* key */
lua_gettable(L, -2); /* on lua 5.1, we trade the "tolua_peers" lookup for a gettable call */
if (!lua_isnil(L, -1))
return 1;
};
其实这里就很明显了，就是拿下这个 userdata 对应的 env 表。然后如果没有设置过 peer 表，此时的 env 就是 TOLUA_NOPEER，TOLUA_NOPEER 其实就是 LUA_REGISTRYINDEX
#define TOLUA_NOPEER LUA_REGISTRYINDEX /* for lua 5.1 */
然后在这个 env 表中索引。注意,lua_gettable 是会触发元方法的，比如__index。这也就是为什么我们会在前面的 lua 代码中看到我们的 peer 上不会直接设置属性，而是给他设置原表通过__index 触发。
同样的,__newindex 也是同样的套路，这里就不展开说明了，读者可以自行考究。
tolua 中的 peer 函数
最后，为了证明我们的想法，我们看下 tolua 中的 getpeer 和 setpeer，来佐证我们的想法。
#ifdef LUA_VERSION_NUM /* lua 5.1 */
tolua_function(L, "setpeer", tolua_bnd_setpeer);
tolua_function(L, "getpeer", tolua_bnd_getpeer);
#endif
setpeer 的实现
static int tolua_bnd_setpeer(lua_State* L) {
/* stack: userdata, table */
if (!lua_isuserdata(L, -2)) {
lua_pushstring(L, "Invalid argument #1 to setpeer: userdata expected.");
lua_error(L);
};
if (lua_isnil(L, -1)) {
lua_pop(L, 1);
lua_pushvalue(L, TOLUA_NOPEER);
};
lua_setfenv(L, -2);
return 0;
};
getpeer 的实现
static int tolua_bnd_getpeer(lua_State* L) {
/* stack: userdata */
lua_getfenv(L, -1);
if (lua_rawequal(L, -1, TOLUA_NOPEER)) {
lua_pop(L, 1);
lua_pushnil(L);
};
return 1;
};
实现与我们前面的观察基本一致，也是利用了 fenv 来造一个 peer_table。当然这只是 lua5.1 中的实现，lua 后续的版本已经不用这套实现了，但是基本思路也大同小异，读者可以自行考究。
结
没想到一个简单的问题引起了这么多看代码的过程。纸上得来终觉浅，绝知此事要躬行。如果只是浅尝辄止地看了下大概的实现，可能这次看代码经历也就没什么意义了。希望以后遇到了一个看起来简单或者直觉型的问题能够有时间，也有心思去细细看一遍整个代码的流程。带着问题多看源码永远都是一个好处理方法。希望今后遇到问题能多看看源码，有时候也没有想象中那么复杂。
欢迎来到这里！
我们正在构建一个小众社区，大家在这里相互信任，以平等 • 自由 • 奔放的价值观进行分享交流。最终，希望大家能够找到与自己志同道合的伙伴，共同成长。
注册 关于