c++ - 如何在编译时找出 integer_sequence 是否包含给定的数字？

Question

给定:

typedef std::integer_sequence<int, 0,4,7> allowed_args_t;

和:

template<int arg> void foo()
{
    static_assert( /*fire if arg not in allowed_args_t!*/ )
}

我应该如何编写 static_assert 以使其在编译时尽可能便宜？

我正在使用 C++17。

Answer 1

你可能想使用:

template <int ... Is>
constexpr bool is_in(int i, std::integer_sequence<int, Is...>)
{
    return ((i == Is) || ...);
}


typedef std::integer_sequence<int, 0, 4, 7> allowed_args_t;


template<int arg> void foo()
{
    static_assert(is_in(arg, allowed_args_t{}));
}