快速掌握Lua 5.3 —— 调试库

Posted 2022-12-08 VermillionTear

Q：什么是活动函数？

A：程序中被调用但还未执行完成的函数。

function g()
    --[[ 此时函数"g"被调用但还未执行完成，是活动函数。所以这里获取的是函数"g"的信息。
         "debug.getinfo(2)"获取的才是函数"f"的信息。]]
    local x = debug.getinfo(1, "n")
    for k, v in pairs(x) do 
        print(k, v)
    end 
end

function f()
    -- 此时函数"f"被调用但还未执行完成，是活动函数。所以这里获取的是函数"f"的信息。
    local x = debug.getinfo(1, "n")
    for k, v in pairs(x) do 
        print(k, v)
    end 
    print()

    g()
end

f()
--[[ result: 
     namewhat        global
     name    f

     namewhat        global
     name    g
]]

Q：什么是调用栈？

A：Lua存储活动函数所使用的栈。每个线程都有自己独立的调用栈。

Q：什么是调用栈的级别？

A：调用调试库函数的函数的栈级别是1，调用该函数的函数的栈级别是2，以此类推。

function foo()
    -- 调用调试库的函数。
    ...
end

function goo()
    foo()
end

function hoo()
    goo()
end

--[[ 被调用的调试库函数栈级别为0，"foo"的栈级别为1，"goo"的栈级别为2，"hoo"的栈级别为3。
     如果还有别的函数调用"hoo()"，则栈级别以此类推。]]
hoo()    

Q：如何查看调用栈信息？

A：

--[[ debug.traceback([thread,] [message [, level]])
     首先打印"message"，接着从第"level"个栈级别开始打印"thread"线程中的调用栈信息。
     如果"message"不是字符串或"nil"，则函数不做任何处理直接返回"message"。
     "thread"默认为当前线程，"level"默认为1。]]
function foo()
    print(debug.traceback("This is traceback: "))
    print()
    print(debug.traceback("Traceback from stack_level 2: ", 2))
    print()
    print(debug.traceback())
end

function goo()
    foo()
end

function hoo()
    goo()
end

hoo()
--[[ results: 
     This is traceback: 
     stack traceback:
             E:\\a.lua:2: in function 'foo'
             E:\\a.lua:8: in function 'goo'
             E:\\a.lua:12: in function 'hoo'
             E:\\a.lua:15: in main chunk
             [C]: in ?

     Traceback from stack_level 2: 
     stack traceback:
             E:\\a.lua:8: in function 'goo'
             E:\\a.lua:12: in function 'hoo'
             E:\\a.lua:15: in main chunk
             [C]: in ?

     table: 00522F78
]]

Q：如何查看函数信息？

A：

--[[ debug.getinfo([thread,] f [, what])
     返回一个"table"，其中包含线程"thread"中的函数"f"由"what"指定的相关信息。
     "thread"默认为当前线程。"f"可以是函数名，也可以是一个数值，如果是数值则代表该函数的栈级别。
     如果通过名字指定的函数不存在，则报错；如果通过数值指定的函数不存在，则返回"nil"。
     如果"what"不指定，默认情况下返回除合法行号表外的所有域：
         source: 创建这个函数的"chunk"的名字。 
                 如果"source"以'@'打头，表示这个函数定义在一个文件中，而'@'之后的部分就是文件名。
                 若"source"以'='打头，表示之后的部分由用户行为来决定如何表示源码。
                 其它的情况下，这个函数定义在一个字符串中，而"source"正是那个字符串。
         short_src: 一个“可打印版本”的"source"，用于出错信息。
         linedefined: 函数定义开始处的行号。
         lastlinedefined: 函数定义结束处的行号。
         what: 如果函数是一个Lua函数，则为一个字符串"Lua"；
               如果是一个C函数，则为"C"；
               如果是一个"chunk"的主体部分，则为"main"。
         currentline: 给定函数正在执行的那一行。当提供不了行号信息的时候，"currentline"被设为-1。
         name: 给定函数的一个合理的名字。
               因为Lua中的函数是"first-class values"，所以它们没有固定的名字。
               一些函数可能是全局复合变量的值，另一些可能仅仅只是被保存在一个"table"的某个域中。
               Lua会检查函数是怎样被调用的，以此来找到一个适合的名字。
               如果它找不到名字，该域就被设置为"NULL"。
         namewhat: 用于解释"name"域。
                   其值可以是"global"，"local"，"method"，"field"，"upvalue"，或是""，
                   这取决于函数怎样被调用。（Lua用空串表示其它选项都不符合）
         istailcall: 如果函数以尾调用形式调用，这个值为"true"。在这种情况下，当前栈级别的调用者不在栈中。
         nups: 函数的"upvalue"个数。
         nparams: 函数固定形参个数（对于C函数永远是0）。
         isvararg: 如果函数是一个可变参数函数则为"true"（对于C函数永远为"true"）。
         func: 函数本身。
         activelines: 合法行号表。
                      表中的整数索引用于描述函数中哪些行是有效行。
                      有效行指有实际代码的行，即你可以置入断点的行。无效行包括空行和只有注释的行。
     "what"可以指定如下参数，以指定返回值"table"中包含上面所有域中的哪些域：
         'n': 包含"name"和"namewhat"域；
         'S': 包含"source"，"short_src"，"linedefined"，"lastlinedefined"以及"what"域；
         'l': 包含"currentline"域；
         't': 包含"istailcall"域；
         'u': 包含"nup"，"nparams"以及"isvararg"域；
         'f': 包含"func"域；
         'L': 包含"activelines"域；]]
