为什么即使我使用[[fallthrough]]，GCC也会警告我有关失败的消息？

在下面的代码中，我使用[[fallthrough]]C ++ 1z的standard属性来说明需要进行彻底检查：

#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";
    ~~~~~~~~~~^~~~~~~~

为什么？

您在属性后缺少分号：

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团队报告了此问题。