lua中常量的实现及表的深拷贝实现

废话：好久没在这里写博客了。。。主要原因是我买了个域名hanxi.info并在github上搭建了个人博客。。。

 

　　lua中默认是没有c中的const常量的，在csdn上找到了一个使用setmetatable。参考http://blog.csdn.net/xiaodan007/article/details/6668015。主要原理就是重载__index方法（相当于get方法）和__newindex方法（相当于set方法）。但是他实现的是不支持表中有表的情况的。

下面是我修改后的代码：

function newConst( const_table )    --生成常量表功能
    function Const( const_table )
        local mt =
        {
            __index = function (t,k)
 6                 if type(const_table[k])=="table" then
 7                     const_table[k] = newConst(const_table[k])
                end
                return const_table[k]
            end,
            __newindex = function (t,k,v)
                print("*can't update " .. tostring(const_table) .."[" .. tostring(k) .."] = " .. tostring(v))
            end
        }
        return mt
    end

    local t = {}
    setmetatable(t, Const(const_table))
    return t
end

quan = {a = {[1]={2}}}
quan.b = quan
t = newConst(quan)
--t.b = 4
print(type(t))
print(quan.b)


for k,v in pairs(quan) do
print(k,v)
end

　　我也就是添加了6,7,8三行代码（刚开始想了半天以为递归了，结果思索了下，不是递归，只是函数的实现形式，调用newConst的次数就是读取表的深度，有环的表也不会出现问题的）。__index函数（看参数可以知道取元素t[k]）拿到表的元素,如果元素是表则先将表常量化。__newindex函数（看参数可以知道写元素t[k]=v）是给元素赋值，这里不让它实现赋值操作，直接打印错误提示。

　　为什么要实现这个常量功能，因为现在的手游项目中使用了lua表存放数值策划表，往往程序写代码时会直接去读取静态数据表，万一不小心把表元素赋值了，那就是把静态数据改了，会导致游戏数据错误的。实现了这个lua常量就不会出现静态数据表被修改了。

　　但是如果需要复制一份静态数据，然后作为临时数据在游戏逻辑中处理（一个同事就这么用过。。。），把静态数据经过了常量处理就再也不能被修改了，不常量化也不行，中途被修改了就再也还原不了静态数据了。因此就需要实现lua表的深拷贝功能了（默然的表与表之间赋值只是简单的别名而已）。先说下思路吧，实现的效果是：

local B = deepcopy(A,n)

　　把A拷贝给B，n为拷贝深度。如果n为nil时那就是说要拷贝到底了，这又出现了中有环的问题了，不考虑环的问题可以很简单的递归实现，递归结束标识就是判断n的值。代码就先不写了，晚了洗洗睡吧。下次有时间会贴代码的。。。

　　网上关于深拷贝表的资料很少。总共在下面几个网站上找到了答案。

http://blog.sina.com.cn/s/blog_49bdd36d0100fdc1.html（集合了带环的table和不带环的table的解决方案）

http://www.coronafaqs.com/how-do-i-copy-a-complex-table-in-lua/（就是上面那个带坏的table的解决方案）

http://lua-users.org/wiki/CopyTable（不带环的table的解决方案，还有一个浅拷贝实现）

https://gist.github.com/Deco/3985043 （牛逼的解决方案，非递归实现，能够处理带环的table）

　　先给上递归式的代码吧。

function table.deepcopy(object)
    local lookup_table = {}
    local function _copy(object)
        if type(object) ~= "table" then
            return object
        elseif lookup_table[object] then
            return lookup_table[object]
        end
        local new_table = {}
        lookup_table[object] = new_table
        for index, value in pairs(object) do
            new_table[_copy(index)] = _copy(value)
        end
        return setmetatable(new_table, getmetatable(object))
    end
    return _copy(object)
end

为啥带环的table用这个函数不会无限递归呢？关键之处在于lookup_table，它记录了所有遍历过的table的副本（新的深拷贝的table），如果出现遍历过的直接返回那个副本。第12行为何有两个_copy，这里用的很巧妙，举个例子吧。

t = {

    a = 1,

    b = 2,

    c = {

        x = 1,

        y = 2,

        z = 3,

    }

}

t[t.c] = t

t2 = table.deepcopy(t)

print(t2[t2.c])

如果index没有经过_copy处理，则打印出来的则是nil。为何经过_copy处理一定会是t2.c==t2呢？这也就是第6行判断的效果了，它返回的index就是t2.c(因为t2.c要么就是从第7行返回的，要没是新生成的副本，下次拷贝时还是取得同一个副本)。

接下来看第14行，这行不是我想要的，我的目的是拷贝出一份临时表，这分临时表要去除常量的特性，所以我修改如下

return setmetatable(new_table)

这样也就不保留常量特性了。

lua中使用局部函数的好处是很多的。look_up就用到了这个好处，如果lua不支持局部函数，那就只能将look_up表当做参数传递进去了。我之前实现了不支持环的版本，如下：

 

function table.deepcopy(t, n)
    local newT = {}
    if n == nil then    -- 默认为浅拷贝。。。
        n = 1
    end
    for i,v in pairs(t) do
        if n>0 and type(v) == "table" then
            local T = table.deepcopy(v, n-1)
            newT[i] = T
        else
            local x = v
            newT[i] = x
        end
    end
    return newT
end

非递归版本太牛逼了，不做介绍了自己想看源码的去看吧