在普通的 PEG（解析表达式语法）中，这是一个有效的语法：
values <- number (comma values)*
number <- [0-9]+
comma <- ','
但是，如果我尝试使用 LPeg 编写此规则，则该规则的递归性质将失败：
local lpeg = require'lpeg'
local comma = lpeg.P(',')
local number = lpeg.R('09')^1
local values = number * (comma * values)^-1
--> bad argument #2 to '?' (lpeg-pattern expected, got nil)
虽然在这个简单的示例中我可以重写规则以不使用递归，但我有一些现有的语法我不想重写。
如何在 LPeg 中编写自引用规则？
【问题讨论】：
使用grammar。
通过使用 Lua 变量，可以逐步定义模式，每个新模式都使用之前定义的模式。然而，这种技术不允许定义递归模式。对于递归模式，我们需要真正的语法。
LPeg 表示带有表格的语法，其中每个条目都是一条规则。
调用 lpeg.V(v) 创建了一个模式，该模式表示语法中索引为 v 的非终结符（或变量）。由于在评估此函数时语法仍然不存在，因此结果是对相应规则的开放引用。
表格在转换为模式时是固定的（通过调用 lpeg.P 或在预期模式中使用它）。然后由 lpeg.V(v) 创建的每个开放引用都被更正为引用表中由 v 索引的规则。
当一个表被固定时，结果是一个匹配其初始规则的模式。表中索引为 1 的条目定义了它的初始规则。如果该条目是字符串，则假定它是初始规则的名称。否则，LPeg 假定条目 1 本身就是初始规则。
例如，以下语法匹配具有相同数量的 a 和 b 的 a 和 b 的字符串：
equalcount = lpeg.P{ "S"; -- initial rule name S = "a" * lpeg.V"B" + "b" * lpeg.V"A" + "", A = "a" * lpeg.V"S" + "b" * lpeg.V"A" * lpeg.V"A", B = "b" * lpeg.V"S" + "a" * lpeg.V"B" * lpeg.V"B", } * -1它等价于标准 PEG 表示法中的以下语法：
S <- 'a' B / 'b' A / '' A <- 'a' S / 'b' A A B <- 'b' S / 'a' B B
【讨论】：
:p 应该是:)。你做得很好，谢谢。
我知道这是一个迟到的答案，但这里有一个如何反向引用规则的想法
local comma = lpeg.P(',')
local number = lpeg.R('09')^1
local values = lpeg.P{ lpeg.C(number) * (comma * lpeg.V(1))^-1 }
local t = { values:match('1,10,20,301') }
基本上一个原始语法被传递给lpeg.P（语法只是一个美化的表），它通过数字而不是名称引用第一条规则，即lpeg.V(1)。
示例只是在number 终端上添加了一个简单的lpeg.C 捕获并将所有这些结果收集到本地表t 中以供进一步使用。 （请注意，没有使用lpeg.Ct，这没什么大不了的，但仍然......我猜是样本的一部分。）
【讨论】：