请考虑以下代码。我假设通过指定强类型枚举的类型,我将能够使用它传递给相同类型的函数和模板,因为指定的基础类型是相同的;尽管编译器抱怨缺少对该类型的强制转换。在下面的代码中,删除关键字 class
和 Test::TOTAL_ITEMS
枚举上的说明符回到TOTAL_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;
}
作用域枚举的全部目的是防止隐式转换为基础类型。您需要强制转换它才能编译代码
#include <type_traits>
Y<int, static_cast<std::underlying_type<Test>::type>(Test::TOTAL_ITEMS)> collection;
或者,如果您只关心为枚举指定基础类型,则从其定义中删除 class
关键字,代码将按原样编译。
enum Test : std::size_t {
// ...
};
enum class
的目的是防止其实例隐式转换为其他类型。 这就是为什么删除class
编译:常规enum
实例隐式转换为其底层类型可以转换的任何内容。
如果要将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
,了解何时要以编程方式提取类型。