3

我目前正在熟悉 LPeg 解析器模块。为此，我想将版本字符串（例如11.4）与list匹配。

这样的列表是一个具有严格语法的字符串，也可以包含范围。这是一个类似 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会做的那样。

另一方面，如果我在不匹配的情况下返回或false返回，我最终会得到来自匹配的返回值，这基本上是无法处理的。nilchecknil, "1", nil, nil

有任何想法吗？

4

3 回答 3

1

这是我最终使用的模式：

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),
});
于 2013-10-15T15:11:37.667 回答
1

我认为您可以或+不断捕获 nil：

grammar = grammar + lpeg.Cc(nil)
于 2013-09-14T19:32:07.203 回答
0

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以便version在此处用作上值的 localcheck将具有约束范围，并添加了一个参数以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.lua
1 对
6.25 真
7.25 错误
8 对
8.5 真
10 错误

C:\Users\Ross\Documents\tmp\SOQuestions>

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

于 2013-09-13T20:39:38.517 回答