1

考虑以下代码。我假设通过指定强类型枚举的类型,我可以使用它传递给相同类型的函数和模板,因为指定的基础类型是相同的;尽管编译器抱怨缺少对类型的强制转换。在下面的代码中,删除back toclass枚举上的关键字和说明符将起作用。我知道他们不希望对强类型枚举进行任何类型转换,但是当底层类型与函数或模板预期接收的类型相同时,我希望编译器不会抱怨这一点而不是强制一个特定的演员表。想法?Test::TOTAL_ITEMSTOTAL_ITEMS

#include <iostream>
#include <cstdint>

template <typename T, std::size_t N = 10>
class Y {
public:
   Y() : z_() {
   }
   ~Y() = default;

private:
   T z_[N];
};

class X {
public:
   enum class Test : std::size_t {
      ITEM1 = 0,
      ITEM2,
      TOTAL_ITEMS,
   };

private:
   Y<int, Test::TOTAL_ITEMS> collection;
};

int main() {
   X xx;
}
4

2 回答 2

3

范围枚举的全部目的是防止隐式转换为基础类型。您需要对其进行强制转换才能编译您的代码

#include <type_traits>
Y<int, static_cast<std::underlying_type<Test>::type>(Test::TOTAL_ITEMS)> collection;

或者,如果您只关心为枚举指定基础类型,class则从其定义中删除关键字,您的代码将按原样编译。

enum Test : std::size_t {
// ...
};
于 2016-01-20T17:00:55.347 回答
0

的目的enum class是防止其实例隐式转换为其他类型。这就是删除class编译的原因:常规enum实例隐式地转换为它们的基础类型可以的任何东西。

当您想将 an 转换enum class为其他类型时,您必须明确地这样做:

enum class Foo : int { FEE, FYE, FOE, FUM };
void f(Foo x) {};
void g(int x) {};

int main()
{
    f(Foo::FEE);                   // Okay: correct type
    //f(0);                        // Error: no implicit conversion
    f(static_cast<Foo>(0));        // Okay: explicitly converted
    //g(Foo::FYE);                 // Error: no implicit conversion
    g(1);                          // Okay: correct type
    g(static_cast<int>(Foo::FYE)); // Okay: explicitly converted
}

现场演示。查看std::underlying_type您何时想以编程方式提取类型。

于 2016-01-20T16:51:28.873 回答