如何泛化模板特化，使其适配任意可变参数模板类型？

当然可以泛化这个类型检查逻辑，让它支持所有以可变类型列表作为模板参数的类型（比如std::tuple、std::variant这类）。核心思路是通过模板特化提取可变参数模板的类型参数包，再统一进行类型匹配检查。

实现代码 #

#include <type_traits>
#include <tuple>
#include <variant>

// 主模板声明
template<typename T, typename VariadicType>
struct IsInVariadicTemplate;

// 特化版本：匹配任意接受可变类型列表的模板
template<typename T, template<typename...> typename VariadicTemplate, typename... Ts>
struct IsInVariadicTemplate<T, VariadicTemplate<Ts...>>
{
    static constexpr bool value = std::disjunction_v<std::is_same<T, Ts>...>;
};

// 辅助变量模板，简化使用
template<typename T, typename VariadicType>
constexpr bool IsInVariadicTemplate_v = IsInVariadicTemplate<T, VariadicType>::value;

代码说明 #

• 主模板IsInVariadicTemplate仅做声明，具体逻辑在特化版本中实现。
• 特化版本的template<typename...> typename VariadicTemplate用于匹配任意接受可变类型参数的模板（比如std::tuple、std::variant），Ts...则是该模板的类型参数包。
• std::disjunction_v<std::is_same<T, Ts>...>会逐个检查T是否与Ts中的某一类型相同，只要有一个匹配就返回true，否则返回false。

使用示例 #

// 检查int是否在std::tuple<int, double, std::string>中
static_assert(IsInVariadicTemplate_v<int, std::tuple<int, double, std::string>> == true);

// 检查char是否在std::variant<float, int, bool>中
static_assert(IsInVariadicTemplate_v<char, std::variant<float, int, bool>> == false);

// 检查double是否在std::tuple<double>中
static_assert(IsInVariadicTemplate_v<double, std::tuple<double>> == true);

注意事项 #

这个实现仅适用于模板参数为可变类型列表的类型，像std::array<T, N>这类包含非类型模板参数的类型无法匹配（因为std::array的第二个参数是整数而非类型）。如果需要支持这类类型，需要额外的特化处理，但对于std::tuple、std::variant这类典型的可变类型模板，上述代码完全适用。

内容的提问来源于stack exchange，提问作者Ton van den Heuvel