YAML解析器单文档解析时动态修改行为的规范及libyaml支持情况

1. 单个文档解析周期内，解析器行为是否必须保持恒定静态？ #

YAML规范核心原则是严格区分数据内容与元数据（标签、锚点等），且要求解析器完成解析后立即遗忘预处理名称，但并未明文强制解析器在单个文档的整个解析周期内保持完全静态的行为。

不过从规范的隐含设计意图来看，解析器应当保证同一文档内相同元数据的处理逻辑一致——因为YAML采用流式解析模型，若中途随意变更标签处理、锚点解析等逻辑，会导致同一文档内相同结构的内容得到不一致的解析结果，违背了YAML作为数据序列化格式的一致性要求。所以虽然没有强制禁令，但这种动态变更行为不符合规范的设计预期。

2. 运行时动态加载标签扩展，是否允许同一标签先视为未定义、后正确处理？ #

YAML规范允许自定义标签，且没有限制标签处理器的加载时机，但需区分两种场景：

• 跨文档场景：在不同文档的解析间隙动态加载标签扩展，完全符合规范，后续文档的对应标签可以正常处理。
• 同一文档解析过程中：规范虽未明文禁止，但这种“先未定义、后正确处理”的行为会导致同一文档内相同标签的处理结果不一致，破坏了文档作为单一数据单元的完整性，属于非常规用法，不被规范推荐。

3. 市面基于libyaml的实现是否支持这种行为？ #

libyaml本身仅负责YAML的语法解析（识别标签、锚点的语法结构），不处理标签的具体解析逻辑——标签的类型转换、自定义处理由上层语言绑定（如PyYAML、RubyYAML）实现，不同上层实现的表现如下：

• PyYAML：默认情况下，解析过程中动态添加标签处理器，已读取的未定义标签会直接抛出YAMLError中断解析；若开启忽略未定义标签的选项，后续加载的处理器仅能作用于未解析的内容，但已跳过的标签无法回溯处理，会导致文档解析结果不完整或不一致，强行中途修改处理器还可能引发内部状态混乱。
• RubyYAML：采用流式解析模型，中途修改标签映射仅会影响后续未解析的内容，但已处理的内容无法重新解析，同样会造成同一文档内处理结果不一致，甚至出现未定义行为。
• 其他libyaml绑定实现：大多遵循流式解析特性，不支持回溯修改已处理内容的标签逻辑，中途动态加载扩展只会作用于后续部分，容易引发一致性问题，部分实现可能因状态异常崩溃。

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