c++ - 键入安全的枚举位标志

我正在为当前问题使用一组位标志。这些标志被(很好地)定义为enum的一部分，但是我知道当您对一个枚举进行OR的两个值时，OR操作的返回类型的类型为int。

我目前正在寻找的是一种解决方案，它将允许位掩码的用户保持类型安全，因此，我为operator |创建了以下重载

enum ENUM
{
    ONE     = 0x01,
    TWO     = 0x02,
    THREE   = 0x04,
    FOUR    = 0x08,
    FIVE    = 0x10,
    SIX     = 0x20
};

ENUM operator | ( ENUM lhs, ENUM rhs )
{
    // Cast to int first otherwise we'll just end up recursing
    return static_cast< ENUM >( static_cast< int >( lhs ) | static_cast< int >( rhs ) );
}

void enumTest( ENUM v )
{
}

int main( int argc, char **argv )
{
    // Valid calls to enumTest
    enumTest( ONE | TWO | FIVE );
    enumTest( TWO | THREE | FOUR | FIVE );
    enumTest( ONE | TWO | THREE | FOUR | FIVE | SIX );

    return 0;
}

这个重载真的提供类型安全吗？强制转换包含未在枚举中定义的值的int是否会导致未定义的行为？有什么需要注意的警告吗？

最佳答案

在这种情况下，可以。枚举的有效值范围至少达到(但不一定包括)继最大的命名枚举数之后的第二大幂，以便允许将其用于这样的位掩码。因此，对两个值进行任何按位运算都将给出此类型可表示的值。



否，只要这些值可以通过枚举表示即可，它们在此处。



如果您正在执行诸如算术之类的操作，这些操作可能会使值超出范围，那么您将获得实现定义的结果，而不是未定义的行为。