1

这是我的来源（作为答案），如何实现underlying_value 和to_enum 函数。 如何自动将强类型枚举转换为 int？

基础值 - 没问题。但是， to_enum - 有问题。

看：

enum class E{ a = 1, b = 3, c = 5 };
auto e_a = utils::underlying_value(E::a); //OK
E t = utils::to_enum<E>( 2 ) ; // compiled, but it's incorrect. I think here must throws exception?

Q：如何正确实现to_enum？

4

1 回答 1

1

尽管对问题有评论，但这可以在 C++11 中完成，但要在不重复代码的情况下完成，您最终必须将enum class声明包装在宏中。根据您的需要，这可能会使我的答案不合适。无论哪种方式，进行检查转换都需要一些机器，所以我将最后讨论宏。

基本思想是使用constexpr函数扫描数组：

#include <iostream>
#include <stdexcept>

enum class E { a = 1, b = 3, c = 5 };

constexpr E         values[] = {E::a, E::b, E::c};
constexpr size_t    count = sizeof(values) / sizeof(E);

constexpr E to_enum(int value, size_t index = 0)
{
    return
        index >= count ? throw std::runtime_error("invalid integer") :
        static_cast<int>(values[index]) == value ? values[index] :
        to_enum(value, index + 1);
}

constexpr E         converted = to_enum(3);

// Will not compile if uncommented.
// constexpr E         bad_converted = to_enum(2);

int main()
{
    std::cout << static_cast<int>(converted) << std::endl;

    return 0;
}

这打印3。如果bad_converted不注释行，则此代码将根本无法编译，正如它所说的那样。检查的转换可以在运行时或编译期间完成。to_enum如果参数 to是编译时常量，它将在编译期间完成。此外，正如您可能看到的那样，它对 进行线性扫描values，但如果它成为非常大的枚举的性能问题，则可以用另一种算法替换。

我刚刚展示的代码是一个显示底层方法的草图。为了使使用起来不那么痛苦，您应该将声明包装E在一个宏中，该宏将自动生成values[]数组和相关函数。我将一次一点地展示和合理化这个宏的内容。

基本宏如下所示

// Declaration header
#define ENUM_CLASS(TypeName, __VA_ARGS__)

// Use
ENUM_CLASS(E, a = 1, b = 3, c = 5);

所以，在这个例子中，__VA_ARGS__将是 tokens a = 1, b = 3, c = 5。因此，我们可以在宏中声明枚举本身，如下所示：

enum class TypeName { __VA_ARGS__ };

但是，我们不能简单地声明：

constexpr TypeName values[] = { __VA_ARGS__ };

因为这扩展为

constexpr TypeName values[] = { a = 1, b = 3, c = 5 };

它没有作用域（TypeName::在每个值前面缺失），并且由于数组初始值设定项中的额外赋值运算符而不是有效的 C++。我先解决第二个问题。您需要定义一个像这样的类：

template <typename E>
class swallow_assignment {
  public:
    E _value;

    constexpr explicit swallow_assignment(E value) : _value(value)
    {
    }

    template <typename Any>
    constexpr const swallow_assignment& operator =(Any other) const
    {
        return *this;
    }

    constexpr operator E() const
    {
        return _value;
    }
};

现在，您可以编写(swallow_assignment<E>)E::a = 1. 将会发生的是，在编译时，E::a将被转换为可分配的值(swallow_assignment<E>)E::a，它具有与E::a. 然后该值将忽略 的分配1，然后将转换回E::a。

剩下的是为每个声明的常量添加前缀，以便我们得到

constexpr TypeName values[] =
    {(swallow_assignment<E>)E::a = 1,
     (swallow_assignment<E>)E::b = 3,
     (swallow_assignment<E>)E::c = 5})

现在将是一个有效的初始化程序。这可以通过映射宏来完成。我不会在这里详细介绍，因为这是一个完全独立的主题，但是可以在这里找到这样的宏https://github.com/aantron/better-enums/blob/e28177b11a9e3d7152c5216d84fdf8939aff0eba/enum_preprocessor_map.h。Boost也可能有更好的。无论您使用什么宏，我都会假设它的签名是PP_MAP(prefix, __VA_ARGS__). 整个枚举的最终宏定义的草图然后变为：

#define ENUM_CLASS(TypeName, __VA_ARGS__)                  \
    enum class TypeName { __VA_ARGS__ };                   \
    constexpr TypeName values[] =                          \
        { PP_MAP((swallow_assignment<TypeName>)TypeName::, \
                 __VA_ARGS__) };                           \
    constexpr size_t count = sizeof(values) / sizeof(TypeName);

您可能希望将这些定义填充到特征类型的特化中，以便您可以将此宏与多个一起使用enum class（否则命名的数组values将发生冲突）。但是，如果您创建values特征类的静态成员，则可能必须使用弱符号来避免链接问题。

最后几点作为练习，因为这个答案已经太长了:) 我有一个库可以完成上述所有工作，尽管它包装了 anenum而不是为 an 提供特征特化enum class。然而，有一个未发布的分支与enum class/traits 的组合。您可以在此处查看该库：http: //aantron.github.io/better-enums。该库的::_from_integral()方法对应to_enum于您问题中的函数，它同时进行运行时和编译时转换。

于 2015-05-15T17:16:58.960 回答