Lua+goto向后跳：重试循环的控制本质

【语法算法】

goto 向后跳的控制就这一行：

::retry::
-- ... 代码 ...
if failed then goto retry end

::retry:: 定义标签，goto retry 跳回标签——向后跳的全部机制就这一行。可这一行的前后各有一个限制：前面是"必须有退出条件"，后面是"不能跳入局部变量的作用域"。今天拆开。

一、定义、跳转、退出三段

goto 向后跳的三段。定义：::label:: 在代码中标记一个位置——标签本身不执行任何代码，它只是一个跳转目标。跳转：goto label 让执行流跳到标签处——跳转是无条件的——和 break 不同，goto 可以向前跳也可以向后跳。退出：向后跳必须有退出条件——退出条件写在 goto 之前的条件判断里——不满足退出条件就 goto，满足就继续往下——向后跳的循环要有计数器或超时保护。三段连起来：goto 向后跳玩的是"重试循环的精确控制"——break 只能跳出当前循环，goto 可以跳到任何标签处——精细但危险。

完整演示在这——看重试循环怎么控制退出时机：

 fx-retryloop

二、幂尔框架实现

local RetryLoop = {}
local MAX_RETRY, TIMEOUT = 3, 5

function RetryLoop.Connect(host, port)
    local retryCount = 0
    local startTime = os.time()
    ::retry::
    retryCount = retryCount + 1
    if retryCount > MAX_RETRY then
        return false, "超过最大重试次数"
    end
    if os.time() - startTime > TIMEOUT then
        return false, "连接超时"
    end
    local ok = SL:TryConnect(host, port)
    if not ok then
        goto retry
    end
    return true
end

SL:Export("connect", RetryLoop.Connect)

return RetryLoop

goto retry 向后跳回标签——重试计数和超时保护防止无限循环——两个退出条件缺一不可。

三、向后跳的陷阱和退出的纪律

向后跳是 goto 最危险的用法——跳回标签后标签后面的代码从头执行——如果退出条件写在跳转之后就会永远循环——退出条件必须写在 goto 之前。和 continue 模拟的分账写清楚：continue 模拟是向前跳（跳过本次迭代），向后跳是向后跳（重试本段代码）——一个跳过一个重做，方向完全相反。最后一条纪律：goto 不能跳入局部变量的作用域——标签后面声明了局部变量，goto 不能从外面跳到那个局部变量的声明之后——Lua 的作用域规则限制了 goto 的跳跃范围。