能否无需显式指定类型，从聚合初始化推导函数模板实参？

核心问题分析 #

直接传递{"hello", 2}这类花括号初始化列表给模板函数时，编译器无法自动推导其为std::tuple——因为花括号初始化列表本身不属于任何具体类型，无法触发模板参数推导。而std::initializer_list仅支持同构类型，也不符合异构参数的需求。

解决方案：自定义可推导的包装类 #

通过自定义一个轻量包装类，结合C++17的类模板实参推导（CTAD），让编译器能从异构初始化列表自动推导类型，内部转为std::tuple供后续处理。

完整实现代码 #

#include <tuple>
#include <functional>
#include <iostream>

// 自定义包装类：接收异构参数并转为std::tuple
template <typename... Ts>
struct TupleArg {
    std::tuple<Ts...> value;

    // 完美转发构造，支持右值、左值和引用包装（如std::ref）
    TupleArg(Ts&&... args) noexcept
        : value(std::forward<Ts>(args)...) {}
};

// 推导指引：让编译器能从初始化列表推导TupleArg的模板参数
template <typename... Ts>
TupleArg(Ts&&...) -> TupleArg<Ts...>;

// 原有tuple处理逻辑示例（替换为你的业务代码）
template <typename... Ts>
void process_tuple(const std::tuple<Ts...>& t) {
    // 用std::apply遍历tuple元素（C++17及以上支持）
    std::apply([](const auto&... args) {
        (std::cout << args << " ", ...);
        std::cout << "\n";
    }, t);
}

// 最终目标函数f：接收任意数量的TupleArg实例
template <typename... Args>
void f(Args&&... args) {
    // 分发每个TupleArg的内部tuple到处理逻辑
    (process_tuple(std::forward<Args>(args).value), ...);
}

// 测试调用
int main() {
    int i{};
    f(
        {"hello", 2},
        {"world", "!", 3},
        {"!", std::ref(i)}
    );
    // 修改i的值验证引用效果
    std::get<1>(std::get<2>(std::make_tuple(std::forward<decltype(f)>().value...))).get() = 42;
    std::cout << "i = " << i << "\n";
    return 0;
}

关键细节说明 #

1. TupleArg包装类：通过模板构造函数接收任意异构参数，内部存储为std::tuple，完美转发保证参数类型（包括引用包装std::reference_wrapper）被正确保留。
2. 推导指引：告诉编译器如何从初始化列表推导TupleArg的模板参数，这是让{"hello",2}能被识别为TupleArg<const char*, int>的核心。
3. 函数f的实现：接收任意数量的TupleArg实例，通过折叠表达式将每个实例的内部tuple传递给原有处理逻辑，完全兼容你原本的业务代码。

替代方案：利用C++20简化（仍需显式调用make_tuple） #

如果你使用C++20及以上，可借助std::make_tuple的自动推导省略模板参数，但仍需显式调用make_tuple，不如包装类调用简洁：

#include <tuple>
#include <functional>
#include <iostream>

template <typename... Tuples>
void f(Tuples&&... tuples) {
    (process_tuple(std::forward<Tuples>(tuples)), ...);
}

// 调用示例
int main() {
    int i{};
    f(
        std::make_tuple("hello", 2),
        std::make_tuple("world", "!", 3),
        std::make_tuple("!", std::ref(i))
    );
    return 0;
}

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