指示符

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

  1. macro_rules! create_function {
  2.     // 此宏接受一个 `ident` 指示符参数，并创建一个名为 `$func_name`
  3.     // 的函数。
  4.     // `ident` 指示符用于变量名或函数名
  5.     ($func_name:ident) => (
  6.         fn $func_name() {
  7.             // `stringify!` 宏把 `ident` 转换成字符串。
  8.             println!("You called {:?}()",
  9.                      stringify!($func_name))
  10.         }
  11.     )
  12. }
  14. // 借助上述宏来创建名为 `foo` 和 `bar` 的函数。
  15. create_function!(foo);
  16. create_function!(bar);
  18. macro_rules! print_result {
  19.     // 此宏接受一个 `expr` 类型的表达式，将它转换成一个字符串，
  20.     // 并伴随着表达式的结果。
  21.     // `expr` 指示符用于表达式。
  22.     ($expression:expr) => (
  23.         // `stringify!` 把表达式转换成一个字符串，正如 stringify
  24.         // （意思为“字符串化”） 所表达的意思那样。
  25.         println!("{:?} = {:?}",
  26.                  stringify!($expression),
  27.                  $expression)
  28.     )
  29. }
  31. fn main() {
  32.     foo();
  33.     bar();
  35.     print_result!(1u32 + 1);
  37.     // 回想一下，代码块也是表达式！
  38.     print_result!({
  39.         let x = 1u32;
  41.         x * x + 2 * x - 1
  42.     });
  43. }

这里列出全部指示符：

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