打开枚举时编译器警告

Question

enum ENUM(Option1,Option2,Option3);

string func(ENUM x)
{
 switch(x)
 {
  case Option1: return "Option1";
  case Option2: return "Option2";
  case Option3: return "Option3";
 }
}

这可以编译并工作，但会向编译器发出警告，表明并非所有控制路径都会返回。然而，如果你正确使用枚举，情况不是这样吗？如果添加另一个 ENUM val，我希望编译失败，但只要涵盖所有情况，我希望它编译时不产生警告。

这是编译器防止错误的强制转换值吗？它只是 C++ 的一部分并且需要忍受吗？

Answer 1

在 C++ 中，枚举并不安全。您不能期望枚举值是枚举声明中定义的值之一：

• 它可能未初始化（因此是垃圾），
• 您可能会从 int 获得不正确的 static_cast

因此，即使您覆盖了枚举的所有元素，编译器也不能期望开关返回。然而，从功能上来说，这确实是一个错误条件。

有两种反应方法：

• 在 enum 中添加一个 default 情况
• 在 switch 之后添加一条语句

为了明智地选择，请记住编译器可能（如果您要求它） ) 在没有 default 语句的情况下，只要 switch 未涵盖 enum 的所有情况，就会触发警告。智能编译器（即 Clang）允许将警告单独映射到错误，这极大地帮助捕获这些错误。

因此，您需要做出决定：

• 如果您希望在更新枚举后忘记更改此方法时收到通知，那么不要使用 default
• 如果您希望能够更新枚举并且忽略此开关，然后使用 default

最后，您必须决定如何反应，请注意使用运行时错误与使用默认语句不一致（最好尽可能在编译时捕获错误):

• 忽略错误并返回一些预定义值
• 抛出异常（请使用枚举值）
• 断言（因此在调试中严重崩溃，获取内存转储，并在发布中执行其他操作，例如什么都不做，或抛出异常）

我个人最喜欢的是 UNREACHABLE(Text_) 宏，它会在调试中引发内存转储（以便我获得完整的跟踪）并记录错误并在发布中抛出（以便服务器停止处理此请求，但不会完全停止响应）。

这给出了这样的代码：

char const* func(ENUM x)
{
 switch(x)
 {
  case Option1: return "Option1";
  case Option2: return "Option2";
  case Option3: return "Option3";
 }
 UNREACHABLE("func(ENUM)")
}

Answer 2

从编译器的角度来看，枚举的类型是整数，因此 x 的值仍然有可能是其他情况之一。

通常，我会添加一个 default: 标签来触发内部错误。

提示：如果将内部错误调用包装在无限循环中，则不必发明虚假的返回值。例如：

#define IntErr(x) for(;;) { InternalError(x); }
string func(ENUM x)
{
  switch(x)
  {
  case Option1: return "Option1";
  case Option2: return "Option2";
  case Option3: return "Option3";
  default: IntErr("Unexpected ENUM value");
 }
}

Answer 3

如果由于某种原因 x 既不是 Option1、Option2 也不是 Option3，会发生什么情况？

当然，您可能会说这永远不会发生，但由于该方法必须返回某些内容，因此您有两个选择：

• 在末尾添加一个 return string("");。

  >

• 向返回 string("") 的 switch 添加一个 default。

正如 CodeGray 指出的那样，第二种选择可以说是更好的风格。您还可以返回空字符串以外的其他内容。