Lua+string.gmatch：迭代匹配的遍历本质

【语法算法】

gmatch 的迭代本质就这一行：

for match in string.gmatch(str, pattern) do print(match) end

gmatch 返回一个迭代函数——每次调用返回下一个匹配——遍历完返回 nil 终止——gmatch 的全部机制就这一行。今天拆开。

一、模式、迭代、捕获三段

gmatch 的三段。模式：gmatch 的第二个参数是 Lua 模式匹配字符串——%a 匹配字母，%d 匹配数字，%w 匹配字母数字——模式决定了"什么算一次匹配"。迭代：gmatch 返回一个迭代函数——for 循环每次调用迭代函数获取下一个匹配——匹配是懒惰的，每次只找一个——不匹配了就返回 nil 终止循环。捕获：模式里如果有捕获组 ()，迭代函数返回捕获组的内容而不是整个匹配——没有捕获组就返回整个匹配——捕获组让 gmatch 可以"提取模式中的特定部分"。三段连起来：gmatch 玩的是"用模式遍历字符串中的所有匹配"——不是找第一个匹配就停，是遍历所有匹配。

graph TD
    A["gmatch(str, pattern)"] --> B["返回迭代函数"]
    B --> C["for循环调用迭代函数"]
    C --> D["找到匹配 → 返回"]
    C --> E["没有匹配 → 返回nil"]
    D --> F["继续下一次调用"]

二、gmatch 的正确写法

local str = "apple,banana,cherry"
for fruit in string.gmatch(str, "[^,]+") do
    print(fruit)
end
-- apple
-- banana
-- cherry

local config = "host=127.0.0.1;port=3306;name=db"
for k, v in string.gmatch(config, "(%w+)=(%S+)") do
    print(k, v)
end
-- host  127.0.0.1
-- port  3306
-- name  db

双捕获组 (%w+)=(%S+) 让 for 循环的变量从单值变多值——每个匹配返回两个捕获组的内容——键值对的解析用 gmatch 一行搞定。

三、模式的边界与 gmatch 的纪律

[^,]+ 的 ^ 在方括号内是"非"的意思——匹配逗号以外的所有字符——+ 表示一个或多个——这个模式把逗号当分隔符把字符串拆成多段。gmatch 有一个盲区：空匹配——如果模式可以匹配空串（比如 a*），gmatch 会无限循环返回空匹配——避免空匹配的方法是模式里必须有至少一个"必须匹配的字符"——a* 改成 a+ 就不会返回空匹配。最后一条纪律：gmatch 的迭代函数是有状态的——每次调用内部指针往前移——迭代函数不能被多个 for 循环共享——每个 for 循环需要自己的 gmatch 调用。