折叠表达式:迭代可变参数模板类型参数以检查包含类型的编译时条件

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 || ...);
}

fold-expression必须用括号括起来,并且允许false在||用作运算符时省略.