如何在std::variant中隐藏模板参数以简化声明？

当然可以！当你的std::variant里包含大量带模板参数的类时，手动逐个列出每个类的参数确实会非常繁琐。这里有几种实用的方法帮你简化声明：

方法1：利用可变参数模板直接映射 #

如果你的各个模板类的参数数量固定，且能从Variant的模板参数中按顺序拆分，直接用可变参数模板别名就能快速解决问题：

template <typename T> struct Type1 { };
template <typename B, typename C> struct Type2 { };

// 将Variant的参数按顺序分配给内部模板类
template <typename A, typename B, typename C>
using Variant = std::variant<Type1<A>, Type2<B, C>>;

// 后续新增模板类时，只需扩展这个别名即可
// 比如新增需要3个参数的Type3，可修改为：
// template <typename A, typename B, typename C, typename D, typename E, typename F>
// using Variant = std::variant<Type1<A>, Type2<B,C>, Type3<D,E,F>>;

这种方式最直观，适合模板类参数数量固定、组合规律的场景。

方法2：用辅助结构体做参数转发（更灵活） #

如果你的模板类参数组合复杂，或者需要支持多种参数排列方式，可以用辅助结构体的特化来封装映射逻辑：

template <typename T> struct Type1 { };
template <typename B, typename C> struct Type2 { };
// 假设还有一个需要3个参数的Type3
template <typename X, typename Y, typename Z> struct Type3 { };

// 基础辅助结构体
template <typename... Args>
struct VariantBuilder;

// 特化：定义参数到各个模板类的映射规则
template <typename A, typename B, typename C, typename X, typename Y, typename Z>
struct VariantBuilder<A, B, C, X, Y, Z> {
    using type = std::variant<
        Type1<A>,
        Type2<B, C>,
        Type3<X, Y, Z>
    >;
};

// 用模板别名简化调用
template <typename... Args>
using Variant = typename VariantBuilder<Args...>::type;

// 使用示例
Variant<int, double, float, std::string, bool, char> my_var;
// 等价于std::variant<Type1<int>, Type2<double,float>, Type3<std::string,bool,char>>

这种方式的优势是可以灵活定义参数映射规则，甚至能为不同的参数组合提供不同的特化版本，适配更复杂的场景。

方法3：模板模板参数（适合同类模板类的批量处理） #

如果你的variant里的模板类都是同一类模板（比如都是单参数模板），可以用模板模板参数来进一步简化：

// 假设有多个单参数模板类
template <typename T> struct Type1 { };
template <typename T> struct Type2 { };
template <typename T> struct Type3 { };

// 用模板模板参数批量生成variant成员
template <template<typename> typename... Templates, typename T>
using HomogeneousVariant = std::variant<Templates<T>...>;

// 使用示例：所有模板类都用int作为参数
HomogeneousVariant<Type1, Type2, Type3, int> my_var;
// 等价于std::variant<Type1<int>, Type2<int>, Type3<int>>

不过这种方法只适用于所有内部模板类的参数数量和类型一致的情况，通用性稍弱，但在特定场景下能极大简化代码。

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