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

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