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 に答える