重复替代

  1. macro_rules! replace_expr {
  2.     ($_t:tt $sub:expr) => {$sub};
  3. }

在此模式中，匹配到的重复序列将被直接丢弃，仅留用它所带来的长度信息；原本标记所在的位置将被替换成某种重复要素。

举个例子，考虑如何为一个元素多于12个(Rust 1.2下的最大值)的tuple提供默认值。

  1. macro_rules! tuple_default {
  2.     ($($tup_tys:ty),*) => {
  3.         (
  4.             $(
  5.                 replace_expr!(
  6.                     ($tup_tys)
  7.                     Default::default()
  8.                 ),
  9.             )*
  10.         )
  11.     };
  12. }
  13. # 
  14. # macro_rules! replace_expr {
  15. #     ($_t:tt $sub:expr) => {$sub};
  16. # }
  17. # 
  18. # assert_eq!(tuple_default!(i32, bool, String), (0, false, String::new()));

仅对此例：我们其实可以直接用$tup_tys::default()。

上例中，我们并未真正使用匹配到的类型。实际上，我们把它抛开了，并用用一个表达式重复替代。换句话说，我们实际关心的不是有哪些类型，而是有多少个类型。