Автоматизация добавления Java-enum-подобных возможностей для перечисления

Question

В Java перечисления имеют несколько возможностей, отсутствующих в перечислениях C/C++. Я хотел бы иметь возможность определять перечисления с, скажем, с помощью макроса ENUM(Color, Red, Green, Blue) или ENUM(Color, {Red, Green, Blue}) или что-то не так, и иметь перечисление, определенное этими возможностями, каким-то образом реализовано.

В частности, я хотел бы быть в состоянии сделать следующее:

for (Color p : Color::values()) { } 

и

Color color(Red); 
cout << "My face shone a bright " << color; 

и

Color color = valueOf<Color>("Green"); 
/* ... */ 
cout << "It ain't easy being " << color; 

Примечания:

• Бонусные баллы, если решение позволяет мне указать (интегральное) значение для каждого значения перечисления (например, Красный - 2, зеленый - 5, синий - 19).
• Бонусные баллы, если решение позволяет мне указать «унаследованный тип», а-ля enum Color : unsigned char { Red, Green, Blue};
• Предложения с использованием подталкивание приветствуются, хотя я предпочел бы придерживаться только в стандартной библиотеке.
• Я не «женат» на макросах.
• Этот вопрос относится к this one, но это не то же самое. Этот вопрос касается главным образом разрешения нескольких полей данных, в то время как я не забочусь об этом и доволен надлежащим перечислением одного типа.

Answer 1

После некоторых экспериментов у меня есть следующее.

#define empty 
#define secondSyn()   second 
#define second(x, y, ...) y 
#define endOfParams()  , 
#define mapSyn()   mapc empty 
#define mapc(fun, x, ...) , secondSyn empty() (x(), fun(x) mapSyn empty() (fun, __VA_ARGS__)) 
#define map(fun, x, ...) secondSyn empty() (x(), fun(x) mapSyn empty() (fun, __VA_ARGS__)) 


#define eval(...)   eval2(eval2(eval2(eval2(eval2(eval2(eval2(eval2(__VA_ARGS__)))))))) 
#define eval2(...)   eval3(eval3(eval3(eval3(eval3(eval3(eval3(eval3(__VA_ARGS__)))))))) 
#define eval3(...)   eval4(eval4(eval4(eval4(eval4(eval4(eval4(eval4(__VA_ARGS__)))))))) 
#define eval4(...)   eval5(eval5(eval5(eval5(eval5(eval5(eval5(eval5(__VA_ARGS__)))))))) 
#define eval5(...)   __VA_ARGS__ 


#define IDENTITY(x)   x 
#define STRINGIFY(x)  #x 

#define DEFENUM(name, ...) \ 
    enum name { eval(map(IDENTITY, __VA_ARGS__, endOfParams)) }; \ 
    char *name##Names[] = { eval(map(STRINGIFY, __VA_ARGS__, endOfParams)) } 

и

DEFENUM(Color, Red, Green, Blue); 

Он работал с моим НКУ. Вы должны переименовать большинство макросов перед реальным использованием. Для очень больших перечислений вам нужно добавить макрос eval6. Надеюсь, поможет.

Answer 2

Эта статья представляет собой довольно хороший анализ. http://www.wambold.com/Martin/writings/typesafe-enums.html

Его значение заключается в использовании идиом и подходов C++, а не просто наивного преобразования.

Вот «окончательная» версия (добавить ToString и т.д.):

class Suit 
{ 
public: 
    enum private_SUIT_ { CLUBS, DIAMONDS, HEARTS, SPADES }; 

private: 
    typedef private_SUIT_ SUIT_; 
    SUIT_ S_; 

    template <SUIT_ S> class Literal; 

public: 
    template <SUIT_ S> 
    Suit (const Literal<S>&) : S_ (S) {} 

    SUIT_ toEnum() const { return S_; } 

    inline friend bool operator== (Suit s, Suit t) { return s.S_ == t.S_; } 
    inline friend bool operator!= (Suit s, Suit t) { return ! (s == t); } 

    static const Literal<CLUBS> clubs; 
    static const Literal<DIAMONDS> diamonds; 
    static const Literal<HEARTS> hearts; 
    static const Literal<SPADES> spades; 
}; 

template <Suit::private_SUIT_ S> 
class Suit::Literal : private Suit 
{ 
public: 
    Suit::private_SUIT_ toEnum() const { return S; } 
private: 
    friend class Suit; 
    Literal() : Suit (*this) {} 
    // Prevent treating literals as objects 
    void* operator new (size_t);  // outlawed 
    void operator delete (void*); // outlawed 
    void operator= (const Literal&); // outlawed 
    void* operator&() const;   // outlawed 
};