开关可能会掉落（不，可能不会）

Question

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

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 也没有。大概是因为 -pedantic？

示例：

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?
    }
}

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

Answer 1

编译器显然混淆了启用的不同警告和内联 return 语句。让它开心就好。

enum class E {a, b, c};

QVariant fun(E e) {
     const char* result = "";
     switch (e) {
        case E::a: {
            result = "something"; 
            break;
        }
        case E::b: {
             result = "something_else";
             break;
        }
        case E::c: {
            result = "something_different"; 
            break;
        }
    }
    return result;
}

Answer 2

如果我的第一个答案不令人满意，这也许会。这是我在本地解决问题的方法：

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

Answer 3

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

那么为什么不添加一个 default 案例呢？考虑一下如果有人返回并向 E 添加另一个常量但忘记更新 fun 会发生什么。如果没有 default，GCC 会警告您开关不会处理所有 E 的常量。如果您添加 default 个案例，您就已经击败了这个非常有用的保护。

那么什么是正确的事情^TM 做什么？ Return 您的默认值（或 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 中涵盖了这个主题（以及其他主题），值得一看。

Answer 4

如果这都有，何必费心去搞一个函数呢？

目标只是将 E::a 的键与 "something" 和 E::b 的键配对 "something-else" 等等。?

结果是在编译时预置的吗？ OP 中的 enum 似乎表明密钥在编译时已知。

一个简单的数组就足够了。除非我遗漏了什么，否则 switch

没有真正获得任何东西

Answer 5

no it may not

当然可以。

相信你的编译器。它比你聪明！

枚举并不是所有可能值的详尽列表。它是域的一些值的一组名称。

不仅在这里可以强制转换；如果您希望提供稳定和健壮的界面，它们是可以预料的。

因此，您要么需要提供 default，要么通过您知道的属性或内在函数告诉编译器（基于它无法猜测的领域知识）您知道不会出现其他的可能性。

开关可能会掉落（不，可能不会）

switch may fall through (no it may not)

c++

gcc

qt-creator