C++如何避免模板模板参数实例化时重复传递类型参数？

问题原因 #

你原来的CollectionHandler定义要求第一个入参是模板模板参数（即未实例化的模板本身，如TypeCollection），而你尝试传入的是已经完成实例化的具体类型TypeCollection<A,B,C>，二者类型不匹配因此触发编译报错。

解决方案 #

通过模板偏特化即可实现你要的调用方式，具体实现步骤如下：

1. 先声明CollectionHandler的主模板，不需要写默认实现：

template <typename T>
class CollectionHandler;

2. 针对TypeCollection实例的场景写偏特化实现，自动提取参数包：

template <typename ...Types>
class CollectionHandler<TypeCollection<Types...>> {
    // 此处可直接使用提取到的Types参数包实现业务逻辑
    // 示例：导出类型、统计参数数量
    using collection_type = TypeCollection<Types...>;
    static constexpr size_t param_count = sizeof...(Types);
};

此时你就可以直接用CollectionHandler<TypeCollection<A, B, C>>完成实例化，不需要重复传递参数包。

通用扩展（可选） #

如果你希望CollectionHandler可以兼容所有类似TypeCollection的类型列表模板（比如std::tuple等），可以把偏特化写得更通用：

template <template <typename...> class CollectionT, typename ...Types>
class CollectionHandler<CollectionT<Types...>> {
    // 此处可同时拿到模板本身CollectionT和参数包Types
};

该版本支持CollectionHandler<std::tuple<int, double, std::string>>这类调用，适配范围更广。

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