如何编写一个显示文件和行号以及可变数量参数的宏？

Question

我在 Rust 中发现了几个有用的宏，即：file!(), line!(), stringify!()我还发现 Rust 允许带有可变参数的宏，如下所述：

macro_rules! print_all {
    ($($args:expr),*) => {{
        $(
            println!("{}", $args);
        )*
    }}
}

我的目标是以某种方式将所有这些宏合并到一个我将在故障排除/调试期间使用的宏中。trace!因此在以下示例中调用宏：

let a: i32 = 1;
let b: i32 = 2;
trace!(a,b)

应该扩展到这样的东西：

println!("TRACE: file: {}, line: {}, a: {}, b: {}", file!(), line!(), a, b);

是否可以？如果是，这样的宏将如何工作？

Answer 1

你可以这样做：

macro_rules! trace {
    ($($args: expr),*) => {
        print!("TRACE: file: {}, line: {}", file!(), line!());
        $(
            print!(", {}: {}", stringify!($args), $args);
        )*
        println!(""); // to get a new line at the end
    }
}

多次调用可能会产生很小的开销print!，因为每次调用都会导致系统调用，并且还会检查 IO 错误。但是，为任意参数构造单个格式化字符串将需要一个过程宏，我认为这超出了问题的范围。

您还可以使用 aBufWriter将其限制为单个系统调用，但这可能不值得。