Lua+闭包计数：upvalue的共享本质

【语法算法】

闭包计数的共享本质就这一行：

local count = 0
return function() count = count + 1 end

count 不是全局变量也不是局部变量——它是 upvalue，被闭包捕获后的外部局部变量。三个闭包捕获同一个 count，改的是同一份值。今天拆开。

一、捕获、共享、独立三段

闭包计数的三段。捕获：内层函数引用外层函数的局部变量——被引用的那个变量就变成了 upvalue，从栈上搬到了堆上。共享：两个闭包如果捕获的是同一个外层变量的同一个实例，它们共享同一份值——改了一个另一个也变。独立：如果外层函数被调用两次，每次调用都创建新的局部变量实例——两次调用的闭包各自独立，互不干扰。三段连起来：闭包计数的本质是"谁捕获了同一个变量实例，谁就共享它"。

graph TD
    A[外层函数 counter] --> B[局部变量 count = 0]
    A --> C[内层函数 add]
    A --> D[内层函数 get]
    C -->|捕获| B
    D -->|捕获| B
    B --> E[堆上的 upvalue]
    C --> F[闭包1]
    D --> G[闭包2]
    F -->|共享| E
    G -->|共享| E

二、计数器的正确写法

local function createCounter()
    local count = 0
    local function add(n)
        count = count + n
    end
    local function get()
        return count
    end
    local function reset()
        count = 0
    end
    return {
        add = add,
        get = get,
        reset = reset,
    }
end

local c1 = createCounter()
local c2 = createCounter()

c1.add(5)
c2.add(3)

print(c1.get())  -- 5
print(c2.get())  -- 3

c1 和 c2 调用了两次 createCounter()——每次调用都创建新的 count 局部变量——所以 c1 和 c2 的 count 各自独立。这就是"两次调用两个实例"的独立段。

三、共享与独立的分界线

共享和独立的分界线就一条：是否来自同一次外层函数调用。同一次调用创建的闭包共享同一份 upvalue——不同次调用的闭包各自独立。这条分界线在实际项目里的意义是：模块级单例的闭包永远只有一份（模块只被 require 一次），而对象方法的闭包每个实例各有一份（每个对象调用一次构造函数）。分清这两条线，闭包计数就不会出错。最后一条：count = count + 1 这行代码里 count 是 upvalue 而不是全局变量——Lua 的作用域规则是"先找局部，再找 upvalue，最后找全局"——内层函数写 count 的时候，Lua 自动找到了外层的局部变量并把它提升为 upvalue，这个过程完全是自动的，不需要任何关键字。