-- 简易版"debug.traceback()"。
function traceback()
    local level = 1
    while true do
        local info = debug.getinfo(level, "Sl")
        if not info then break end
        if info.what == "C" then     -- is a C function?
            print(level, "C function")
        else     -- a Lua function
            print(string.format("[%s]:%d", info.short_src, info.currentline))
        end
        level = level + 1
    end
end

Q：如何调试函数局部变量信息？

A：

--[[ debug.getlocal([thread,] f, local)
     返回在线程"thread"中栈级别为"f"处函数的索引为"local"的局部变量的名字和值。
     "thread"默认为当前线程。此函数不仅用于访问显式定义的局部变量，也包括形参、临时变量等。
     函数"f"中第一个形参或是定义的第一个局部变量的索引为1，然后遵循在代码中定义的顺序索引值递增，
     只计算函数当前作用域中的活动变量。
     负索引代表可变参数。-1指第一个可变参数，以此类推。如果指定的"local"处没有变量，则返回"nil"。
     如果指定的"f"越界，则报错。（你可以调用"debug.getinfo()"来检查栈级别是否合法）
     以'('开头的变量名表示没有名字的变量（比如是循环控制用到的控制变量，或是去除了调试信息的代码块）。
     "f"也可以是一个函数。这种情况下，此函数仅能返回"f"形参的名字。]]
function foo(a, b)    -- 1, 2
    local x    -- 3
    do local c = a - b end    -- "c"的作用范围只在"do-end"之间，所以不会在函数"foo"中被计数。
    local a = 1    -- 4
    while true do
        local name, value = debug.getlocal(1, a)    -- 这里的"a"是上面"local a = 1"的"a"。
        if not name then break end
        print(name, value)
        a = a + 1    -- 索引+1，下一个变量。
    end
end

foo(10, 20)
--[[ result: 
     a       10
     b       20
     x       nil
     a       4
]]
print()
for i = 1, 4 do 
    print(debug.getlocal(foo, i))    -- 提供函数名字，只能打印其形参。
end
--[[ result: 
     a
     b
     nil
     nil
]]

--[[ debug.setlocal([thread,] level, local, value)
     与"debug.getlocal()"的功能相对，
     将"value"赋给"thread"线程中栈级别为"level"处函数的索引为"local"的局部变量。
     "thread"默认为当前线程。"level"只能指定为栈级别，而不能指定为函数名称。
     关于索引以及异常返回值，参见"debug.getlocal"函数。
     如果执行成功，函数返回局部变量的名字。]]
function foo(a, b)    -- 1, 2
    local x    -- 3
    do local c = a - b end    -- "c"的作用范围只在"do-end"之间，所以不会在函数"foo"中被计数。
    local a = 1    -- 4
    print(debug.getlocal(1, 1))    -- a    10
    debug.setlocal(1, 1, 50)
    print(debug.getlocal(1, 1))    -- a    50
end

foo(10, 20)

Q：如何调试”metatable”信息？

A：

--[[ debug.getmetatable(value)
     返回"value"的"metatable"，若"value"没有"metatable"则返回"nil"。

     debug.setmetatable(value, table)
     将"value"的"metatable"设置为"table"（可以为"nil"），函数返回"value"。]]
local t1 = __index = function (table, key)
        return "metatable 1"
    end


local t2 = __index = function (table, key)
        return "metatable 2"
    end


local t = 
setmetatable(t, t1)
print(t1, debug.getmetatable(t))    --> table: 00802C50    table: 00802C50
debug.setmetatable(t, t2)
print(t2, debug.getmetatable(t))    --> table: 00802D60    table: 00802D60

Q：如何调试”userdata”信息？

A：

--[[ debug.getuservalue(u)
     返回关联在"u"上的Lua值。如果"u"不是"userdata"，则返回"nil"。

     debug.setuservalue(udata, value)
     将"value"设置为"udata"的关联值。"udata"必须是一个"full userdata"。]]

附加：

1、尽可能只在调试过程中使用调试库中的函数。首先，库中一些函数的性能并不卓越。其次，它打破了Lua语言中一些基本的规则，比如函数中定义的局部变量无法在其外部被访问。最后，你一定不希望在你的最终产品中见到它的身影，所以你可以使用，debug = nil来剔除调试库，同时减少最终产品的大小。
2、debug.getinfo()对于”Tail Calls”，只将被包裹函数计入栈级别的计算，包裹函数不计入，

function g()
    local x = debug.getinfo(1)    -- 这里获取的是函数"g"的信息。函数"f"不计入栈级别的计算。

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

function f()
    return g()
end

f()

所以要查看”Tail Calls”的包裹函数信息，请直接指定函数名。