rust - 为什么以下宏在被调用时会期望使用分号？

Question

我正在尝试编写一个宏，以根据构建功能在人造丝的par_iter和std的iter之间切换(可能领先于我，因为我对宏的了解还不是很多)。宏似乎比这里的函数要好一些，因为一个函数可能需要一些相对复杂的类型才能完成此工作。如果我想在与运行迭代器有关的构建功能中添加更多变体，则宏将来可能会保持更大的灵活性。

#[macro_export]
macro_rules! par_iter {
    ($($tokens:tt)*) => {
      #[cfg(feature = "threaded")]
      $($tokens)*.par_iter()
      #[cfg(not(feature = "threaded"))]
      $($tokens)*.iter()
    }
}

我看到以下错误:

error: macro expansion ignores token `b_slice` and any following
   --> src/util.rs:28:8                                                                      
    | 
28  |       $($tokens)*.iter();
    |        ^^^^^^^^^
    |                                                                                        
   ::: src/counting.rs:219:9                                                                 
    |
219 |         par_iter!(b_slice).map(WordCount::from)                                                                                                                                     
    |         ------------------- help: you might be missing a semicolon here: `;`
    |         |                                                                              
    |         caused by the macro expansion here
    |
    = note: the usage of `par_iter!` is likely invalid in expression context

虽然我对第一个错误一无所知，但我很好奇为什么要使用;-如何在表达式上下文中使其有效？

Answer 1

本质上可以归结为，不允许在这样的表达式中包含attributes，例如以下无效:

b_slice.iter()
    #[cfg(not(feature = "threaded"))]
    .map(|x| x)
    .collect();

要解决此问题，您可以将它们分配给一个临时变量，如下所示:
注意双{{和}}，它们产生block，使得最终表达式是block产生的值。

#[macro_export]
macro_rules! par_iter {
    ($($tokens:tt)*) => {{
        #[cfg(feature = "threaded")]
        let it = $($tokens)*.par_iter();
        #[cfg(not(feature = "threaded"))]
        let it = $($tokens)*.iter();
        it
    }};
}

另外，您也可以将其拆分为两个宏，如下所示:

#[cfg(feature = "threaded")]
#[macro_export]
macro_rules! par_iter {
    ($($tokens:tt)*) => {
        $($tokens)*.par_iter()
    }
}

#[cfg(not(feature = "threaded"))]
#[macro_export]
macro_rules! par_iter {
    ($($tokens:tt)*) => {
        $($tokens)*.iter()
    }
}