c++ - 开关可能会掉落(不，可能不会)

Question

在 GCC 7 上，我启用了 Qt creator 4.9 上的大部分警告。现在我有一个涵盖所有枚举值的 switch 语句。如果我添加一个 default: 我会收到一条警告(来自 Qt creator):

warning: default label in switch which covers all enumeration values

如果我删除 default: 我会收到另一个警告(来自 GCC):

error: this statement may fall through [-Werror=implicit-fallthrough=]  
       }  
       ^

error: all warnings being treated as errors

我该怎么办？关闭警告？它们很有用，我不想关闭它们中的任何一个，但是 Wimplicit-fallthrough 似乎有问题。

[[fallthrough]] 没有帮助，因为 case 以 return 结尾，因此我得到(来自 Qt creator):

warning: fallthrough annotation in unreachable code

__attribute__ ((fallthrough)) 也没有做任何事情。 /* FALLTHRU */ 或 [[gnu::fallthrough]] 或 //fall through 也没有。大概是因为-迂腐？

例子:

enum class E {a, b, c};

QVariant fun(E e) {
     switch (e) {
        case E::a: return "something";
        case E::b: return "something_else";
        case E::c: return "something_different";
        // default: return QVariant{};
        // Do I add a default:? What do I add here?
    }
}

希望我尝试过的事情表明我的问题不是 this 的重复或 this或其他类似问题，因为它们无法解决我的问题。

Answer 1

考虑 fun(static_cast<E>(42)) .这是一个定义明确的转换，但是您问题中的函数将到达终点而不返回，并且您的程序的行为将是未定义的。这就是为什么 GCC 警告说控制可能到达非空函数的末尾。

那么为什么不添加一个default呢？案件？考虑一下如果有人返回并将另一个常量添加到 E 会发生什么, 但忘记更新 fun .没有 default , GCC 会警告您该开关无法处理所有 E的常数。如果您添加 default情况下，您已经击败了非常有用的保护。

那么什么是正确的事^TM？在函数末尾，在 throw 之后返回默认值(或 abort() 或调用 switch 以崩溃) :

enum class E {a, b, c};

QVariant fun(E e) {
     switch (e) {
        case E::a: return "something";
        case E::b: return "something_else";
        case E::c: return "something_different";
    }
    return "some_default"; // or throw or abort()
}

这为您提供了两全其美的体验。如果有人传递的值不是预定义的枚举器常量之一，它将以明确定义的方式运行。如果有人将新常量添加到 E忘记更新 fun那么编译器仍然会发出警告。

为了进一步讨论，Jason Turner 在他的 CppCon 2018 talk 中涵盖了这个主题(以及其他主题) ，值得一看。