C++如何对参数包应用函数后传递给可变参数函数

你当前使用的逗号折叠表达式(f(std::forward<Args>(args)), ...)存在逻辑问题：逗号运算符会丢弃左侧表达式的求值结果，整个折叠表达式最终只会返回最后一次调用f的返回值，也就是3+1=4。最终传给print的只有单个参数4，自然输出不符合预期。
C++不支持函数直接返回多个值组成的参数包，所以没法靠简单修改return的折叠表达式实现整组参数传递。

核心思路是先把所有参数经过f转换后的结果存入std::tuple，再通过索引序列将tuple中的元素拆解为独立参数包，传给可变参函数print。以下是两种常用实现：

写法1：封装调用逻辑，直接输出 #

这种写法不需要修改调用方习惯，mapping内部完成转换+传参的全流程，兼容C++17标准：

#include <iostream>
#include <tuple>
#include <utility>

// 原print逻辑保持不变
template<typename... Args>
void print(const Args &... args) {
    (std::cout << ... << args) << std::endl;
}

// 辅助函数：按索引拆解tuple为参数包，调用print
template<typename F, typename Tuple, size_t... Index>
void mapping_helper(F&& f, Tuple&& arg_tuple, std::index_sequence<Index...>) {
    print(f(std::get<Index>(std::forward<Tuple>(arg_tuple)))...);
}

// 修正后的mapping函数
template<typename F, typename... Args>
void mapping(F&& f, Args&&... args) {
    mapping_helper(
        std::forward<F>(f),
        // 完美转发原始参数到tuple，避免不必要的拷贝
        std::forward_as_tuple(std::forward<Args>(args)...),
        // 自动生成和参数包长度匹配的索引序列
        std::index_sequence_for<Args...>{}
    );
}

int main() {
    print(1,2,3); // 输出123
    mapping([](auto &&a) {return a + 1;}, 1, 2, 3); // 输出234，符合预期
}

写法2：返回转换后的tuple，灵活适配不同调用场景 #

如果不想把mapping和print强绑定，可以让mapping返回存储所有转换结果的tuple，调用时用std::apply拆解tuple为参数包即可：

#include <iostream>
#include <tuple>
#include <utility>

template<typename... Args>
void print(const Args &... args) {
    (std::cout << ... << args) << std::endl;
}

// mapping返回所有转换结果组成的tuple
template<typename F, typename... Args>
auto mapping(F&& f, Args&&... args) {
    return std::make_tuple(f(std::forward<Args>(args))...);
}

int main() {
    print(1,2,3); // 输出123
    // 用std::apply拆解tuple，把元素作为独立参数传给print
    std::apply(
        [](const auto&... res) { print(res...); },
        mapping([](auto &&a) {return a + 1;}, 1, 2, 3)
    ); // 输出234，符合预期
}

如果使用C++23及以上标准，还可以用标准库自带的std::tuple_transform进一步简化转换逻辑，不需要手写参数包展开的代码。

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