标记树聚束

  1. macro_rules! call_a_or_b_on_tail {
  2.     ((a: $a:expr, b: $b:expr), 调a $($tail:tt)*) => {
  3.         $a(stringify!($($tail)*))
  4.     };
  6.     ((a: $a:expr, b: $b:expr), 调b $($tail:tt)*) => {
  7.         $b(stringify!($($tail)*))
  8.     };
  10.     ($ab:tt, $_skip:tt $($tail:tt)*) => {
  11.         call_a_or_b_on_tail!($ab, $($tail)*)
  12.     };
  13. }
  15. fn compute_len(s: &str) -> Option<usize> {
  16.     Some(s.len())
  17. }
  19. fn show_tail(s: &str) -> Option<usize> {
  20.     println!("tail: {:?}", s);
  21.     None
  22. }
  24. fn main() {
  25.     assert_eq!(
  26.         call_a_or_b_on_tail!(
  27.             (a: compute_len, b: show_tail),
  28.             规则的 递归部分 将 跳过 所有这些 标记
  29.             它们 并不 关心 我们究竟 调b 还是 调a
  30.             只有 终结规则 关心
  31.         ),
  32.         None
  33.     );
  34.     assert_eq!(
  35.         call_a_or_b_on_tail!(
  36.         (a: compute_len, b: show_tail),
  37.         而现在 为了 显式 可能的路径 有两条
  38.         我们也 调a 一哈: 它的 输入 应该
  39.         自我引用 因此 我们给它 一个 72),
  40.         Some(72)
  41.     );
  42. }

在十分复杂的递归宏中，可能需要非常多的参数，才足以在每层调用之间传递必要的标识符与表达式。然而，根据实现上的差异，可能存在许多这样的中间层，它们转发了这些参数，但并没有用到。

因此，将所有这些参数聚成一束，通过分组将其放进单独一棵标记树里；可以省事许多。这样一来，那些用不到这些参数的递归层可以直接捕获并替换这棵标记树，而不需要把整组参数完完全全准准确确地捕获替换掉。

上面的例子把表达式$a和$b聚束，然后作为一棵tt交由递归规则转发。随后，终结规则将这组标记打开，并访问其中的表达式。