c++ - 从枚举中获取所有值

Question

我有 Class1 风格的类(见代码)。一个枚举和一个从枚举中获取所有值的函数。值(FOO_1、FOO_2 等)因类而异，值的数量也不同(sizeof(Foos))。我调用该函数一次以获取枚举的大小，保留内存并在第二次调用中我想将所有值获取到 *pFoos (2,1 ,6 在示例代码中)。有没有比使用包含所有值的数组更好的方法 (size_t arr[3] ={FOO_1 , FOO_X, FOO_BAR })？

class Class1{
    enum Foos{
        FOO_1 = 2,
        FOO_X = 1,
        FOO_BAR = 6
    }
};

Class1::GetFoos(size_t* pFoos, size_t* pSize)
{
    size_t len = sizeof(Foos);
    if (len > *pSize)
    {   //Call function once to get the size
        *pSize= len ;
        return -1;
    }
    for(size_t i = 0; i< *pSize; i++)
    {
       //copy all enum values to pFoos
    }
};

Answer 1

免责声明:不要脸的外挂——我是作者。

反射枚举在 C++ 中是可能的。我编写了一个仅包含 header 的库，它在编译时捕获一堆“模式”并为您提供如下语法:

ENUM(Class1, int, FOO_1 = 2, FOO_X = 1, FOO_BAR = 6)

size_t count = Class1::_size;

for (size_t index = 0; index < Class1::_size; ++index)
    do_anything(Class1::_values()[index]);

它在内部所做的是使用宏生成您声明的值的数组，有点像您的问题，并使用一系列其他技巧让您自然地使用初始值设定项。然后它在数组之上提供迭代器和其他东西。

这是一个链接:https://github.com/aantron/better-enums

编辑 - 内部结构

这是它内部功能的伪代码草图。我只给出一个“草图”的原因是因为在可移植地做这个时有很多问题需要考虑。我将触及所有最重要的元素。

ENUM(Class1, int, FOO_1 = 2, FOO_X = 1, FOO_BAR = 6)

名义上扩展为

struct Class1 {
    enum _enumerated { FOO_1 = 2, FOO_X = 1, FOO_BAR = 6 };

    // Fairly obvious methods for how to iterate over _values and
    // _names go here. Iterators are simply pointers into _values
    // and _names below.

    static size_t _size = sizeof(_values) / sizeof(int);

    int _value;
};

int _values[] = {(fix_t<Class1>)Class1::FOO_1 = 2,
                 (fix_t<Class1>)Class1::FOO_X = 1,
                 (fix_t<Class1>)Class1::FOO_BAR = 6};
const char *_names[] = {"FOO_1 = 2", "FOO_X = 1", "FOO_BAR = 6"};

这是通过使用可变参数宏和字符串化来完成的。处理字符串的方法不仅将 \0 视为终止符，还将空格和等号视为终止符，这允许它们忽略您在 _names 中看到的字符串化常量中的初始值设定项.

fix_t 类型是必需的，因为在数组初始值设定项中赋值不是有效的 C++。该类型所做的是采用枚举的值，然后忽略重载赋值运算符的赋值，然后返回原始值。草图:

template <typename Enum>
struct fix_t {
    Enum _value;

    fix_t(Enum value) : _value(value) { }
    const fix_t& operator =(int anything) const { return *this; }
    operator Enum() const { return _value; }
};

这使得 _values 数组即使在存在初始化器的情况下也可以声明。

当然，这些数组需要加上前缀，这样你就可以拥有多个这样的枚举。它们还需要具有与函数的“extern inline”相同的链接，以便它们在多个编译单元之间共享。