指示符

宏的参数使用一个美元符号 $ 作为前缀，并使用一个指示符（designator）来 注明类型：

  1. macro_rules! create_function {
  2.     // 此宏接受一个 `ident` 指示符表示的参数，并创建一个名为 `$func_name` 的函数。
  3.     // `ident` 指示符用于变量名或函数名
  4.     ($func_name:ident) => (
  5.         fn $func_name() {
  6.             // `stringify!` 宏把 `ident` 转换成字符串。
  7.             println!("You called {:?}()",
  8.                      stringify!($func_name))
  9.         }
  10.     )
  11. }
  13. // 借助上述宏来创建名为 `foo` 和 `bar` 的函数。
  14. create_function!(foo);
  15. create_function!(bar);
  17. macro_rules! print_result {
  18.     // 此宏接受一个 `expr` 类型的表达式，并将它作为字符串，连同其结果一起
  19.     // 打印出来。
  20.     // `expr` 指示符表示表达式。
  21.     ($expression:expr) => (
  22.         // `stringify!` 把表达式*原样*转换成一个字符串。
  23.         println!("{:?} = {:?}",
  24.                  stringify!($expression),
  25.                  $expression)
  26.     )
  27. }
  29. fn main() {
  30.     foo();
  31.     bar();
  33.     print_result!(1u32 + 1);
  35.     // 回想一下，代码块也是表达式！
  36.     print_result!({
  37.         let x = 1u32;
  39.         x * x + 2 * x - 1
  40.     });
  41. }

这里列出全部指示符：

  • block
  • expr 用于表达式
  • ident 用于变量名或函数名
  • item
  • pat (模式 pattern)
  • path
  • stmt (语句 statement)
  • tt (标记树 token tree)
  • ty (类型 type)