将宏参数传递给其他宏

我是生锈新手。我正在尝试创建宏，它需要一个缓冲区，然后从中解码一些数据并创建给定的变量列表。如果发生错误，那么它应该打印错误并继续，因为我将在接收缓冲区的循环中调用它。像这样的东西：-

for bin_ref in bufs {

   extract!( bin_ref anime &str episodes u32 season u32);

   //if everything goes ok then do some cool stuff with
   //above variables otherwise take next buf_ref    
}

我怎样才能做到这一点？所以我采用了这种方法：-

#[macro_export]
macro_rules! extract {

    ( $buf:ident $($var:ident $typ:ty),* ) => {
        $(
            ext_type!( $buf $var $typ );
        )*
    };
}

#[macro_export]
macro_rules! ext_type {
    ( $buf:ident $var:ident &str ) => {

        let mut $var : &str = ""; //some string specific function
        println!("doing cool things with '{}' which is string ",$var);        

    };
    ( $buf:ident $var:ident u32 ) => {
        let mut $var : u32 = 34; //some u32 specific function
        println!("doing cool things with '{}' which is u32",$var);
    }
}

我有以下测试功能：-

fn macro_test() {

    let mut bin_ref : &[u8] = &[0u8;100];

    ext_type!(bin_ref anime &str); // works
    ext_type!(bin_ref episodes u32 ); // works

    extract!( bin_ref username &str, password &str ); // does not work. why ??
}

当我编译这个时，我收到以下错误：-

error: no rules expected the token `&str`
  --> src/easycode.rs:11:34
   |
11 |             ext_type!( $buf $var $typ );
   |                                  ^^^^ no rules expected this token in macro call
...
19 | macro_rules! ext_type {
   | --------------------- when calling this macro
...
48 |     extract!( bin_ref username &str, password &str );
   |     ------------------------------------------------- in this macro invocation

为什么我不能直接通过$typ to ext_type!宏？从代码调用时它可以工作

The ext_type!宏的规则需要文字标记&str and u32在最后。这些文字标记cannot匹配匹配的片段$typ:ty in extract!。为了成功地将文字标记与匹配的片段匹配，它必须是一个tt, ident or lifetime https://doc.rust-lang.org/reference/macros-by-example.html#transcribing.

在这种情况下唯一有效的选择是tt https://doc.rust-lang.org/reference/macros.html#macro-invocation，简单地说，只是一个解析器标记。然而，一种类型通常由多个标记组成；例证&str，由两个标记组成& and str。因此，我们必须使用重复来完全捕获类型tts: $($typ:tt)+会做得很好。

使用无限重复tt然而，这是有代价的——tt将匹配几乎所有内容，因此只需替换$typ:ty with $($typ:tt)+不会工作，因为$typ重复将捕获所有内容，直到宏调用结束！为了防止这种情况发生，我们必须delimit https://doc.rust-lang.org/reference/tokens.html#delimiters宏规则匹配器中的类型标记树以阻止其消耗所有内容。以使调用稍微冗长为代价，将重复内容括在括号中将对我们很有帮助，并阻止令牌树完全匹配我们想要的位置。修改后的宏如下所示：

#[macro_export]
macro_rules! extract {
    ( $buf:ident $($var:ident ($($typ:tt)+)),* ) => {
        $(
            ext_type!( $buf $var $($typ)+);
        )*
    };
}

注意替换$typ:ty with ($($typ:tt)+)（这是一个用括号括起来的标记树重复）在匹配器中，并且替换$typ with $($typ)+在转录器中。

宏规则调用如下：

extract!(bin_ref username (&str), password (&str), id (u32));