LALR解析器生成器能否选择性消费不可解析输入？

背景 #

我正把Haskell项目里的解析器从Megaparsec（解析器组合器）迁移到Alex（类flex词法分析器）+Happy（类bison的LALR解析器）。我的DSL有个特性：if-then-else语句的条件会在解析阶段求值，最终AST不会保留if-then-else结构。

用Megaparsec时，遇到如下包含错误语句的if-then-else代码：

if (4 > 2) {
  <correct statements>
} else {
  <correct statements>
  <INCORRECT statement>  /* 比如包含未解析的占位符 */
}

可以通过代码在条件求值为true时，直接跳过整个else块而不解析它，避免else里的错误导致解析失败：

ifelseStmt :: PraParser [Statement]
ifelseStmt
  = do  reserved "if"
        e <- parens expression
        if evalBoolExpr e then do
          b <- block
          option [] (reserved "else" *> unparsedBlock $> [])
          return b
        else do unparsedBlock
                option [] (reserved "else" *> block)

unparsedBlock :: PraParser ()
unparsedBlock
  = do  hidden $ L.skipBlockCommentNested "{" "}"
        whiteSpace

但用Happy的现有规则时：

ifelse_statement :: { [Statement] }
  : 'if' '(' expr ')' statement_block 'else' statement_block {
      if evalBoolExpr $3 then $5 else $7
    }

会因为else块里的不可解析语句直接失败，想问LALR解析器能不能实现这种选择性跳过的功能？

解决方案：LALR解析器完全可以实现该功能，只需调整规则和词法配合 #

核心思路是把Megaparsec里的动态分支逻辑，转换成LALR解析器支持的状态驱动规则分支，结合词法分析的块跳过能力：

1. 在Alex中添加专门的块跳过词法规则
   新增一个SKIP_BLOCK token，用来匹配并跳过整个{...}块（支持嵌套大括号），实现逻辑类似Megaparsec的skipBlockCommentNested：

   • 遇到{时启动计数，每遇到一个{计数+1，}计数-1
   • 直到计数归0时，结束这个token的匹配
   • 注意调整规则优先级，确保只有在解析器明确需要跳过块时才触发这个规则，不干扰正常的块解析

2. 拆分Happy的if-else解析规则
   不能用单一规则处理完整的if-else，要拆分规则以支持动态分支：

   -- 先解析if前缀并求值条件
   if_prefix :: { Bool }
     : 'if' '(' expr ')' { evalBoolExpr $3 }
   
   -- 分两种情况处理if-else
   ifelse_statement :: { [Statement] }
     -- 条件为真：解析then块，遇到else则跳过对应的块
     : if_prefix statement_block else_skip { $2 }
     -- 条件为假：跳过then块，解析else块
     : if_prefix skip_block statement_block { $3 }
   
   -- 处理else分支的跳过逻辑
   else_skip :: { () }
     : 'else' skip_block { () }
     | /* 空规则：处理没有else的情况 */ { () }
   
   -- 绑定跳过块的词法token
   skip_block :: { () }
     : SKIP_BLOCK { () }
   

3. 通过解析状态控制行为（可选，处理复杂场景）
   如果你的DSL有更复杂的嵌套或分支逻辑，可以给Happy解析器添加用户状态：

   • 在解析完if_prefix得到条件结果后，将其存入解析状态
   • 在解析后续的块时，根据状态动态选择是使用正常的statement_block解析，还是触发SKIP_BLOCK词法规则
     Happy支持通过%state声明自定义状态，配合语义动作传递信息。

4. 处理嵌套if的边界情况
   确保Alex的SKIP_BLOCK规则能正确处理嵌套大括号，避免在嵌套if的块内提前终止跳过，保证整个else块被完整消费。

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