c++enumsenumerationenum-class

What are commonly-used ways to iterate over an enum class in C++?


I am finding that all of my standard techniques for iterating over regular enums unfortunately do NOT work on enum classes since enum classes do not implicitly convert to integers.

NOT a duplicate of How can I iterate over an enum?, since I'm asking about an enum class (ie: a strongly-typed enum) and they are asking about a regular enum (ie: a weakly-typed enum).


Solution

  • This is the most-readable and simplest approach I could come up with, but I am open to other peoples' example solutions.

    I find this approach to be easy-to-use, similar to my C approach (making it more-portable and more-recognizable), and suitable to C++. It compiles with the -Wall -Wextra -Werror compiler build options.

    enum class MyErrorType 
    {
        SOMETHING_1 = 0,
        SOMETHING_2,
        SOMETHING_3,
        SOMETHING_4,
        SOMETHING_5,
        /// Not a valid value; this is the number of members in this enum
        _COUNT,
        // helpers for iterating over the enum
        begin = 0,
        end = _COUNT,
    };
    
    for (MyErrorType myErrorType = (MyErrorType)0; 
            myErrorType < MyErrorType::_COUNT;
            myErrorType = static_cast<MyErrorType>((size_t)myErrorType + 1)) 
    {
        switch (myErrorType) 
        {
            case MyErrorType::SOMETHING_1:
                break;
            case MyErrorType::SOMETHING_2:
                break;
            case MyErrorType::SOMETHING_3:
                break;
            case MyErrorType::SOMETHING_4:
                break;
            case MyErrorType::SOMETHING_5:
                break;
            case MyErrorType::_COUNT:
                // This case will never be reached. It is included only so that when
                // compiling with `-Wall -Wextra -Werror` build flags you get the
                // added bonus of covering all switch cases (withOUT unnecessarily
                // relying on a `default` case which would break this feature!), so
                // if you ever add a new element to the enum class but forget to
                // add it here to the switch case the compiler will THROW AN ERROR.
                // This is an added safety benefit to force you to keep your enum
                // and the switch statement in-sync! It's a technique commonly used
                // in C as well.
                break;
        }
    }
    

    Read my comments for the MyErrorType::_COUNT case above! If you are using the compiler's -Wall -Wextra -Werror compiler options but do NOT include this case in the switch statement (since those build options require you to cover ALL enum cases in ALL switch statements!), the compiler will throw the following error and stop! This is a great safety feature to ensure you keep the enum definition and all switch cases in-sync, handling all possible enums in all of your switch statements. Here is the compiler error thrown by LLVM's clang compiler (an alternative to gcc):

    ../my_file.cpp:11:16: error: enumeration value ‘_COUNT’ not handled in switch [-Werror=switch]
       11 |         switch (myErrorType) {
          |                ^
    

    One more tiny improvement over the code above, for clarity, would be to add begin and end elements to your enum like this:

    enum class MyErrorType 
    {
        SOMETHING_1 = 0,
        SOMETHING_2,
        SOMETHING_3,
        SOMETHING_4,
        SOMETHING_5,
        /// Not a valid value; this is the number of members in this enum
        _COUNT,
        // helpers for iterating over the enum
        begin = 0,
        end = _COUNT,
    };
    

    ...so that you can iterate over the enum as follows. The incrementing part of the for loop still is a bit cumbersome with all of the required casts, but the initial state and end condition check are at least much clearer now, since they use MyErrorType::begin and MyErrorType::end:

    for (MyErrorType myErrorType = MyErrorType::begin; 
            myErrorType < MyErrorType::end;
            myErrorType = static_cast<MyErrorType>((size_t)myErrorType + 1)) 
    {
        switch (myErrorType) 
        {
            case MyErrorType::SOMETHING_1:
                break;
            case MyErrorType::SOMETHING_2:
                break;
            case MyErrorType::SOMETHING_3:
                break;
            case MyErrorType::SOMETHING_4:
                break;
            case MyErrorType::SOMETHING_5:
                break;
            case MyErrorType::_COUNT:
                // This case will never be reached.
                break;
        }
    }
    

    Related:

    1. Common techniques for iterating over enums (as opposed to enum classes): How can I iterate over an enum?
      1. [my answer] How can I iterate over an enum?
    2. My answer on some of the differences between enum classes (strongly-typed enums) and regular enums (weakly-typed enums) in C++: How to automatically convert strongly typed enum into int?
    3. Some of my personal notes on the -Wall -Wextra -Werror and other build options, from my eRCaGuy_hello_world repo.
    4. Incrementation and decrementation of “enum class”

    Other keywords: common way to iterate over enum or enum class in C or C++; best way to iterate over enum class in C++; enum class C++ iterate; c++ iterate over enum class