Welche Methoden können in C und C ++ die versehentliche Verwendung der Zuweisung (=) verhindern, wenn Äquivalenz (==) erforderlich ist?

In C und C ++ ist es sehr einfach, den folgenden Code mit einem schwerwiegenden Fehler zu schreiben.

char responseChar = getchar();
int confirmExit = 'y' == tolower(responseChar);
if (confirmExit = 1)
{
    exit(0);
}

Der Fehler ist, dass die if-Anweisung hätte lauten sollen:

if (confirmExit == 1)

Wie codiert, wird es jedes Mal beendet, da die Zuweisung der confirmExitVariablen erfolgt, und confirmExitwird dann als Ergebnis des Ausdrucks verwendet.

Gibt es gute Möglichkeiten, solche Fehler zu vermeiden?

Die beste Technik besteht darin, die Warnstufe Ihres Compilers zu erhöhen. Es warnt Sie dann vor einer möglichen Zuordnung in der if-Bedingung.

Stellen Sie sicher, dass Sie Ihren Code mit Null-Warnungen kompilieren (was Sie trotzdem tun sollten). Wenn Sie pedantisch sein möchten, stellen Sie Ihren Compiler so ein, dass Warnungen als Fehler behandelt werden.

Die Verwendung von Yoda-Bedingungen (die Konstante auf die linke Seite setzen) war eine andere Technik, die vor etwa einem Jahrzehnt populär war. Sie erschweren jedoch das Lesen des Codes (und behalten ihn daher aufgrund der unnatürlichen Art des Lesens bei (es sei denn, Sie sind Yoda)) und bieten keinen größeren Nutzen als die Erhöhung der Warnstufe (was auch den zusätzlichen Nutzen von mehr Warnungen hat).

Warnungen sind wirklich logische Fehler im Code und sollten korrigiert werden.

Sie könnten immer etwas radikales tun wie das Testen Ihrer Software. Ich meine nicht einmal automatisierte Komponententests, nur die Tests, die jeder erfahrene Entwickler aus Gewohnheit durch zweimaliges Ausführen seines neuen Codes durchführt, einmaliges Bestätigen des Ausgangs und einmaliges Nicht-Ausführen. Das ist der Grund, warum die meisten Programmierer es für kein Problem halten.

Ein traditioneller Weg, um die falsche Verwendung von Zuweisungen innerhalb eines Ausdrucks zu verhindern, besteht darin, die Konstante links und die Variable rechts anzuordnen.

if (confirmExit = 1)  // Unsafe

if (1=confirmExit)    // Safe and detected at compile time.

Der Compiler meldet einen Fehler für die unzulässige Zuweisung zu einer Konstanten ähnlich der folgenden.

.\confirmExit\main.cpp:15: error: C2106: '=' : left operand must be l-value

Die überarbeitete if-Bedingung wäre:

  if (1==confirmExit)    

Wie die folgenden Kommentare zeigen, wird dies von vielen als unangemessene Methode angesehen.

Ich bin damit einverstanden, dass jeder "Compiler-Warnungen" sagt, aber ich möchte eine andere Technik hinzufügen: Code-Überprüfungen. Wenn Sie den gesamten Code überprüfen, der festgeschrieben wird, vorzugsweise bevor er festgeschrieben wird, ist es wahrscheinlich, dass diese Art von Dingen während der Überprüfung abgefangen wird.

Erstens schadet es nie, die Warnstufe zu erhöhen.

Wenn Sie nicht möchten, dass Ihre Bedingung das Ergebnis einer Zuweisung innerhalb der if-Anweisung selbst if(1 == val)testet, haben Sie im Laufe der Jahre mit vielen C- und C ++ - Programmierern zusammengearbeitet und noch nie gehört, dass es eine schlechte Sache ist, die Konstante zuerst zu vergleichen könnte dieses Konstrukt versuchen.

Wenn Ihr Projektleiter dies billigt, machen Sie sich keine Sorgen darüber, was andere Leute denken. Der wahre Beweis ist, ob Sie oder jemand anderes Ihren Code in Monaten und Jahren verstehen können.

Wenn Sie jedoch beabsichtigen, das Ergebnis einer Zuweisung zu testen, hätte die Verwendung höherer Warnungen die Zuweisung zu einer Konstanten möglicherweise aufgefangen.

Spät zur Party wie immer, aber hier ist die statische Code-Analyse der Schlüssel

Die meisten IDEs bieten jetzt SCA über die syntaktische Prüfung des Compilers hinaus an. Es stehen auch andere Tools zur Verfügung, einschließlich derer, die die MISRA- (*) und / oder CERT-C-Richtlinien implementieren.

Erklärung: Ich bin Teil der MISRA C-Arbeitsgruppe, poste aber in persönlicher Eigenschaft. Ich bin auch unabhängig von Werkzeugherstellern

Verwenden Sie einfach die Zuweisung für die linke Hand. Compiler-Warnungen können hilfreich sein, aber Sie müssen sicherstellen, dass Sie die richtige Stufe erreichen. Andernfalls werden Sie entweder mit sinnlosen Warnungen überflutet oder erhalten keine Anweisungen, die Sie sehen möchten.