Rust中如何将元组参数分发到对应函数中调用

嘿，我最近遇到了这么个需求：手里有个签名固定的Rust函数，比如像这样：

fn my_func(arg1: Type1, arg2: Type2, ...) -> RetType

同时还有个类型完全匹配这个函数参数的元组(Type1, Type2, ...)，我想把元组里的元素挨个传给这个函数调用。

最开始我自己写了个宏来实现：

macro_rules! apply {
    ($func:ident, ($($arg:expr),*)) => {
        $func($($arg),*)
    };
}

这个宏用起来没问题，但有个局限——它只支持直接写出来的「字面量元组」，要是我手里是个已经定义好的元组变量，比如let args = (10, 20);，再用这个宏就会报错，根本没法用。那该怎么解决这个问题呢？

方法一：手动解构（适合短元组） #

如果你的元组长度比较短，直接手动解构元组再调用函数就很简单：

// 比如函数是两个参数
fn add(a: i32, b: i32) -> i32 { a + b }

// 定义元组变量
let args = (3, 5);
// 解构后调用
let (a, b) = args;
let result = add(a, b);

这种方法直观易懂，但如果元组参数很多，写起来就会很繁琐。

方法二：改进宏，支持元组变量 #

我们可以扩展原来的宏，通过match匹配不同长度的元组，自动解构后传入函数。这样不管是字面量元组还是元组变量都能支持：

macro_rules! apply {
    // 处理元组变量的分支
    ($func:ident, $tuple:expr) => {
        match $tuple {
            (a) => $func(a),
            (a, b) => $func(a, b),
            (a, b, c) => $func(a, b, c),
            (a, b, c, d) => $func(a, b, c, d),
            (a, b, c, d, e) => $func(a, b, c, d, e),
            // 可以根据需求继续扩展到更长的元组，一般12个参数以内足够用
            _ => panic!("这个宏暂时不支持当前长度的元组哦！"),
        }
    };
    // 保留原来处理字面量元组的分支
    ($func:ident, ($($arg:expr),*)) => {
        $func($($arg),*)
    };
}

现在不管是变量还是字面量元组都能轻松调用：

// 测试变量元组
let args = (3, 5);
let result1 = apply!(add, args);
assert_eq!(result1, 8);

// 测试字面量元组
let result2 = apply!(add, (2, 4));
assert_eq!(result2, 6);

如果需要支持更长的元组，只需要在match里添加对应长度的解构分支就行，Rust标准库对元组的支持一般到12个元素，足够覆盖大多数场景了。

备注：内容来源于stack exchange，提问作者MaPo