Was ist der Zweck eines ‘if (0)’-Blocks im if-else-Block?

Question 1

Meine Frage bezieht sich auf die Zeile, die ich im Betreff erwähnt habe und die ich an vielen Stellen im Produktionscode sehen kann.

Der Gesamtcode sieht so aus:

if (0) {
    // Empty braces
} else if (some_fn_call()) {
    // actual code
} else if (some_other_fn_call()) {
    // another actual code
    ...
} else {
    // default case
}

Die anderen Zweige sind für meine Frage irrelevant. Ich frage mich, was das Setzen bedeutet if (0) hier ist. Die geschweiften Klammern sind leer, also denke ich nicht, dass es einen Codeblock kommentieren soll. Zwingt es den Compiler, einige Optimierungen vorzunehmen, oder sind seine Absichten anders?

Ich habe versucht, diesen expliziten Fall hier auf SO und im Internet zu suchen, aber ohne Erfolg. Es gibt ähnliche Fragen zu JavaScript, aber nicht zu C. Es gibt eine andere Frage, Was passiert, wenn eine Null in einer „if“-Bedingung zugewiesen wird?, aber sie behandelt die Nullzuweisung an eine Variable, nicht die Verwendung von „if (0)“ selbst .

Question 2

Dies kann nützlich sein, wenn es welche gibt #if Aussagen, äh

   if (0)
   {
       // Empty block
   }
#if TEST1_ENABLED
   else if (test1())
   {
      action1();
   }
#endif
#if TEST2_ENABLED
   else if (test2())
   {
      action2();
   }
#endif

usw.

In diesem Fall können alle (und alle) Tests sein #ifheraus, und der Code wird korrekt kompiliert. Fast alle Compiler entfernen die if (0) {} Teil. Ein einfacher Autogenerator könnte solchen Code generieren, da er etwas einfacher zu codieren ist – er muss den ersten aktivierten Block nicht separat berücksichtigen.

Question 3

Ich benutze das manchmal aus Symmetriegründen, damit ich das andere bewegen kann else if{ frei mit meinem Editor herumspielen, ohne mich um das erste kümmern zu müssen if.

Semantisch die

if (0) {
    // Empty braces
} else

Teil tut nichts und Sie können sich darauf verlassen, dass Optimierer es löschen.

Question 4

Ich habe ein ähnliches Muster gesehen, das in generiertem Code verwendet wird. Zum Beispiel habe ich in SQL Bibliotheken gesehen, die Folgendes ausgeben where Klausel.

where 1 = 1

Dies macht es vermutlich einfacher, andere Kriterien einfach hinzuzufügen, da alle zusätzlichen Kriterien vorangestellt werden können and statt einer zusätzlichen Prüfung, ob es das erste Kriterium ist oder nicht.

Question 5

Wie geschrieben, die if (0) {} Klausel kompiliert sich zu nichts.

Ich vermute, die Funktion der Klausel ganz oben auf dieser Leiter besteht darin, einen einfachen Ort bereitzustellen, an dem alle anderen Funktionen auf einmal (zu Debugging- oder Vergleichszwecken) vorübergehend deaktiviert werden können, indem die geändert wird 0 zu einem 1 oder true.

Question 6

Eine noch nicht erwähnte Möglichkeit: die if (0) { Die Linie könnte eine geeignete Stelle für einen Haltepunkt darstellen.

Das Debuggen wird häufig mit nicht optimiertem Code durchgeführt, sodass der Always-False-Test vorhanden ist und Haltepunkte darauf gesetzt werden können. Bei der Kompilierung für die Produktion würde die Codezeile optimiert werden. Die scheinbar nutzlose Zeile bietet Funktionen zum Entwickeln und Testen von Builds, ohne die Release-Builds zu beeinträchtigen.

Es gibt oben auch andere gute Vorschläge; Der einzige Weg, um wirklich zu wissen, was der Zweck ist, besteht darin, den Autor aufzuspüren und zu fragen. Ihr Quellcodeverwaltungssystem könnte dabei helfen. (Suchen blame-Typ-Funktionalität.)

Question 7

Ich bin mir keiner Optimierungen sicher, aber meine zwei Cent:

Dies geschah aufgrund einer Codeänderung, bei der eine primäre Bedingung entfernt wurde (der Funktionsaufruf in initial if Block, sagen wir mal), sondern die Entwickler/Maintainer

war faul umzustrukturieren if-else Block
wollte nicht auf die runter gehen Filialabdeckung zählen

also anstatt die zugehörige zu entfernen if Block, sie haben einfach die Bedingung in geändert if(0) und ging weiter.

Question 8

Es ist Codefäule.

Irgendwann hat das “if” etwas Nützliches getan, die Situation hat sich geändert, vielleicht wurde die ausgewertete Variable entfernt.

Die Person, die das System repariert/ändert, hat es getan die Logik des Systems so wenig wie möglich beeinflussen also hat er nur dafür gesorgt, dass der Code neu kompiliert wird. Also hinterlässt er ein „if(0)“, weil das schnell und einfach geht und er sich nicht ganz sicher ist, ob er das tun möchte. Er bringt das System zum Laufen und kehrt nicht zurück, um es vollständig zu reparieren.

Dann kommt der nächste Entwickler und denkt, das sei absichtlich so gemacht worden und nur diesen Teil des Codes auskommentiert (da er sowieso nicht ausgewertet wird), dann werden diese Kommentare beim nächsten Berühren des Codes entfernt.