7

我想构建功能,例如:

template< int ... values> 
constexpr bool check( int i ) noexcept
{
    switch(i)
    {
        case values[0]: case values[1]: ... case values[n-1] : // only illustrated.
         return true;
        default: return false;
    }
}

我可以做那个功能吗?

更新:谢谢,现在我知道如何实现:

template< int ... values> struct checker;
template< int head, int ... tail> struct checker<head, tail...>
{
   static constexpr bool apply( int i ) noexcept { 
        return i == head || checker<tail...>::apply(i); 
   }
};
template<> struct checker<>
{
   static constexpr bool apply( int ) noexcept { return false; }
};

template< int ... values > 
constexpr bool check(int i) noexcept { return checker<values...>::apply(i); }

UPDATE2:我不知道,好不好,但我找到了这个解决方案:

    template<size_t N>
constexpr bool any_of( bool( && array)[N], size_t index = 0)  noexcept
{
    return (index == N ) ? false 
           : ( array[index] || any_of( std::forward< decltype(array)>(array), 1+index) );
}


template< int ... values >
constexpr bool check(int i) noexcept
{
     using list = bool[sizeof...(values)];
     return any_of( list{ ( i == values) ... } );
}

template<>
constexpr bool check <>(int i) noexcept { return false; }
4

1 回答 1

7

我认为不可能以switch任何方式使用语法。但这应该有效:

template < int head, int ... values >
struct checker
{
  static constexpr bool value(int i) noexcept
  { return i == head || checker<values...>::value(i); }
};

template < int head >
struct checker<head>
{
  static constexpr bool value(int i) noexcept
  { return i == head; }
};


template< int ... values> 
constexpr bool check( int i ) noexcept
{
  return checker<values...>::value(i);
}

活生生的例子

于 2013-09-12T07:00:44.330 回答