如何在Rust宏中用分隔符将可变参数字符串化？

要实现将宏接收的可变模式参数（$($varargs:pat),*）格式化为类似"a, b, c"的字符串，可以通过递归辅助宏结合编译期字符串拼接来完成，以下是具体实现：

核心实现代码 #

// 主宏，对外暴露调用接口
macro_rules! something {
    ($($varargs:pat),*) => {
        something_internal!($($varargs),*);
    };
}

// 辅助递归宏，处理参数拼接逻辑
macro_rules! something_internal {
    // 空参数场景：返回空字符串
    () => {
        ""
    };
    // 单个参数场景：直接将模式转为字符串
    ($arg:pat) => {
        stringify!($arg)
    };
    // 多参数场景：递归拼接第一个参数 + 分隔符 + 剩余参数
    ($first:pat, $($rest:pat),*) => {
        concat!(stringify!($first), ", ", something_internal!($($rest),*))
    };
}

测试示例 #

fn main() {
    // 调用宏并输出结果
    let result = something!(a, b, c);
    println!("{}", result); // 输出: "a, b, c"

    // 测试复杂模式参数
    let complex_result = something!(ref x, mut y, &z);
    println!("{}", complex_result); // 输出: "ref x, mut y, &z"
}

原理说明 #

1. stringify!宏：将传入的模式（pat）直接转换为对应的字符串字面量，保留原模式的语法形式。
2. concat!宏：在编译期完成字符串拼接，避免运行时开销。
3. 递归辅助宏：通过模式匹配处理三种场景（空参数、单参数、多参数），递归拆解多参数直到只剩单个参数，最终拼接出符合要求的带分隔符字符串。

扩展方案 #

如果需要自定义分隔符（比如用; 代替, ），只需修改辅助宏中concat!里的分隔符即可：

($first:pat, $($rest:pat),*) => {
    concat!(stringify!($first), "; ", something_internal!($($rest),*))
};

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