如何使LPeg.match返回零

Question

我目前正在熟悉LPeg解析器模块。为此，我想匹配一个版本字符串（例如 11.4 ） 反对列表。

这样的列表是一个语法紧凑的字符串，也可以包含范围。这是一个类似 EBNF 的，但无论如何都非常简单的语法（我把它写下来，因为下面的 LPeg 代码可能有点难以阅读）：

S = R, { ',', R }
R = N, [ '-', N ]
N = digit+, [ '.', digit+ ]

示例字符串将1-9,10.1-11,12 。这是我的巨大代码：

local L = require "lpeg"
local LV, LP, LC, LR, floor = L.V, L.P, L.C, L.R, math.floor
local version = "7.25"
local function check(a, op, b)
    if op and a+0 <= version and version <= b+0 then
        return a..op..b -- range
    elseif not op and floor(version) == floor(a+0) then
        return a        -- single item
    end
end
local grammar = LP({ "S",
    S = LV"R" * (LP"," * LV"R")^0,
    R = LV"V" * (LC(LP"-") * LV"V")^-1 / check,
    V = LC(LV"D" * (LP"." * LV"D")^-1),
    D = (LR("09")^1),
})
function checkversion(str)
    return grammar:match(str)
end

所以你会像checkversion("1-7,8.1,8.3,9")一样称呼它，如果当前版本与列表不匹配，你应该得到nil。

现在，问题是，如果所有对check的调用都不返回任何内容（这意味着，如果版本不匹配），grammar:match(...)实际上将没有捕获，因此返回字符串的当前位置。但这正是我不想要的，如果没有匹配项，我希望checkversion返回nil或false，否则评估为 true 的东西，实际上就像string:match会做的那样。

另一方面，如果我在不匹配的情况下从check返回false或nil，我最终会得到像nil, "1", nil, nil这样的匹配返回值，这基本上是不可能处理的。

有什么想法吗？

Answer 1

我认为

你可以或+它与不断捕获 nil：

grammar = grammar + lpeg.Cc(nil)

Answer 2

这是我

最终使用的模式：

nil_capturing_pattern * lpeg.Cc(nil)

我将其合并到S规则的语法中（请注意，这也包括更改语法以"正确"确定版本顺序，因为在版本编号"4.7"<"4.11"是正确的，但在微积分中不是）

local Minor_mag = log10(Minor);
local function check(a, am, op, b, bm)
    if op then
        local mag = floor(max(log10(am), log10(bm), Minor_mag, 1))+1;
        local a, b, v = a*10^mag+am, b*10^mag+bm, Major*10^mag+Minor;
        if a <= v and v <= b then
            return a..op..b;
        end
    elseif a == Major and (am == "0" or am == Minor) then
        return a.."."..am;
    end
end
local R, V, C, Cc = lpeg.R, lpeg.V, lpeg.C, lpeg.Cc
local g = lpeg.P({ "S",
    S = V("R") * ("," * V("R"))^0 * Cc(nil), 
    R = (V("Vm") + V("VM")) * (C("-") * (V("Vm") + V("VM")))^-1 / check,
    VM = V("D") * Cc("0"),
    Vm = V("D") * "." * V("D"),
    D = C(R("09")^1),
});

Answer 3

来自match的多个返回并非不可能处理，如果您以更容易处理它们的方式捕获它们。我添加了一个函数matched可以做到这一点，并将false的回退返回添加到您的check中。

do
    local L = require "lpeg"
    local LV, LP, LC, LR, floor = L.V, L.P, L.C, L.R, math.floor
    local version = 6.25
    local function check(a, op, b)
        if op and a+0 <= version and version <= b+0 then
            return a..op..b -- range
        elseif not op and floor(version) == floor(a+0) then
            return a        -- single item
        end
        return false
    end
    local grammar = LP({ "S",
        S = LV"R" * (LP"," * LV"R")^0,
        R = LV"V" * (LC(LP"-") * LV"V")^-1 / check,
        V = LC(LV"D" * (LP"." * LV"D")^-1),
        D = (LR("09")^1),
    })
    local function matched(...)
        local n = select('#',...)
        if n == 0 then return false end
        for i=1,n do
            if select(i,...) then return true end
        end
        return false
    end
    function checkversion(ver,str)
        version = ver
        return matched(grammar:match(str))
    end
end

我将整个内容包含在 do ... end 中，以便此处用作 check up值的本地version将具有限制范围，并向checversion()添加一个参数，以使其更清晰地运行几个测试用例。例如：

cases = { 1, 6.25, 7.25, 8, 8.5, 10 }
for _,v in ipairs(cases) do
    print(v, checkversion(v, "1-7,8.1,8.3,9"))
end

运行时，我得到：

C：\Users\Ross\Documents\tmp\SOQuestions>q18793493.lua1 真6.25 真7.25 假8 真8.5 真10 假C：\Users\Ross\Documents\tmp\SOQuestions>

请注意，在这种情况下，nil或false同样有效。收集一个可以作为普通的 Lua 数组式表处理的列表而不用担心漏洞，感觉更理智。