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>>>,
}

盒子<T>

在解析时，会自动在内部类型周围构造盒子，但 Rust Sitter 除此之外不做任何额外操作。