如何用boost::spirit实现可切换解析器的语句解析？

核心思路：解析器的"终止-移交"模式 #

当解析器识别到属性设置语句时，先完成自身当前的解析任务，精准切割出未处理的剩余输入，携带新属性配置移交给协调层，由协调层启动新的解析器继续处理。

1. 定义统一解析器接口 #

所有解析器（默认版、各属性变体）必须实现同一套接口，确保协调层能无缝切换：

• parse(input: str)：执行解析，返回结构化结果
• 构造函数接收属性参数（大小写敏感开关、注释风格等）

同时定义ParseResult结构体，包含：

• 已解析的AST节点集合
• 未处理的剩余输入字符串
• 是否需要切换解析器的标记
• 新的属性配置字典（若切换）

2. 顶层协调器管理切换流程 #

写一个ParserCoordinator作为入口，负责解析器的生命周期管理：

• 初始化时创建默认属性的解析器
• 循环调用当前解析器的parse方法
• 处理返回结果：
  • 若无需切换：将AST节点合并到总结果，用当前解析器继续处理剩余输入
  • 若需要切换：根据新属性实例化对应解析器，替换当前解析器后继续处理剩余输入
• 直到所有输入处理完毕

3. 当前解析器的终止逻辑 #

当解析器匹配到属性设置语句时：

1. 先完成该语句的解析，生成对应的AST节点
2. 计算剩余输入：从当前匹配结束的位置截取后续字符串
3. 提取语句中的属性配置（比如case_insensitive on、comment_style /* */）
4. 构造ParseResult，标记switch_parser=True，传入剩余输入和新属性
5. 终止自身解析流程，将结果返回给协调器

4. 新解析器的衔接处理 #

新解析器实例化时，直接接收协调器传递的属性配置：

• 根据配置调整自身解析规则（比如关闭大小写敏感时，把关键字匹配改成不区分大小写；切换注释风格时更新注释匹配正则）
• 从剩余输入的起始位置开始解析，无需重复处理已完成的内容

伪代码示例 #

# 基础解析器类（所有解析器继承此接口）
class BaseParser:
    def __init__(self, case_sensitive=True, comment_style="line"):
        self.case_sensitive = case_sensitive
        # 根据注释风格设置匹配规则
        self.comment_pattern = r"//.*" if comment_style == "line" else r"/\*.*?\*/"

    def parse(self, input_str):
        ast_nodes = []
        remaining = input_str
        # 核心解析逻辑：匹配语法、处理注释、识别属性设置语句
        # 假设识别到属性设置语句：
        if self._match_attr_statement(remaining):
            # 解析属性语句，生成节点
            attr_node = self._parse_attr_statement(remaining)
            ast_nodes.append(attr_node)
            # 计算剩余输入位置
            match_end = self._get_match_end_position()
            remaining = remaining[match_end:]
            # 提取新属性
            new_attrs = {"case_sensitive": attr_node.case_sensitive, "comment_style": attr_node.comment_style}
            # 返回切换标记
            return ParseResult(ast_nodes, remaining, switch_parser=True, new_attrs=new_attrs)
        # 其他语法解析逻辑...
        return ParseResult(ast_nodes, remaining)

# 解析结果结构体
class ParseResult:
    def __init__(self, ast_nodes, remaining_input, switch_parser=False, new_attrs=None):
        self.ast_nodes = ast_nodes
        self.remaining_input = remaining_input
        self.switch_parser = switch_parser
        self.new_attrs = new_attrs or {}

# 解析协调器
class ParserCoordinator:
    def __init__(self):
        self.current_parser = BaseParser()
        self.full_ast = []

    def process(self, full_input):
        remaining = full_input
        while remaining:
            result = self.current_parser.parse(remaining)
            self.full_ast.extend(result.ast_nodes)
            remaining = result.remaining_input
            if result.switch_parser:
                # 切换到新解析器
                self.current_parser = BaseParser(**result.new_attrs)
        return self.full_ast

关键注意事项 #

• 所有解析器的接口必须严格一致，避免协调层出现类型错误
• 剩余输入的切割要精准，确保没有字符被重复处理或遗漏
• 属性配置要能直接映射到解析器的规则调整，比如注释风格要对应到正则表达式或状态机的切换
• 支持多层嵌套的属性切换，协调层只需按结果循环处理即可

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