首先定义基础模板类，表示不包含给定类型

template <typename T, typename... Args>
struct contains : public std::false_type {};

接着进行特化，将可变模板参数中的类型逐个和目标类型进行比较，直到类型相同或者模板参数列表为空

template <typename T, typename U, typename... Args>
struct contains<T, U, Args...> :
    public std::conditional_t<std::is_same_v<T, U>, std::true_type, contains<T, Args...>> {};

由于基础模板类的模板参数仅有T和Args两个，所以如果想要表示三个就需要进行特化

std::conditional是一个编译期类型选择模板库，使用方法如下

std::conditional<bool, type1, type2>::type

当布尔表达式为真时返回type1，为假时返回type2。注意布尔表达式必须可以在编译期计算出来

在contains的实现中，判断类型T和U是否相同，如果相同返回std::true_type类型，否则丢弃U，继续展开Args直到展开为空时，调用基础模板类，相当于返回std::false_type类型

测试程序

#include <tuple>
#include <vector>
#include <iostream>

template <typename T, typename... Args>
struct contains : public std::false_type {};

template <typename T, typename U, typename... Args>
struct contains<T, U, Args...> :
    public std::conditional_t<std::is_same_v<T, U>, std::true_type, contains<T, Args...>> {};

template <typename... Args>
void contains_test(Args&&... ) {
    if constexpr (contains<std::string, Args...>::value) {
        std::cout << "contains std::string type" << std::endl;
    }
    else {
        std::cout << "don't contains std::string type" << std::endl;
    }
}
int main()
{
    contains_test(10, 2.5, std::vector<int>{1, 2, 3}, std::string("hello world"), 1);
    return 0;
}