如何在Rust声明式宏中拼接两个变量生成标识符？

在编写参数化测试宏时，尝试通过fn $name_\$test_name()拼接$name和$test_name两个标识符变量会触发编译错误，仅使用$test_name作为函数名时可正常运行。核心问题是Rust的macro_rules!不支持直接通过字面量与变量的组合拼接标识符，需通过以下两种方案解决：

方案1：使用paste crate（稳定环境推荐） #

paste crate提供了稳定的标识符拼接能力，支持在宏中组合标识符并插入分隔符（如下划线），无需依赖不稳定特性。

实现步骤： #

1. 在Cargo.toml中添加依赖：

[dependencies]
paste = "1.0"

2. 修改宏代码：
   使用paste!宏包裹函数定义部分，通过[<...>]语法实现标识符拼接：

use paste::paste;

#[macro_export]
macro_rules! parameterize {
    ($name:ident, $params:pat, {$($test_name:ident : ($($args:expr),*)),*}, $test_body:block) => {
        $( 
            paste! {
                fn [<$name _ $test_name>]() {
                    let $params = ($($args),*);
                    $test_body
                }
            }
        )*
     };
}

parameterize! {
     should_be_added,
     (expected, a, b),
     {
         positive: (3, 1, 2),
         zero: (0, 0, 0),
         negative: (-5, -2, -3),
         large_numbers: (999999, 444444, 555555)
     },
     {
         println!("a={}, b={}, expected={}", a, b, expected);
     }
}

fn main() {
   should_be_added_positive();
   should_be_added_negative();
}

方案2：使用标准库concat_idents!（仅适配Nightly Rust） #

若可接受使用Rust的不稳定特性，可启用concat_idents功能实现拼接：

实现步骤： #

1. 在 crate 根文件（如main.rs/lib.rs）顶部添加特性声明：

#![feature(concat_idents)]

2. 修改宏代码：
   使用concat_idents!直接拼接标识符：

#![feature(concat_idents)]

#[macro_export]
macro_rules! parameterize {
    ($name:ident, $params:pat, {$($test_name:ident : ($($args:expr),*)),*}, $test_body:block) => {
        $( 
            concat_idents! {
                fn $name _ $test_name () {
                    let $params = ($($args),*);
                    $test_body
                }
            }
        )*
     };
}

parameterize! {
     should_be_added,
     (expected, a, b),
     {
         positive: (3, 1, 2),
         zero: (0, 0, 0),
         negative: (-5, -2, -3),
         large_numbers: (999999, 444444, 555555)
     },
     {
         println!("a={}, b={}, expected={}", a, b, expected);
     }
}

fn main() {
   should_be_added_positive();
   should_be_added_negative();
}

关键说明 #

• paste crate是稳定环境下的首选方案，支持灵活的标识符组合规则（前缀、后缀、分隔符等），无版本兼容风险。
• concat_idents!属于标准库不稳定特性，API可能随Rust版本迭代变化，仅适合可长期维护Nightly环境的场景。

内容的提问来源于stack exchange，提问作者Zach