<分区>
或者另一种表达方式是:编译器是否可以假设 enum 的实例只能保存它被声明为保存的值并根据该假设进行优化？
enum MyType { A = 1, B = 2 };
const MyType C = static_cast<MyType>(3);
void fun(MyType m) {
switch (m) {
case A:
// ...
break;
case B:
// ...
break;
case C:
// can this be optimized away?
}
}
最佳答案
编译器无法优化未声明的枚举值。关于枚举数的语言规范部分说
It is possible to define an enumeration that has values not defined by any of its enumerators.
因此枚举允许具有未在枚举声明中明确指定的值。
此外，关于位掩码类型的部分给出了使用未定义枚举值的示例，特别提到 0 作为有效标志值。
由于具有未声明的枚举值是有效的，因此编译器无法优化使用它们的代码。
关于c++ - 是否允许编译器优化依赖于具有未声明值的枚举的分支？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/39301356/