如何在Rust宏中处理可选标记缺失时生成代码并避免重复？

典型场景 #

通常我们会写这样的可选参数宏：

macro_rules! foo {
    ($a:tt $(b:tt)?) => {
        do_something_with_a($a);
        $(do_something_with_b($b);)?
    }
}

需求逻辑 #

但如果需要在没有b参数时执行特定逻辑，直接写两个分支会出现代码重复：

macro_rules! foo {
    ($a:tt) => {
        do_something_with_a($a);
        do_something_when_b_is_absent();
    };
    ($a:tt $b:tt) => {
        do_something_with_a($a);
        do_something_with_b($b);
    };
}

问题：如何避免此处的代码重复？ #

你可能会想有没有类似条件判断的写法，比如：

macro_rules! foo {
    ($a:tt $(b:tt)?) => {
        do_something_with_a($a);
        $(do_something_with_b($b);)?
        ${if(
            eq(count(b), 0),
            {do_something_when_b_is_absent();}
        )}
    }
}

遗憾的是，这种语法在macro_rules!里并不存在——它是基于模式匹配的声明式宏，没有内置的条件判断语法，但有几种实用的方案可以避免代码重复：

方案1：提取公共逻辑到辅助宏 #

把重复的代码抽离到内部辅助宏，在主宏的不同分支里调用：

macro_rules! foo {
    ($a:tt) => {
        foo_common!($a);
        do_something_when_b_is_absent();
    };
    ($a:tt $b:tt) => {
        foo_common!($a);
        do_something_with_b($b);
    };
}

// 辅助宏：存放公共逻辑
macro_rules! foo_common {
    ($a:tt) => {
        do_something_with_a($a);
    };
}

方案2：拆分参数处理逻辑到辅助宏 #

把可选参数的分支逻辑单独放到辅助宏，主宏只负责公共部分：

macro_rules! foo {
    ($a:tt $( $b:tt )?) => {
        do_something_with_a($a);
        // 调用辅助宏处理b的存在/不存在情况
        foo_handle_b!($($b)?);
    };
}

macro_rules! foo_handle_b {
    // 无b参数时的逻辑
    () => {
        do_something_when_b_is_absent();
    };
    // 有b参数时的逻辑
    ($b:tt) => {
        do_something_with_b($b);
    };
}

方案3：利用重复语法的反向匹配（技巧性写法） #

通过嵌套重复块，利用“无重复时展开默认逻辑”的特性：

macro_rules! foo {
    ($a:tt $( $b:tt )?) => {
        do_something_with_a($a);
        $(
            do_something_with_b($b);
        )?
        // 当没有$b时，这个空重复块会触发展开内部逻辑
        $()=>{
            do_something_when_b_is_absent();
        }
    };
}

如果需要更复杂的条件逻辑，可以考虑使用过程宏（Procedural Macros），它允许用Rust代码直接处理宏输入，实现更灵活的逻辑，但macro_rules!的上述方案已经能满足大部分场景的代码复用需求。

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