为何我的FParsec解析器无法识别块注释？

问题分析 #

你的代码存在两个核心问题：

• 操作符优先级与类型不匹配：单行注释分支未通过|>> Comment转换为目标类型，且<|>的优先级低于>>.和|>>，导致注释解析器的两个分支返回类型不一致，引发解析行为异常。
• 多行注释解析的匹配逻辑问题：原代码中未确保多行注释的闭合标记被完整可靠地识别，且charsTillString在边界场景下的表现不如manyCharsTill稳定。

修正后的解析器代码 #

type Token =
    | Comment of string
    | IgnoreU of string

let openComment : Parser<_,unit>  = pstring "/*"
let closeComment : Parser<_,unit> = pstring "*/"

// 修正注释解析器：确保两个分支类型统一，明确优先级
let comment = 
    (pstring "//" >>. restOfLine true |>> Comment)
    <|> (openComment >>. manyCharsTill anyChar closeComment |>> Comment)

let spaceComments = many ((spaces1 |>> IgnoreU) <|> comment)
let str s  = spaceComments >>. pstring s .>> spaceComments

测试验证 #

使用你提供的测试代码运行：

let testStr = @"
// test comment
/* a block comment
   */
   x  // another comment
   "
match run (str "x") testStr with
| Success(result, _, _)   -> printfn "Success: %A" result
| Failure(errorMsg, _, _) -> assert false
()

运行后会成功匹配目标字符串，输出Success: "x"。

关键说明 #

• 类型一致性：给单行注释分支添加|>> Comment，确保整个comment解析器返回统一的Comment类型，避免类型不匹配导致的解析逻辑混乱。
• 优先级明确：用括号包裹两个分支，避免<|>与其他操作符的优先级冲突，确保解析器优先尝试单行注释，失败后再匹配多行注释。
• 可靠的多行注释匹配：manyCharsTill anyChar closeComment会持续匹配任意字符，直到closeComment成功识别*/，确保闭合标记被正确消耗。

内容的提问来源于stack exchange，提问作者Jerry