[[fallthrough]] kullanıldığında bile GCC neden bir düşüş hakkında uyarı veriyor? aşağıdaki kod parçası olarak

Question

, bir fallthrough arzu edilir belge C++ 1Z standart [[fallthrough]] özniteliği: GCC 7.1 ile

#include <iostream> 

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

, kod, bir hata derler. Ancak, derleyici hala beni bir uyarı hakkında uyarır:

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

Neden?

Answer 1

Sen niteliğinden sonra noktalı virgül eksik:

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

[[fallthrough]] nitelik (P0188R1 bakınız) boş bir açıklamaya uygulanacak olmaktır. Geçerli Clang gövde gives a helpful error in this case:

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

Güncelleme: Cody Gri reported GCC ekibine bu sorunu.