使用上述规则，以下是对if语句规则的实现。

fn parse_if_statement(p: &mut Parser) -> ParsedSyntax {
 if !p.at(T![if]) {
  return Absent;
 }

 let m = p.start();

 p.expect(T![if]);
 p.expect(T!['(']);
 parse_any_expression(p).or_add_diagnostic(p, js_parse_errors::expeced_if_statement);
 p.expect(T![')']);
 parse_block_statement(p).or_add_diagnostic(p, js_parse_errors::expected_block_statement);
// the else block is optional, handle the marker by using `ok`
 parse_else_clause(p).ok();

 Present(m.complete(p, JS_IF_STATEMENT));
}

等等，这些是什么缺失标记？Biome的AST外观使用固定偏移量从节点检索特定子节点。例如，if语句的第三个子节点是条件。然而，如果源文本中没有开括号(，则条件将成为第二个元素。这就是缺失元素发挥作用的地方。

解析列表与错误恢复

解析列表与解析具有固定子节点集合的单个元素不同，因为它需要循环，直到解析器到达终止标记（或文件的末尾）。

您可能记得，parse_* 方法在返回 Absent 时不应继续解析。在 while 循环内部，不继续解析解析器是存在问题的，因为这不可避免地会导致无限循环。

这就是为什么在解析列表时必须进行错误恢复。幸运的是，解析器自带了使错误恢复变得容易的基础设施。解析列表的一般结构是（是的，这是解析器基础设施应该为您提供的）

让我们尝试解析一个数组

[ 1, 3, 6 ]

我们将使用 ParseSeparatedList 来实现这一点

struct ArrayElementsList;

impl ParseSeparatedList for ArrayElementsList {
    type ParsedElement = CompletedMarker;

    fn parse_element(&mut self, p: &mut Parser) -> ParsedSyntax<Self::ParsedElement> {
        parse_array_element(p)
    }

    fn is_at_list_end(&self, p: &mut Parser) -> bool {
        p.at_ts(token_set![T![default], T![case], T!['}']])
    }

    fn recover(
        &mut self,
        p: &mut Parser,
        parsed_element: ParsedSyntax<Self::ParsedElement>,
    ) -> parser::RecoveryResult {
        parsed_element.or_recover(
            p,
            &ParseRecoveryTokenSet::new(JS_BOGUS_STATEMENT, STMT_RECOVERY_SET),
            js_parse_error::expected_case,
        )
    }
};

让我们一步一步来

parsed_element.or_recover(
    p,
    &ParseRecoveryTokenSet::new(JS_BOGUS_STATEMENT, STMT_RECOVERY_SET),
    js_parse_error::expected_case,
)

or_recover 如果 parse_array_element 方法返回 Absent，则执行错误恢复；源文本中没有数组元素。

恢复会吃掉所有令牌，直到它找到 token_set 中指定的令牌之一、行断行（如果您调用了 enable_recovery_on_line_break）或文件结束。

恢复不会丢弃令牌，而是将它们包装在一个 JS_BOGUS_EXPRESSION 节点（第一个参数）中。存在多个 BOGUS_* 节点。您必须查阅语法来了解在您的案例中支持哪些 BOGUS* 节点。

您通常希望将结束列表的终端令牌、元素分隔符令牌和语句结束令牌包含在恢复集中。

现在，恢复的问题在于它可能会失败，有两个原因

• 解析器到达了文件末尾；
• 下一个令牌是恢复集中指定的令牌之一，这意味着没有可以恢复的内容；

在这种情况下，ParseSeparatedList 和 ParseNodeList 将为您恢复解析器。

条件语法

条件语法允许您表达某些语法可能不是所有源文件都有效的。一些用例包括

• 仅在严格或宽松模式下支持的语法：例如，with 语句在JavaScript文件使用 "use strict" 或是模块时是无效的；
• 仅在特定文件类型中支持的语法：TypeScript、JSX、模块；
• 仅在特定语言版本中可用的语法：实验性功能、不同版本的编程语言（例如JavaScript的ECMA版本）；

想法是解析器始终解析语法，无论该语法是否在此特定文件或上下文中受支持。这样做的主要动机是这为我们提供了完美的错误恢复，并允许我们使用相同的代码，无论语法是否受支持。

然而，必须处理条件语法，因为我们希望如果该语法当前文件不支持，则添加诊断，并且解析的令牌必须附加到某个地方。

让我们看看只有在不严格/宽松模式下允许的 with 语句

fn parse_with_statement(p: &mut Parser) -> ParsedSyntax {
 if !p.at(T![with]) {
  return Absent;
 }

 let m = p.start();
 p.bump(T![with]); // with
 parenthesized_expression(p).or_add_diagnostic(p, js_errors::expected_parenthesized_expression);
 parse_statement(p).or_add_diagnostic(p, js_error::expected_statement);
 let with_stmt = m.complete(p, JS_WITH_STATEMENT);

 let conditional = StrictMode.excluding_syntax(p, with_stmt, |p, marker| {
  p.err_builder("`with` statements are not allowed in strict mode", marker.range(p))
 });


}

规则的开始与其他规则相同。令人兴奋的部分从

let conditional = StrictMode.excluding_syntax(p, with_stmt, |p, marker| {
 p.err_builder("`with` statements are not allowed in strict mode", marker.range(p))
});

StrictMode.excluding_syntax 将解析的语法转换为无效节点，并使用诊断构建器在功能不受支持时创建诊断。

您可以通过调用or_invalid_to_bogus将ConditionalParsedSyntax转换为常规的ParsedSyntax。如果解析器处于严格模式，它将使用BOGUS节点包装整个with语句，否则返回未更改的with语句。

如果不存在与您的解析规则节点匹配的BOGUS节点，那么您必须返回不带or_invalid_to_bogus恢复的ConditionalParsedSyntax。此时，调用者需要恢复可能无效的语法。

摘要

• 解析规则命名为parse_rule_name
• 解析规则应返回一个ParsedSyntax
• 如果该规则消耗任何令牌，则必须返回Present，因此它可以解析至少包含其子节点的一些节点。
• 否则，它返回Absent，并且不能继续解析，也不能添加任何错误。
• 列表必须执行错误恢复以避免无限循环。
• 请参考语法，以确定在您的规则上下文中有效的BOGUS节点。