C++ - Force compile-Zeit-Fehler/Warnung auf impliziten fall-through switch

Gut clang hat -Wimplicit-fallthrough die ich nicht kennen, aber sich über -Weverything. Also dieser code gibt mir die folgende Warnung (sehen Sie es live):

warning: unannotated fall-through between switch labels [-Wimplicit-fallthrough]
case 2:
^
note: insert '[[clang::fallthrough]];' to silence this warning
case 2:
^
[[clang::fallthrough]]; 
note: insert 'break;' to avoid fall-through
case 2:
^
break; 

Die einzige Dokumentation, die ich finden kann für dieses flag ist in der Attribut-Referenz, die sagt:

Den clang::fallthrough-Attribut wird verwendet, zusammen mit der
-Wimplicit-fallthrough argument zu kommentieren absichtliche fallen-durch zwischen-switch-labels. Es kann nur angewendet werden, um eine null-Aussage
platziert an einem Punkt der Ausführung zwischen jeder Anweisung und der nächsten
wechseln label. Es ist üblich, markieren Sie diese Orte mit einem bestimmten
Kommentar, aber dieses Attribut ist dazu gedacht zu ersetzen, Kommentare mit mehr
strenge annotation, die überprüft werden kann, durch den compiler.

- und bietet ein Beispiel, wie daneben expliziten fall-through:

case 44:  //warning: unannotated fall-through
g();
[[clang::fallthrough]];
case 55:  //no warning

Dieser Verwendung eine Attribut zu markieren expliziten fall-through-hat den Nachteil, nicht tragbar. Visual Studio einen Fehler generieren und die gcc generiert die folgende Warnung:

warning: attributes at the beginning of statement are ignored [-Wattributes]

ist das ein problem, wenn Sie verwenden möchten -Werror.

Habe ich versucht, diese mit gcc 4.9 und es sieht aus wie gcc bietet keine Unterstützung für diese Warnung:

error: unrecognized command line option '-Wimplicit-fallthrough'

Als der GCC 7, -Wimplicit-fallthrough unterstützt wird und die __attribute__((fallthrough)) können verwendet werden, um die Warnungen zu unterdrücken, wenn fallthrough ist beabsichtigt. GCC erkennt "fallthrough" Kommentare in bestimmten Szenarien, es kann aber verwirrt werden,ziemlich leicht.

Ich sehe nicht, einen Weg zu generieren, so wird eine Warnung für Visual Studio.

Hinweis, Chandler Carruth erklärt, dass -Weverything ist nicht für die Produktion verwenden:

Dies ist eine verrückte Gruppe, die buchstäblich ermöglicht jede Warnung in Clang.
Verwenden Sie nicht dieses auf Ihrem code. Es ist beabsichtigt, ausschließlich für Clang
Entwickler oder für die Erkundung, was Warnungen existieren.

aber es ist nützlich, um herauszufinden, welche Warnungen existieren.

C++17 verpasst

In C++17 wir erhalten das Attribut [[fallthrough]] bedeckt [dcl.attr.fallthrough]p1:

Der Attribut-token fallthrough kann angewendet werden, um eine null-Anweisung (9.2); eine solche Aussage ist eine fallthrough
- Anweisung. Der Attribut-token fallthrough erscheinen wird höchstens einmal in jedem Attribut-Liste und keine attributeargument-
Klausel vorhanden sein. Ein fallthrough-Anweisung darf nur innerhalb einer umschließenden switch
Anweisung (9.4.2). Die nächste Anweisung, die ausgeführt werden würde, nachdem ein fallthrough-Anweisung wird eine
Anweisung mit Bezeichnung, deren label ist ein case-oder default-label Etikett für die gleiche switch-Anweisung. Das Programm ist
ill-formed, wenn es keine solche Anweisung.

...

[ Example:
void f(int n) {
void g(), h(), i();
switch (n) {
  case 1:
  case 2:
    g();
    [[fallthrough]];
  case 3: //warning on fallthrough discouraged
    h();
  case 4: //implementation may warn on fallthrough
    i();
    [[fallthrough]]; //ill-formed
  }
}
—end example ]

Sehen live-Beispiel mit dem Attribut.

Rat: wenn Sie konsequent setzen Sie eine Leerzeile zwischen case-Klauseln, die das fehlen eines 'break' ist mehr sichtbar in einer menschlichen skimming-code:

switch (val) {
    case 0:
        foo();
        break;

    case 1:
        bar();

    case 2:
        baz();
        break;

    default:
        roomba();
}

Dies ist nicht so effektiv, wenn es gibt eine Menge von code, der in einzelne Fall Klauseln, aber das ist eher eine schlechte code-Geruch an sich.