Rust TT muncher具有无限递归功能

Question

我正在尝试使用TT muncher来创建嵌套的哈希映射结构。基本类型定义是

type Object = HashMap<String, Node>;

enum Node {
    Terminal(String),
    Nested(Object),
}

我知道我可以手动创建这些对象：

let mut x: Object = HashMap::new();

x.insert("foo".into(), Node::Terminal("bar".into()));
x.insert("bing".into(), {
    let mut bing = HashMap::new();
    bing.insert("bar".into(), Node::Terminal("baz".into()));
    Node::Nested(bing)
});

这确实产生了预期的结构

{
    "bing": Nested(
        {
            "bar": Terminal(
                "baz"
            )
        }
    ),
    "foo": Terminal(
        "bar"
    )
}

但是我有一些这种格式的大文字，我更喜欢使用一种不那么难看的语法，所以我试图制作一个宏。这是我认为应该起作用的最小例子：

use std::collections::HashMap;

type Object = HashMap<String, Node>;


#[derive(Debug)]
enum Node {
    Terminal(String),
    Nested(Object),
}


macro_rules! obj {
    {
        $($tt:tt)*
    } => {
        {
            let map = ::std::collections::HashMap::new();

            obj!(@parse; map; ($($tt)*));

            map
        }
    };
    (@parse; $name:ident; ()) => {};
    (@parse; $name:ident; ($key:expr => $value:expr, $($tail:tt)*)) => {
        $name.insert($key.into(), Node::Terminal($value.into()));
        obj!(@parse; $name; ($($tail)*));
    };
    (@parse; $name:ident; ($key:expr => $value:block, $($tail:tt)*)) => {
        $name.insert($key.into(), Node::Nested(obj!{$value}));
        obj!(@parse; $name; ($($tail)*));
    };
}

fn main() {
    let x: Object = obj!{
        "foo" => "bar",
        "bing" => {
            "bar" => "baz",
        },
    };

    println!("{:#?}", x);
}

这不起作用，我尝试编译它时收到一个递归错误：

error: recursion limit reached while expanding the macro `obj`
  --> src/main.rs:22:13
   |
22 |               obj!(@parse; map; ($($tt)*));
   |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
...
40 |       let x: Object = obj!{
   |  _____________________-
41 | |         "foo" => "bar",
42 | |         "bing" => {
43 | |             "bar" => "baz",
44 | |         },
45 | |     };
   | |_____- in this macro invocation
   |
   = help: consider adding a `#![recursion_limit="128"]` attribute to your crate

我已经尝试将递归限制方式提升，并且它不会终止。我的宏观中缺少什么？

Answer 1

因为第一条规则符合任何字面。没有办法让它不能递归。

编写宏时，需要将规则从最具体到最不具体的规则编写。