जब मैं [[fallthrough]] का उपयोग करता हूं तब भी जीसीसी मुझे एक गिरावट के बारे में चेतावनी दे रहा है?

Question

कोड का निम्न भाग में, मैं दस्तावेज़ के लिए है कि एक fallthrough वांछित है सी ++ 1Z से मानक [[fallthrough]] विशेषता का उपयोग:

#include <iostream> 

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

जीसीसी 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 देखें)। वर्तमान बजना ट्रंक gives a helpful error in this case:

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

अद्यतन: कोड़ी ग्रे reported जीसीसी टीम को इस समस्या।