检查是否在可变参数模板参数包中传递了类型

Question

我听说过某个地方，使用新的C ++ 1z语法，很容易检查是否在可变参数模板参数包中传递了一个类型 - 显然你可以使用接近一行长的代码来做到这一点。这是真的？那些相关的功能是什么？ （我尝试通过折叠表达式查看但我无法看到如何在该问题中使用它们...）

以下是我在C ++ 11中解决问题的方法，以供参考：

#include <type_traits>


template<typename T, typename ...Ts>
struct contains;

template<typename T>
struct contains<T> {
    static constexpr bool value = false;
};

template<typename T1, typename T2, typename ...Ts>
struct contains<T1, T2, Ts...> {
    static constexpr bool value = std::is_same<T1, T2>::value ? true : contains<T1, Ts...>::value;
};

Answer 1

你在找std::disjunction。它在N4564 [meta.logical]中指定。

#include <type_traits>

template<typename T, typename... Ts>
constexpr bool contains()
{ return std::disjunction_v<std::is_same<T, Ts>...>; }

static_assert(    contains<int,      bool, char, int, long>());
static_assert(    contains<bool,     bool, char, int, long>());
static_assert(    contains<long,     bool, char, int, long>());
static_assert(not contains<unsigned, bool, char, int, long>());

Live demo

---

或者，适应了struct

template<typename T, typename... Ts>
struct contains : std::disjunction<std::is_same<T, Ts>...>
{};

---

或者，使用折叠表达式

template<typename T, typename... Ts>
struct contains : std::bool_constant<(std::is_same<T, Ts>{} || ...)>
{};

Live demo

Answer 2

如果你被绑定到C ++ 11，你就不能使用std::disjunction和fold-expressions。但是，滚动自己的any_is_same相当简单：

template<typename same, typename first,typename...more> 
struct any_is_same {
    static const bool value = std::is_same<same,first>::value || 
                              any_is_same<first,more...>::value; 
};

template<typename same,typename first> 
struct any_is_same<same,first> : std::is_same<same,first> {};


int main(){
    std::cout << any_is_same<int, int,double,float>::value << "\n";
    std::cout << any_is_same<std::string, int,double,float>::value << "\n";
}

Live Demo