【语法算法】
一、先抛一个坑
写过延时回调的人一定见过这种两段式:先 local handle 声明,再把注册函数的返回值赋给它,而回调体里又引用了这个 handle。问题来了——scheduleScriptFunc 注册的那一刻,handle 还是 nil,回调函数却要在未来某次触发时读到它的真值。这段代码为什么能跑起来?答案是:upvalue 捕获的是变量本身,不是变量某一刻的值。
二、底层原理:upvalue 的开放与封闭
Lua 编译器为每个被内层函数引用的外层局部变量生成一个 upvalue。外层作用域还在栈上时,upvalue 处于"开放"状态,直接指向栈帧上那个槽位,内外读写的是同一个格子;外层函数返回、栈帧回收时,upvalue "封闭"——把值拷进自己私有的存储,从此这个变量由闭包独占托管。所以注册时 handle 为 nil 没关系:scheduleScriptFunc 返回的瞬间,返回值被写进同一个槽位;未来回调触发,读到的就是注册完成后的句柄。一个变量,越过"创建它的函数已退场"继续存活,这就是 upvalue 的全部秘密。
flowchart TD
A["local handle 声明<br/>栈上开槽,初值 nil"] --> B["scheduleScriptFunc 注册闭包<br/>闭包把 handle 捕为 upvalue(开放态)"]
B --> C["注册函数返回<br/>句柄写回同一槽位"]
C --> D["外层函数退场<br/>栈帧回收,upvalue 封闭"]
D --> E["未来某帧回调触发<br/>闭包读到封闭前的句柄真值"]
三、正确写法:自销毁延时器
function PerformWithDelayGlobal(listener, time)
local handle
handle =
global.Scheduler:scheduleScriptFunc(
function()
-- 先注销自己,再执行回调,天然免疫重入
global.Scheduler:unscheduleScriptEntry(handle)
listener()
end,
time,
false
)
return handle
end
四、这 13 行里的三个设计
五、内存视角的收口
闭包 = 函数原型 + upvalue 表。upvalue 按引用共享:两个闭包捕获同一个局部变量,封的是同一份存储,一边写另一边读得到。这意味着闭包是隐式的长生命周期引用——被 upvalue 拽住的对象,比它的创建者活得更久;排查"面板销毁了、对象却不回收",第一件事就是查有没有回调闭包把它捕获进 upvalue。让延时器自己注销自己,既是功能设计,也是内存纪律:每一条定时器都该有一个确定的终点,要么触发即焚,要么显式取消,没有第三种状态。
全站技术干货持续更新:996 引擎 / Lua 实战帖,语法、参数与示例一篇讲透。进入文章地图 · 查看全部 →
【语法算法】 next 的遍历本质就这一行: 传入上一个键,返回下一个键值对——不传上一个键就从第一个开始——next 是 …
【语法算法】 返回值的截取本质就这一行: 函数返回三个值,左侧三个变量各接一个——多余的返回值被丢弃,不足的补 nil——多…
【语法算法】 collectgarbage 的分步回收就这一行: "step" 模式让 GC 执行一步增量回收——参数 20…
【语法算法】 gmatch 的迭代本质就这一行: gmatch 返回一个迭代函数——每次调用返回下一个匹配——遍历完返回 n…
【语法算法】 xpcall 的错误处理函数就这一行: xpcall 和 pcall 的本质区别就一个:xpcall 可以传入…
【语法算法】 元方法 __index 设为函数的本质就这一行: 读取表中不存在的键时,Lua 调用 __index 函数——…