时间戳

首页 > 解决方案 > 简单的 FParsec 列表示例

f# - 简单的 FParsec 列表示例

问题描述

我刚刚开始使用 FParsec，无法将我的头脑围绕在一个简单的列表解析器上。给定输入

"{ a;b;c d; }"

我想得到结果['a';'b';'c';'d']

如果我做

let baseChars = ['0'..'9'] @ ['A'..'Z'] @ ['a'..'z'] @ ['_'; '-']
let chars : Parser<_> = anyOf baseChars
let nameChars : Parser<_> = anyOf (baseChars @ ['.'])                

let semiColonList p : Parser<_> = sepBy p (pstring ";")
let pList p : Parser<_> = between (pstring "{") (pstring "}") (semiColonList p)

do  """{
    a;b;c;
    d;
}"""
    |> run (parse {
        let! data = pList (spaces >>. many1Chars nameChars)
        return data
    })
    |> printfn "%A"

我在最后一个 } 上失败了，因为它在关闭 between 解析器之前试图在 nameChars 解析器上匹配它。这感觉就像我缺少一个简单的解决方案，特别是因为如果我删除 d 之后的最后一个分号，所有工作都按预期进行。任何帮助表示赞赏。

[编辑] 感谢 Fyodor Soikin，以下作品：

    let semiColonList p = many (p .>> (pstring ";" >>. spaces))
    let pList p : Parser<_> = between (pstring "{") (pstring "}") (semiColonList p)
    """{
    a;b;c;
    d;
}"""
    |> run (parse {
        let! data = pList (spaces >>. many1Chars nameChars)
        return data
    })
    |> printfn "%A"

标签： f#fparsec

解决方案

sepBy不接受尾随分隔符。类似的解析器sepBy a b旨在解析类似的输入a b a b a，但您的输入就像a b a b a b- 最后有一个额外的分隔符b。

您想要做的是解析多个类似的表达式a b- 这将为您提供所需的输入形状。

为了解析一个这样的表达式，使用排序运算符.>>，为了解析多个这样的对，使用many：

semiColonList p = many (p .>> pstring ";")

推荐阅读