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 不会做更多的事情。