Lua+元方法__concat：自定义拼接的行为本质

【语法算法】

元方法 __concat 的触发就这一行：

setmetatable(t, { __concat = function(a, b) return concat_custom(a, b) end })

当 .. 的任一操作数是带元表的表且另一个操作数不是字符串或数字时，Lua 不走内置拼接而是调用 __concat——自定义拼接的全部机制就这一行。可这一行的前后各有一个细节：前面是"操作数的求值顺序不确定"，后面是"字符串和表拼接时不触发"。今天拆开。

一、默认、覆盖、顺序三段

__concat 的三段。默认：Lua 的 .. 运算符只接受字符串和数字——如果任一操作数是表且该表有 __concat 元方法，Lua 调用它而不是报错——这就是自定义拼接的入口。覆盖：__concat 函数接收两个参数——左操作数和右操作数——你可以判断哪个是表哪个是字符串，然后返回自定义的拼接结果。顺序：Lua 不保证 a .. b 中 a 和 b 的求值顺序——如果两个都是表且都有 __concat，Lua 先试左操作数的元表再试右操作数的——顺序不确定意味着你的 __concat 函数要能处理两种参数顺序。三段连起来：__concat 玩的是"把拼接行为从字符串扩展到任意类型"。

graph TD
    A["a .. b"] --> B{"a是字符串或数字?"}
    B -->|是| C["内置拼接"]
    B -->|否| D{"a有__concat?"}
    D -->|是| E["调用a的__concat(a, b)"]
    D -->|否| F{"b有__concat?"}
    F -->|是| G["调用b的__concat(a, b)"]
    F -->|否| H["报错"]

二、自定义日志拼接的正确写法

local LogEntry = {}
LogEntry.__index = LogEntry

function LogEntry.new(msg, level, time)
    return setmetatable({ msg = msg, level = level, time = time }, LogEntry)
end

LogEntry.__concat = function(a, b)
    local function toStr(v)
        if type(v) == "table" and getmetatable(v) == LogEntry then
            return string.format("[%s][%s] %s", v.time, v.level, v.msg)
        end
        return tostring(v)
    end
    return toStr(a) .. toStr(b)
end

local e1 = LogEntry.new("玩家登录", "INFO", "10:00")
local e2 = LogEntry.new("怪物刷新", "WARN", "10:01")
local combined = e1 .. e2
print(combined)
-- [10:00][INFO] 玩家登录[10:01][WARN] 怪物刷新

__concat 里的 toStr 函数做了类型检查——表类型走自定义格式，其他类型走 tostring——这样日志条目可以和任意对象拼接而不会报错。

三、操作数顺序的坑与字符串的特权

操作数顺序不确定是 __concat 最容易踩的坑：a .. b 中如果 a 有 __concat，Lua 调用 a 的元方法并把 a 作为第一个参数——但如果 a 没有 __concat 而 b 有，Lua 调用 b 的元方法但第一个参数仍然是 a——这意味着你的 __concat 函数必须能处理"第一个参数是自己，第二个参数是别人"和"第一个参数是别人，第二个参数是自己"两种情况。字符串的特权是另一层：当 .. 的两个操作数都是字符串或数字时，Lua 走内置拼接不走任何元方法——__concat 只在"至少一个操作数是表"时才触发——这意味着你不能用 __concat 拦截两个字符串的拼接。最后一条纪律：__concat 返回的值可以是任何类型——但如果你返回的是表且这个表也有 __concat，后续的连续拼接会递归调用——递归深度不受控制时就是栈溢出。