基于宏参数值生成不同返回类型Rust代码的技术问询

你提供的原始宏写法存在两个关键问题：

1. Rust是静态类型语言，函数的返回类型在编译期就必须确定，无法通过运行时的if分支动态改变返回类型；
2. $mod_name是标识符（ident类型的宏参数），不能直接和字符串字面量做相等比较，这类判断需要在宏的编译期分支中完成。

下面针对你的需求给出正确实现：

一、根据布尔参数生成不同返回类型的函数 #

我们利用宏的编译期分支能力，根据传入的布尔常量参数，直接生成对应返回类型的函数：

macro_rules! gen_dynamic_return_fn {
    // 匹配参数为true的情况，生成返回String的函数
    ($fn_name:ident, true) => {
        fn $fn_name() -> String {
            "返回字符串类型".to_string()
        }
    };
    // 匹配参数为false的情况，生成返回u32的函数
    ($fn_name:ident, false) => {
        fn $fn_name() -> u32 {
            123 // 返回整数类型
        }
    };
}

// 调用示例1：生成返回字符串的函数
gen_dynamic_return_fn!(my_fn, true);
// 调用示例2：若要生成整数版本，注释掉上面一行，取消下面一行注释
// gen_dynamic_return_fn!(my_fn, false);

fn main() {
    println!("{:?}", my_fn()); // 对应true的情况，输出："返回字符串类型"
    // println!("{}", my_fn()); // 对应false的情况，输出：123
}

注：Rust中不允许同一作用域存在同名且参数列表相同的函数（即使返回类型不同），因此同一时间只能启用一个宏调用分支。

二、阶乘示例：根据参数奇偶生成同名函数，复用计算逻辑 #

要求宏接收编译期整数参数，判断奇偶后返回不同类型的5的阶乘结果，且计算逻辑不重复。我们可以先把阶乘计算抽成独立的辅助逻辑，再通过宏分支生成返回逻辑：

// 辅助常量函数：编译期计算5的阶乘
const fn calc_fact5() -> u32 {
    5 * 4 * 3 * 2 * 1
}

// 主宏：根据参数奇偶生成对应返回类型的函数
macro_rules! gen_fact5_fn {
    ($fn_name:ident, $num:expr) => {
        // 编译期判断参数奇偶性，生成对应函数
        if $num % 2 == 0 {
            fn $fn_name() -> u32 {
                calc_fact5()
            }
        } else {
            fn $fn_name() -> String {
                calc_fact5().to_string()
            }
        }
    };
}

// 调用示例1：参数为偶数，生成返回整数的函数
gen_fact5_fn!(get_fact5, 4);
// 调用示例2：参数为奇数，生成返回字符串的函数
// gen_fact5_fn!(get_fact5, 3);

fn main() {
    println!("5的阶乘（整数）：{}", get_fact5()); // 输出：120
    // println!("5的阶乘（字符串）：{:?}", get_fact5()); // 输出："120"
}

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