为什么即使我使用[[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团队报告此问题.