#[rust_sitter::prec_left(1)]
Add(
    Box<Expr>,
    #[rust_sitter::leaf(text = "+")] (),
    Box<Expr>,
)

全部加起来，我们的语法看起来是这样的

#[rust_sitter::grammar("arithmetic")]
mod grammar {
    #[rust_sitter::language]
    pub enum Expr {
        Number(
            #[rust_sitter::leaf(pattern = r"\d+", transform = |v| v.parse().unwrap())]
            u32,
        ),
        #[rust_sitter::prec_left(1)]
        Add(
            Box<Expr>,
            #[rust_sitter::leaf(text = "+")] (),
            Box<Expr>,
        )
    }
}

然后我们可以使用这个语法解析文本

dbg!(grammar::parse("1+2+3"));
/*
grammar::parse("1+2+3") = Ok(Add(
    Add(
        Number(
            1,
        ),
        (),
        Number(
            2,
        ),
    ),
    (),
    Number(
        3,
    ),
))
*/

类型注解

Rust Sitter支持多种注解，可以应用于语法中的类型和字段。这些注解可以用来控制解析器的行为以及如何构建结果AST。

#[rust_sitter::language]

这个注解标记了解析的入口点，并确定从解析返回的AST类型。语法中只能标记一个类型作为入口点。

#[rust_sitter::language]
struct Code {
    ...
}

#[rust_sitter::extra]

这个注解标记一个节点为额外节点，在解析过程中可以安全地跳过。这对于处理空白符/换行符/注释很有用。

#[rust_sitter::extra]
struct Whitespace {
    #[rust_sitter::leaf(pattern = r"\s")]
    _whitespace: (),
}

字段注解

#[rust_sitter::leaf(...)]

可以使用#[rust_sitter::leaf(...)]注解来定义AST中的叶子节点。这个注解接受一些参数，用于控制解析器的行为

• pattern参数接受一个正则表达式，用于匹配叶子节点的文本。这个参数是必需的。
• text参数接受一个字符串，用于匹配叶子节点的文本。这个参数与pattern参数是互斥的。
• transform参数接受一个函数，用于将匹配的文本（一个&str）转换为所需的类型。如果目标类型是()，则此参数是可选的。

leaf可以应用于结构体/枚举变体中的字段（如上所示），也可以直接应用于没有字段的类型

#[rust_sitter::leaf(text = "9")]
struct BigDigit;

enum SmallDigit {
    #[rust_sitter::leaf(text = "0")]
    Zero,
    #[rust_sitter::leaf(text = "1")]
    One,
}

#[rust_sitter::prec(...)] / #[rust_sitter::prec_left(...)] / #[rust_sitter::prec_right(...)]

此注释可用于定义非左/右结合的运算符。此注释接受一个参数，即运算符的优先级（越高越紧密绑定）。

#[rust_sitter::跳过(...)]

此注释可用于定义不对应输入字符串中任何内容的字段，例如一些元数据。此注释接受一个参数，即在运行时填充该字段应使用的值。

#[rust_sitter::单词]

此注释将字段标记为 Tree Sitter 关键字，在处理涉及关键字的错误时很有用。语法中只有一个字段可以标记为关键字。

特殊类型

Rust Sitter 有几个特殊类型，可用于定义更复杂的语法。

Vec<T>

要解析重复的结构，您可以使用 Vec<T> 来解析 T 的列表。请注意，Vec<T> 类型 不能 被另一个 Vec 包装（如果需要，请创建额外的结构体）。可以将两个特殊属性应用于 Vec 字段以控制解析行为。

#[rust_sitter::delimited(...)] 属性可用于指定列表元素之间的分隔符，并接受与匿名字段相同格式的参数。例如，我们可以定义一个解析逗号分隔表达式列表的语法

pub struct CommaSeparatedExprs {
    #[rust_sitter::delimited(
        #[rust_sitter::leaf(text = ",")]
        ()
    )]
    numbers: Vec<Expr>,
}

#[rust_sitter::repeat(...)] 属性可用于指定解析器的额外配置。目前，只有一个可用的参数：non_empty，它接受一个布尔值，指定列表是否必须包含至少一个元素。例如，我们可以定义一个解析非空逗号分隔数字列表的语法

pub struct CommaSeparatedExprs {
    #[rust_sitter::repeat(non_empty = true)]
    #[rust_sitter::delimited(
        #[rust_sitter::leaf(text = ",")]
        ()
    )]
    numbers: Vec<Expr>,
}

Option<T>

要解析可选结构，您可以使用一个 Option<T> 来解析单个 T 或无内容。和 Vec 一样，Option<T> 类型 不能 被另一个 Option 包裹（如果需要，请创建额外的结构）。例如，我们可以使前一个示例中的列表元素变为可选的，以便可以解析像 1,,2 这样的字符串。

pub struct CommaSeparatedExprs {
    #[rust_sitter::repeat(non_empty = true)]
    #[rust_sitter::delimited(
        #[rust_sitter::leaf(text = ",")]
        ()
    )]
    numbers: Vec<Option<Expr>>,
}

rust_sitter::跨距<T>

当使用 Rust Sitter 为诊断工具提供动力时，访问标记与解析节点对应的文本部分的跨距可能会有所帮助。为此，您可以使用 Spanned<T> 类型，它捕获了底层的解析 T 以及对应子串的开始（包含）和结束（不包含）的索引对。Spanned 类型可以在任何地方使用，并且不会影响解析逻辑。例如，我们可以在前一个示例中捕获表达式的跨距。

pub struct CommaSeparatedExprs {
    #[rust_sitter::repeat(non_empty = true)]
    #[rust_sitter::delimited(
        #[rust_sitter::leaf(text = ",")]
        ()
    )]
    numbers: Vec<Option<Spanned<Expr>>>,
}

Box<T>

在解析时，会在内部类型周围自动构造 Box，但 Rust Sitter 不会做更多的事情。