Metatable
要理解lua的class，首先要先理解Metatable的作用和__index以及lua调用table里面的函数的时候搜索函数的逻辑：
1、直接当前表里面搜索函数 如果存在，直接调用，不存在继续
2、如果表里面不存在调用的函数，会查找表的Metatable的__index
a、如果__index是一个表，则在该表里面查找，回到第一步
b、如果__index是一个函数，则传递要查找的表、函数名字给__index这个函数，并返回函数的返回结果。如果函数返回一个函数则执行该函数，或者直接提示找不到函数，或者返回另外一个表，则又回到第一步在这个表里面查找
伪代码如下：
"index": The indexing access table[key].
function gettable_event (table,key)
local h
if type(table) == "table" then
local v = rawget(table,key)
if v ~= nil then return v end
h = Metatable(table).__index
if h == nil then return nil end
else
h = Metatable(table).__index
if h == nil then
error(···)
end
end
if type(h) == "function" then
return (h(table,key)) -- call the handler
else return h[key] -- or repeat operation on it
end
end
cocos2dx-lua的class实现
下面来看看cocos2dx的lua的class的实现方式
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 --如果参数是一个函数 则将这个函数设置为类的__create函数 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 --如果是一个c++的对象 -- 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 --__create函数就等于调用c++类的create函数
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 --如果只有一个父类 则设置Metatable为一个表
setMetatable(cls,{__index = cls.super})
else
setMetatable(cls,{__index = function(_,key) --如果有多个父类，则设置Metatable为一个函数，通过函数查找对应的函数
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
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) --另外总觉得这一句有问题，不是应该是setMetatableindex(mt.__index,index)吗，如果__index是函数，也应该扩展让其会搜索其Metatable或者自身之后，再使用setMetatableindex(mt,index)，才会生效，请大神指点迷津
end
end
end
setMetatableindex = setMetatableindex_
这里有两种情况：
对于从C++对象派生的情况，new出来的实际上并不是一个
table而是一个userdata这个时候其函数从两个地方来：而对于从纯lua对象派生的类，new出来的实例也是一个table
关于C++类搜索key的猜测和测试
对于a的问题，目前猜测是这样，因为Metatable的__index是一个函数，所以我猜测是这个函数做了一些特殊操作，因此进行了如下实验：
因为我们知道当在一个表或者userdata中找不到某个域的时候，回去__index中查找，如果还是__index是一个函数，则传入__index的参数是这个userdata或者表本身和要查找的域的名字，所以我们考虑设置__index函数为如下的函数：
function myindex(t,key)
return getMetatable(t)[key]
end
这样就告诉表或者userdata，如果找不到某个函数，就将自己和key传递个__index然后从自己的Metatable中查找。实验如下：
local Class1 = {}
function Class1:test()
print('test')
end
local Class2 = {}
local myIndex = function(t,key)
return getMetatable(t)[key]
end
Class1.__index = myIndex
function Class2:new()
local o = {}
local t = {__index = myIndex}
setMetatable(o,t)
local t1 = {__index = myIndex}
setMetatable(t,t1)
setMetatable(t1,Class1)
return o
end
local ta = Class2.new()
ta:test()
这段代码输出为test，也就是说可以调用到Class1的test函数
上面的代码Class1就只是o的Metatable的Metatable的Metatable，和我们cocos2dx返回的userdata的结构类似了
我们来看看这段代码是如何做到的：
来看调用关系
- 在ta中查找，找不到，继续
- ta中没有通过ta的Metatable（t）的__index查找，__index为函数，则将ta和’test’作为参数传递给该函数，该函数通过getMetatable(ta)即（t）查找，t中也没有，继续
- t中没有，通过t的Metatable（t1）的__index查找，也为函数，将t和’test’作为参数传递给函数，通过getMetatable(t)即(t1)中查找，t1中也没有，继续
- t1中没有，通过t1的Metatable(Class1）的__index查找，为函数，将t1和’test’作为参数传递给函数，通过getMetatable(t1)即(Class1)查找，找到，所以返回Class1的test函数
说明这种实现方式是可行的，那么再来看看cocos2dx是否是这样实现的。
通过创建一个派生自cocos2dx的一个userdata test，然后尝试输出下面的函数
print(getMetatable(test).__index(test,"visit”))
输出为函数，说明找到了函数，然后我们尝试重载一个函数来看看。
local tmpMetatablefunc = getMetatable
getMetatable = function(ta)
print(ta)
return tmpMetatablefunc(ta)
end
function ViewBase:setPosition(x,y)
print("--------")
local tmpindex = getMetatable(self).__index
getMetatable(self).__index = function(t1,key) print(t1,key) return tmpindex(t1,key) end
local a = getMetatable(self).__index(self,'setPosition')
print(a)
local b = getMetatable(self)['setPosition']
print("ttttttttttt")
print(a == b)
print("callfunction")
a(self,x,y)
--getMetatable(self)['setPosition'](self,y)
print("viewbase.setPosition")
end
通过__index来获取setPosition函数
当ViewBase重新定一个setPosition函数的时候，如果用这种方式来重载的时候，我发现出现了递归调用，通过上面的测试代码发现是因为通过__index查找到的函数就是我们在这里定义的ViewBase:setPosition本身，而不是我们想调用的其基类的setPosition。由此还可以推断出另外一个事实，那就是tolua++中__index并不是仅仅搜索Metatable，还是对tolua.getpeer进行搜索，因为通过上面的Class的定义我们知道ViewBase是放在tolua.getpeer的表的Metatale的__index中的。但是这里还没有证明__index会搜索getMetatable的key。
local tmpMetatablefunc = getMetatable
getMetatable = function(ta)
print(ta)
return tmpMetatablefunc(ta)
end
function ViewBase:setPosition1(x,y)
print("viewbase.setPosition")
end
我们重新定义的函数叫setPosition1，这样搜索的时候就不会在tolua.getpeer中找到setPosition了。然后调用setPosition1来设置位置，发现成功了，那就证明
__index函数确实会搜索Metatable的域了。
并且综合上面的分析，还可以知道其搜索顺序是先搜索tolua.getpeer中的函数，再搜索Metatable，这样就可以做到优先使用我们重新定义的函数而不是积累的函数，做到重定义父类函数的功能。
这里分析了这么多，其实还不如直接去看tolua++的源代码，不过因为时间有限，对lua的c接口还不熟悉，所以仅先通过在lua这边看到的现象进行一些分析知其然，以后再仇视时间区看看tolua++代码和lua代码，之其所以然吧。
对于C++类的派生，创建的时候其实是先从C++创建一个原始的userdata，然后通过设置其getpeer的Metatable来扩展其成员函数
其搜索顺序应该是先b后a
如果访问的是C++的原生函数，则是从getMetatable获取到，如果是派生出来的函数，则通过tolua.getpeer的表来得到其类或者父类的域
这个时候其函数和成员变量都来自于
instance[funcname] ——————>instance自身以及其Metatable的__index域（递归）
这里是直接创建一个表，然后将其Metatable指向其类，然后在访问instance的域的时候就会找到其类或者父类的域了
而如果要调用父类的函数而不是调用自己重载的函数，可以使用如下函数：
function getBaseFunc(data,name)
local a
if data.super ~= nil then
a = data.super[a]
end
if a == nil then
a = getMetatable(data)[a]
end
return a
end
如果调用指定级数的函数
可以直接使用ClassName.func(self,param)
cocos2dx搜索key的实现
/* Register a usertype
* It creates the correspoding Metatable in the registry,for both 'type' and 'const type'.
* It maps 'const type' as being also a 'type'
*/
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,ctype); /* 'type' is also a 'const type' */
}
在这个函数中调用了tolua_newMetatable函数
2. tolua_newMetatable 创建Metatable
/* Create Metatable * Create and register new Metatable */
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 */
lua_pop(L,1);
return r;
}
这个函数中就调用了tolua_classevent来设置Metatable的__index函数等Metafunction
3. tolua_classevents 设置么他function，其中就包括__index函数
/* Register class events
* It expects the Metatable on the top of the stack
*/
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,"__sub");
lua_pushcfunction(L,class_sub_event);
lua_rawset(L,"__mul");
lua_pushcfunction(L,class_mul_event);
lua_rawset(L,"__div");
lua_pushcfunction(L,class_div_event);
lua_rawset(L,"__lt");
lua_pushcfunction(L,class_lt_event);
lua_rawset(L,"__le");
lua_pushcfunction(L,class_le_event);
lua_rawset(L,"__eq");
lua_pushcfunction(L,class_eq_event);
lua_rawset(L,"__call");
lua_pushcfunction(L,class_call_event);
lua_rawset(L,"__gc");
lua_pushstring(L,"tolua_gc_event");
lua_rawget(L,LUA_REGISTRYINDEX);
/*lua_pushcfunction(L,class_gc_event);*/
lua_rawset(L,-3);
}
- class_index_event即为真正的搜索key的逻辑了
/* Class index function
* If the object is a userdata (ie,an object),it searches the field in
* the alternative table stored in the corresponding "uBox" table.
*/
static int class_index_event (lua_State* L)
{
int t = lua_type(L,1);
if (t == LUA_TUSERDATA) //如果是userdata
{
/* Access alternative table */
#ifdef LUA_VERSION_NUM /* new macro on version 5.1 */ //从peer里面搜索key
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)) //如果搜索到key，则直接返回
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
{ //在Metatable中搜索
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"); //c++的变量保存在".get"中
lua_rawget(L,-2); /* stack: obj key mt tget */
if (lua_istable(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,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;
}
class_table_get_index 函数
static int class_table_get_index (lua_State* L)
{
// stack: obj key ... obj
while (lua_getMetatable(L,-1)) { /* stack: obj key obj mt */
lua_remove(L,-2); /* stack: ... mt */
lua_pushvalue(L,2); /* stack: ... mt key */
lua_rawget(L,-2); /* stack: ... 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); /* stack: obj key ... mt tget key */
lua_rawget(L,-2); /* stack: obj key ... mt tget value */
if (lua_iscfunction(L,-1)) {
lua_call(L,0,1);
return 1;
} else if (lua_istable(L,-1)) {
return 1;
}
lua_pop(L,2);
}
}
lua_pushnil(L);
return 1;
}
