如何简化由异构元组构成的std::tuple的初始化操作？

直接用std::tuple嵌套初始化列表的写法行不通，核心原因是初始化列表（{...}）本身是无类型的，std::tuple的类模板参数推导（CTAD）无法自动将无类型的初始化列表推导为内部的std::tuple实例。而std::vector<std::tuple<...>>能生效，是因为容器内部的元素类型是明确固定的，可根据固定类型将初始化列表转换为对应元素。

通过可变参数模板，把每个传入的初始化列表显式转换为std::tuple，再组合成外层的std::tuple，代码示例如下：

#include <tuple>
#include <string_view>

template <typename... Args>
auto make_tuple_of_tuples(Args&&... args) {
    return std::tuple{std::tuple{std::forward<Args>(args)}...};
}

// 使用示例
int main() {
    auto baz = make_tuple_of_tuples(
        {1, "foo", 3},
        {1, 2, 3},
        {1.0, 2.0}
    );
    // baz的类型为：std::tuple<
    //     std::tuple<int, const char*, int>,
    //     std::tuple<int, int, int>,
    //     std::tuple<double, double>
    // >
}

这个函数利用完美转发保持值类别，同时显式将每个初始化列表包装成std::tuple，外层再用std::tuple组合，完全实现了目标简化写法。

如果需要更定制化的行为，可以自定义一个包装类，通过构造函数和推导指引支持嵌套初始化列表：

#include <tuple>
#include <string_view>

template <typename... Tuples>
struct TupleOfTuples {
    std::tuple<Tuples...> data;

    // 构造函数：接受多个元组或初始化列表
    template <typename... Args>
    TupleOfTuples(Args&&... args) 
        : data(std::tuple{std::forward<Args>(args)}...) {}
};

// 推导指引：告诉编译器如何将初始化列表推导为对应元组类型
template <typename... Args>
TupleOfTuples(Args&&...) -> TupleOfTuples<decltype(std::tuple{std::forward<Args>(Args{})})...>;

// 使用示例
int main() {
    auto baz = TupleOfTuples{
        {1, "foo", 3},
        {1, 2, 3},
        {1.0, 2.0}
    };
    // baz.data的类型与方案一中的baz完全一致
}

这个自定义类型本质是std::tuple的包装，通过推导指引让编译器自动识别每个初始化列表对应的std::tuple类型，同样能实现简化写法。

• 直接用std::tuple无法省略内部std::tuple构造，因为CTAD无法处理无类型的嵌套初始化列表。
• 两种方案均可实现目标：make_tuple_of_tuples函数轻量直接，自定义类型适合需要额外扩展功能的场景。

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