スコープ付き列挙型でオーバーロードする方法= =演算子？

Question

強盗型（スコープ）enum（C++ 11、GCC内）で|=演算子をどのようにオーバーロードできますか？

厳密に型指定された列挙型のビットをテストし、設定し、クリアする必要があります。なぜ強く型付けされるのですか？私の本はそれが良い習慣だと言っているからです。しかし、これは私がstatic_cast<int>どこにでもなければならないことを意味します。これを防ぐために、|と&演算子をオーバーロードしますが、|=演算子をenumにオーバーロードする方法を理解できませんクラスの場合は、単にthe operator definition in the classとしますが、構文的には機能しないような列挙型の場合は、

これは私がこれまで持っているものです。

enum class NumericType 
{ 
    None     = 0, 

    PadWithZero    = 0x01, 
    NegativeSign   = 0x02, 
    PositiveSign   = 0x04, 
    SpacePrefix    = 0x08 
}; 

inline NumericType operator |(NumericType a, NumericType b) 
{ 
    return static_cast<NumericType>(static_cast<int>(a) | static_cast<int>(b)); 
} 

inline NumericType operator &(NumericType a, NumericType b) 
{ 
    return static_cast<NumericType>(static_cast<int>(a) & static_cast<int>(b)); 
} 

私はこれを行う理由：これは強く型付けされたC＃で動作する方法である：列挙型の基礎となるのフィールドを持つだけの構造体があります型とその上に定義された束の定数です。しかし、列挙型の隠しフィールドに収まる任意の整数値を持つことができます。

そして、C++のenumはまったく同じように動作するようです。どちらの言語でも、キャストはenumからintに、またはその逆にする必要があります。しかし、C＃では、ビット単位の演算子はデフォルトでオーバーロードされていますが、C++ではオーバーロードされません。

Answer 1

inline NumericType& operator |=(NumericType& a, NumericType b) 
{ 
    return a= a |b; 
} 

これは機能しますか？ Compile and run: (Ideone)

#include <iostream> 
using namespace std; 

enum class NumericType 
{ 
    None     = 0, 

    PadWithZero    = 0x01, 
    NegativeSign   = 0x02, 
    PositiveSign   = 0x04, 
    SpacePrefix    = 0x08 
}; 

inline NumericType operator |(NumericType a, NumericType b) 
{ 
    return static_cast<NumericType>(static_cast<int>(a) | static_cast<int>(b)); 
} 

inline NumericType operator &(NumericType a, NumericType b) 
{ 
    return static_cast<NumericType>(static_cast<int>(a) & static_cast<int>(b)); 
} 

inline NumericType& operator |=(NumericType& a, NumericType b) 
{ 
    return a= a |b; 
} 

int main() { 
    // your code goes here 
    NumericType a=NumericType::PadWithZero; 
    a|=NumericType::NegativeSign; 
    cout << static_cast<int>(a) ; 
    return 0; 
} 

印刷3.

Answer 2

新しい、未定義の値を作るために個別の値を組み合わせることにより、あなたは完全に強い型付けのパラダイムと矛盾しています。

完全に独立した個々のフラグビットを設定しているようです。この場合、そのような組み合わせが未定義の値をもたらすデータ型にビットを結合するのは意味がありません。

あなたは（char、short、long、long long）あなたのフラグデータのサイズを決定し、それをロールバックする必要があります。これは非常に基本的であり、各フラグは単一ビットのみであるときで結構です

typedef enum 
{ 
    PadWithZero    = 0x01, 
    NegativeSign   = 0x02, 
    PositiveSign   = 0x04, 
    SpacePrefix    = 0x08 
} Flag; 

typedef short Flags; 

void SetFlag(Flags & flags, Flag f) 
{ 
    flags |= static_cast<Flags>(f); 
} 

void ClearFlag(Flags & flags, Flag f) 
{ 
    flags &= ~static_cast<Flags>(f); 
} 

bool TestFlag(const Flags flags, Flag f) 
{ 
    return (flags & static_cast<Flags>)(f)) == static_cast<Flags>(f); 
} 

：あなたは、しかし、テストするために特定のタイプを使用して設定し、フラグはクリアすることができます。マスクされたフラグの場合、もう少し複雑です。ビットフラグを厳密に型指定されたクラスにカプセル化する方法はありますが、実際にはその価値があります。あなたの場合、私はそれが確信していません。

Answer 3

This seems to work for me:

NumericType operator |= (NumericType &a, NumericType b) { 
    unsigned ai = static_cast<unsigned>(a); 
    unsigned bi = static_cast<unsigned>(b); 
    ai |= bi; 
    return a = static_cast<NumericType>(ai); 
} 

しかし、あなたはまだenumビットのあなたのコレクションのためのクラスを定義することを検討可能性があります

class NumericTypeFlags { 
    unsigned flags_; 
public: 
    NumericTypeFlags() : flags_(0) {} 
    NumericTypeFlags (NumericType t) : flags_(static_cast<unsigned>(t)) {} 
    //...define your "bitwise" test/set operations 
}; 

その後、代わりにNumericTypeFlagsを返すために、あなたの|と&事業者を変更します。