Question

我正在读一本关于Rust的书，并开始玩Rust macros。所有元变量类型都在那里解释并有示例，除了最后一个 - tt。根据这本书，它是一个“单一的标记树”。我很好奇，它是什么，它用于什么？你能举个例子吗？

Answer 1

这是为了确保宏调用中的任何内容正确匹配()，[]和{}对而引入的概念。

例如，对于以下程序：

fn main() {
    println!("Hello world!");
}

令牌树将是：

fn
main
()
- ∅
{ println!("Hello world!"); }
- println
- !
- ("Hello world!")
  - "Hello world!"
- ;

这会形成一个树，其中简单的令牌（fn，main等）是树叶，()，[]或{}包围的任何内容都包含一个子树。请注意，(不会单独出现在令牌树中：如果不匹配相应的(，则无法匹配)。

例如：

macro_rules! {
    (fn $name:ident $params:tt $body:tt) => { /* … */ }
}

会将上述功能与$name → main，$params → ()，$body → { println!("Hello world!"); }相匹配。

令牌树是要求最低的元变量类型：它匹配任何东西。它通常用在具有“不关心”部分的宏中，特别是在具有“头部”和“尾部”部分的宏中。例如，println!宏的分支与($fmt:expr, $($arg:tt)*)匹配，其中$fmt是格式字符串，而$($arg:tt)*表示“所有其余”，只是转发到{{1} }。这意味着format_args!不需要知道实际的格式并与之进行复杂的匹配。

tt元变量类型在Rust宏中意味着什么？

1 个答案: