LPEG 语法，用于分析可能具有内部组的逗号分隔组

Question

>我需要解析逗号分隔的组（括在括号中），这些组内部可能有内部组。它应该只将外部组分开。

我有一个函数可以做到这一点：

function lpeg.commaSplit(arg)
    local P,C,V,sep = lpeg.P, lpeg.C, lpeg.V, lpeg.P(",")
    local p = P{
        "S";
        S = lpeg.T_WSpace * C(V"Element") * (lpeg.T_WSpace * sep * lpeg.T_WSpace * C(V"Element"))^0 * lpeg.T_WSpace,
        Element = (V"Group")^0 * (1 - lpeg.T_Group - sep)^0 * (V"Group" * (1 - lpeg.T_Group - sep)^0)^0 * (1 - sep)^0,
        Group = lpeg.T_LGroup * ((1 - lpeg.T_Group) + V"Group")^0 * lpeg.T_RGroup
    }^-1
    return lpeg.match(lpeg.Ct(p), arg)
end

但问题是删除可能包围该组的额外括号。

下面是一个测试字符串：

[[a,b,[c,d]],[e,[f,g]]]

应该解析为

[a,b,[c,d] & [e,[f,g]]

请注意，内部组是单独保留的。简单地删除末尾多余的括号是行不通的，因为您最终会得到像 a,b,[c,d]],[e,[f,g] 这样的字符串。

任何想法如何修改 lpeg 语法以允许外部组？

Answer 1

由于我不是在 LPeg 中制作语法的专家，我发现这个练习很有趣......

我无法使用你的语法，所以我继续制作自己的语法，小块更容易理解，我可以在哪里放置我需要的捕获。

我想我得到了一个不错的实证结果。它适用于您的测试用例，我不知道组是否可以更深入地嵌套等。捕获的后处理有点临时...

require"lpeg"
-- Guesswork...
lpeg.T_WSpace = lpeg.P" "^0
lpeg.T_LGroup = lpeg.P"["
lpeg.T_RGroup = lpeg.P"]"
lpeg.T_Group = lpeg.S"[]"
function lpeg.commaSplit(arg)
  local P, C, Ct, V, sep = lpeg.P, lpeg.C, lpeg.Ct, lpeg.V, lpeg.P","
  local grammar =
  {
    "S";
    S = lpeg.T_WSpace * V"Group" * lpeg.T_WSpace,
    Group = Ct(lpeg.T_LGroup * C(V"Units") * lpeg.T_RGroup),
    Units = V"Unit" *
        (lpeg.T_WSpace * sep * lpeg.T_WSpace * V"Unit")^0,
    Unit = V"Element" + V"Group",
    Element = (1 - sep - lpeg.T_Group)^1,
  }
  return lpeg.match(Ct(P(grammar)^-1), arg)
end
local test = "[[a,b,[c,d]],[e,[f,g]]]"
local res = lpeg.commaSplit(test)
print(dumpObject(res))
print(res[1], res[1][1], res[1][2])
local groups = res[1]
local finalResult = {}
for n, v in ipairs(groups) do
  if type(v) == 'table' then
    finalResult[#finalResult+1] = "[" .. v[1] .. "]"
  end
end
print(dumpObject(finalResult))

dumpObject 只是我自己的一个表转储。此代码的输出如下：

local T =
{
  {
    "[a,b,[c,d]],[e,[f,g]]",
    {
      "a,b,[c,d]",
      {
        "c,d"
      }
    },
    {
      "e,[f,g]",
      {
        "f,g"
      }
    }
  }
}
table: 0037ED48 [a,b,[c,d]],[e,[f,g]]   table: 0037ED70
local T =
{
  "[a,b,[c,d]]",
  "[e,[f,g]]"
}

就个人而言，我不会用我的东西污染 lpeg 桌子，但我在这里保留了你的风格。

我希望这将是有用的（或者将成为您前进的起点）。