使用不包括基类的模板从C++中的列表中查找特定类型

#include <iostream>
#include <type_traits>

// 定义一个类型列表
struct EmptyList {};

// 定义一个模板类，用于从类型列表中查找特定类型
template <typename T, typename List>
struct TypeListContains : std::false_type {};

// 特化模板类，用于处理类型列表中包含特定类型的情况
template <typename T, typename... Ts>
struct TypeListContains<T, std::tuple<T, Ts...>> : std::true_type {};

// 递归处理类型列表中不包含特定类型的情况
template <typename T, typename U, typename... Ts>
struct TypeListContains<T, std::tuple<U, Ts...>> : TypeListContains<T, std::tuple<Ts...>> {};

int main() {
    // 定义一个类型列表
    using MyList = std::tuple<int, float, double, char>;

    // 检查类型列表中是否包含特定类型
    std::cout << TypeListContains<float, MyList>::value << std::endl;  // 输出 1
    std::cout << TypeListContains<long, MyList>::value << std::endl;   // 输出 0

    return 0;
}