c++ - 折叠表达式 : iterate over variadic template type parameter to check compile-time conditions on the comprising types

Question

我的想法很简单:在可变类模板中，我想检查类型的一些编译时条件。在这种情况下，我想知道包中是否包含某种类型。这就是使用 C++17 的折叠表达式的代码可能看起来的样子，但显然这不是有效的语法。如何实现？

#include <type_traits>

template <class... Types>
struct TypesPack
{
    template <typename T>
    static constexpr bool hasType() {
        return std::is_same<T, Types>::value || ... || false;
    }
};

Answer 1

static constexpr bool hasType() {
    return (std::is_same<T, Types>::value || ...);
}

折叠表达式必须加括号，并且在使用 || 作为运算符时允许省略 false。