使用Rust宏来简化“match`”

Question

有许多问题函数(数百个)，每个问题函数可能有不同的类型。对于每个问题，我要运行一个run_question函数，该函数显示该函数花费了多长时间，并打印它的输出。

我正在尝试用一个Rust宏来缩短下面的match表达式(编写100次run_question确实会使代码相当长)：

fn run_question<T: std::fmt::Display>(question_func: fn() -> T) {
  let begin = Instant::now();
  let output: T = question_func();
  let elapsed_secs = begin.elapsed().as_micros() as f32 / 1e6;
  println!("{}", output);
  println!("{:.6}s taken", elapsed_secs);
}

fn q1() -> u8 { /* ... */ }
fn q2() -> u32 { /* ... */ }
fn q3() -> u64 { /* ... */ }
fn q4() -> String { /* ... */ }

fn main() {
  // ...
  match question_num {
    1 => run_question(q1), 2 => run_question(q2), 3 => run_question(q3), 4 => run_question(q4),
    _ => {
      println!("Question doesn't exist.");
    },
  }
}

我没有编写宏的经验，并尝试了以下不完全有效的方法。它会给出错误：

error: variable 'question_num' is still repeating at this depth

我也很难理解如何将Question doesn't exist.打印为默认情况。

#[macro_export]
macro_rules! run_questions {
  ( $chosen_question: expr, $( $question_num: expr, $question_mod: expr ), * ) => {
    {
      if $chosen_question == $question_num {
        run_question($question_mod::solve);
      }
    }
  };
}

我想使用它的方式是(或者任何简短的东西也可以)：

run_questions!(question_num, 1, q1, 2, q2, 3, q3, 4, q4);

我读过一点Rust这本书，但是宏的例子并不多。

我该怎么做呢？

Answer 1

我没有使用许多if语句，而是使用重复的$( ... )*为所有可用分支复制了match语句。它的行为似乎类似于扩展的match表达式。

macro_rules! run_questions {
    ( $chosen_question: expr, $( $question_num: expr, $question_mod: expr ), * ) => {
        match $chosen_question {
          $($question_num => run_question($question_mod),)*
          _ => {
                println!("Question doesn't exist.");
          }
        }
    };
}

Answer 2

错误消息说明：

macro_rules! run_questions {
    ($chosen_question: expr, $($question_num: expr, $question_mod: expr),*) => {{

在上面的模式中，重复使用涉及变量$question_num和$question_mod的*运算符

        if $chosen_question == $question_num {
            run_question($question_mod::solve);
        }

在相应的代码中，您不能直接使用$question_num和$question_mod：因为它们是重复的，所以它们可能有多个值，编译器应该在这里使用哪一个？相反，您需要告诉编译器重复使用这些变量的代码块。这是通过使用$()包围重复的代码块并添加*运算符来完成的：

        $(if $chosen_question == $question_num {
            run_question($question_mod::solve);
        })*

尽管正如@prog-fh的答案所指出的，最好在宏中使用match，与直接代码中的相同：

match $chosen_question {
    $($question_num => run_question ($question_mod::solve),)*
    _ => println!("Question doesn't exist.")
};