c++ - 为什么即使我使用 [[fallthrough]]，GCC 也会警告我失败？

Question

在下面的代码中，我使用[[fallthrough]]C++1z 中的标准属性来记录需要失败：

#include <iostream>

int main() {
    switch (0) {
        case 0:
            std::cout << "a\n";
            [[fallthrough]]
        case 1:
            std::cout << "b\n";
            break;
    }
}

使用 GCC 7.1，代码编译没有错误。但是，编译器仍然警告我一个失败：

warning: this statement may fall through [-Wimplicit-fallthrough=]
    std::cout << "a\n";
    ~~~~~~~~~~^~~~~~~~

为什么？

Answer 1

您在属性后缺少分号：

case 0:
    std::cout << "a\n";
    [[fallthrough]];
    //             ^
case 1:

该[[fallthrough]]属性将应用于空语句（请参阅P0188R1）。在这种情况下，当前的 Clang 主干给出了一个有用的错误：

error: fallthrough attribute is only allowed on empty statements
    [[fallthrough]]
      ^
note: did you forget ';'?
    [[fallthrough]]
                   ^
                   ;

更新：Cody Gray向 GCC 团队报告了这个问题。