16

在 C++ 中迭代具有连续值的枚举的首选简单方法是什么？我发现以前关于这个主题的 SO 问题涉及创建自定义operator++等，但这似乎有点矫枉过正。到目前为止，我想出的最好的是：

enum {
   FOO,
   BAR,
   BLECH,
   NUM_ENUMS
} MyEnum;

//for (MyEnum m = FOO; m < NUM_ENUMS; ++m)             // compile error
//    ...

//for (MyEnum m = FOO; m < NUM_ENUMS; m = m + 1)       // compile error
//    ...

for (MyEnum m = FOO; m < NUM_ENUMS; m = MyEnum(m + 1)) // OK ?
    ...

从编码风格的角度来看，这是否合理，是否可能会产生警告（g++ -Wall ...似乎对此感到满意）？

4

2 回答 2

14

确实是安全的。

这将是未定义的：MyEnum(int(NUM_ENUMS) + 1)因为要保存的值 (4) 将大于枚举可以表示的值 ([0, 3]); 因为你确保它m严格低于NUM_ENUMS使用安全MyEnum(m + 1)。

另一方面，请注意，您会遇到自定义枚举的问题，例如：

enum OtherEnum {
    Foo = -1,
    Bar = 2,
    Baz = 8,
    NUM_OTHERENUM
};

所以这不是通用的做法。

我会建议一个生成的数组来迭代：

MyEnum const Values[] = { FOO, BAR, BLECH };

请注意，它很容易从枚举的定义中生成，并且还避免使用无意义的值（业务方面）污染接口。

于 2013-06-20T11:21:50.837 回答
1

就像 Matthieu 所说的那样，这样做是完全安全的，并且不会以任何方式违反 C++ 标准。

作为旁注，在枚举上重载 ++ 运算符不仅是一种矫枉过正，而且其他人已经说明了一些问题（例如，如果枚举的值不是线性的）

因此，您需要的是迭代器，而不是定义运算符 ++。

我从这里通过 deft_code 调整了以下关于枚举的解决方案，但稍微针对您的示例进行了定制。

template< typename T >
class Enum
{
public:
   class Iterator
   {
   public:
  Iterator( int value ) :
     m_value( value )
  { }

  T operator*( void ) const
  {
     return (T)m_value;
  }

  void operator++( void )
  {
     ++m_value;
  }

  bool operator!=( Iterator rhs )
  {
     return m_value != rhs.m_value;
  }

   private:
      int m_value;
   };

};

template< typename T >
typename Enum<T>::Iterator begin( Enum<T> )
{
   return typename Enum<T>::Iterator( (int)T::First );
}

template< typename T >
typename Enum<T>::Iterator end( Enum<T> )
{
   return typename Enum<T>::Iterator( ((int)T::Last) + 1 );
}

enum class MyEnum
{
   FOO,
   BAR,
   BLECH,
   NUM_ENUMS
};

int main()
{
   for( auto e: Enum<MyEnum>() )
   {
      std::cout << ((int)e) << std::endl;
   }
}

这对你来说可能仍然是一个过度杀伤，但它更干净。另一段代码，但更优雅的方法是here。将来 C++11 中引入的枚举类可能在标准中具有迭代器。

更新：由于您向我们更新了您的值是连续的，并且 C API 需要它（？），因此上述内容不适合

于 2013-06-20T11:40:11.567 回答