Question

请考虑以下事项：

#include <iostream>

enum class E : bool { A, B };

void foo(E e)
{
    switch(e)
    {
    case E::A: break;
    case E::B: break;
    default: std::cout << "aha\n";
    }
}

int main()
{
    foo( static_cast<E>(3) );
}

我的问题是：是否可以触发default案例，即此程序会生成输出？

在将超出范围的整数转换为枚举类型时，N3936中的棘手点似乎是static_cast的规范，[expr.static.cast] / 10：

可以将整数或枚举类型的值显式转换为枚举类型。如果原始值在枚举值的范围内，则该值不变。否则，结果值未指定（可能不在该范围内）。

粗体文本没有明确说明该值必须仍然在基础类型的范围内，但我想知道它是否打算这样做。

Answer 1

我认为[expr.static.cast] / 10会回答这个问题。在目前的工作草案中，这是：

可以将整数或枚举类型的值显式转换为完整的枚举类型。如果原始值在枚举值（7.2）的范围内，则该值不变。 否则，行为未定义。

换句话说，您的程序具有未定义的行为，因为具有固定基础类型的枚举类型的范围（在您的情况下为bool）是该类型的范围。

您引用的更改受resolution of CWG1766（issues link）的影响;请注意，该问题被视为缺陷（因此您应该忘记原始措辞）。

超出范围的枚举转换是否可以生成基础类型之外的值？

1 个答案: