如何基于可变模板参数构造同模板类的元组类型？

你想要的功能可以直接通过C++的可变参数包展开实现，不需要复杂的遍历或条件模板技巧，核心代码非常简洁：

#include <tuple>

// 你的模板类A
template<class Arg>
class A
{
    // 类的具体实现细节
};

// 生成目标元组类型的模板结构体
template<class... Args>
struct construct_tuple 
{
    // 直接展开参数包，为每个Args类型生成A<Args>，组合成tuple
    using type = std::tuple<A<Args>...>;
};

代码说明 #

这里的A<Args>...是C++11引入的可变参数包展开语法：编译器会自动遍历参数包Args中的每个类型，将其依次代入A<>模板，生成对应的A<Arg1>, A<Arg2>, ..., A<ArgN>，最终作为std::tuple的模板参数，拼接出你需要的元组类型。

使用示例 #

比如要生成包含A<int>、A<double>、A<std::string>的元组类型：

#include <type_traits>
#include <string>

// 定义目标元组类型
using MyTuple = construct_tuple<int, double, std::string>::type;

// 验证类型是否符合预期
static_assert(std::is_same_v<MyTuple, std::tuple<A<int>, A<double>, A<std::string>>>);

扩展：带类型转换的场景 #

如果需要对每个参数做额外的类型处理（比如类型转换、条件判断），可以结合模板元编程工具，比如：

// 自定义类型转换模板
template<class T>
struct AddPointer { using type = T*; };

// 生成带转换的元组类型
template<class... Args>
struct construct_transformed_tuple 
{
    using type = std::tuple<A<typename AddPointer<Args>::type>...>;
};

// 使用示例：生成A<int*>、A<double*>、A<std::string*>的元组
using MyTransformedTuple = construct_transformed_tuple<int, double, std::string>::type;
static_assert(std::is_same_v<MyTransformedTuple, std::tuple<A<int*>, A<double*>, A<std::string*>>>);

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