Wenn Bedingung A übereinstimmt, muss Bedingung B erfüllt sein, um Aktion C auszuführen

Meine Frage ist:

if (/* condition A */)
{
    if(/* condition B */)
      {
         /* do action C */
      }
    else
      /* ... */
}
else
{
   /* do action C */
}

Ist es möglich, den Aktionscode C nur einmal statt zweimal zu schreiben?

Wie kann man es vereinfachen?

Ihr erster Schritt bei solchen Problemen besteht immer darin, eine Logiktabelle zu erstellen.

A | B | Result
-------------------
T | T | do action C
T | F | ...
F | T | do action C
F | F | do action C

Sobald Sie die Tabelle erstellt haben, ist die Lösung klar.

if (A && !B) {
  ...
}
else {
  do action C
}

Beachten Sie, dass diese Logik zwar kürzer ist, für zukünftige Programmierer jedoch möglicherweise schwierig beizubehalten ist.

Sie haben zwei Möglichkeiten:

1. Schreiben Sie eine Funktion, die "Aktion C" ausführt.

2. Ordnen Sie Ihre Logik neu an, damit Sie nicht so viele verschachtelte if-Anweisungen haben. Fragen Sie sich, unter welchen Bedingungen "Aktion C" auftritt. Es sieht für mich so aus, als ob es passiert, wenn entweder "Bedingung B" wahr oder "Bedingung A" falsch ist. Wir können dies als "NICHT A ODER B" schreiben. Wenn wir dies in C-Code übersetzen, erhalten wir

   if (!A || B) {
       action C
   } else {
       ...
   }
   

Um mehr über diese Art von Ausdrücken zu erfahren, schlage ich vor, "Boolesche Algebra", "Prädikatenlogik" und "Prädikatenrechnung" zu googeln. Dies sind tiefe mathematische Themen. Sie müssen nicht alles lernen, nur die Grundlagen.

Sie sollten auch etwas über "Kurzschlussauswertung" lernen. Aus diesem Grund ist die Reihenfolge der Ausdrücke wichtig, um Ihre ursprüngliche Logik genau zu duplizieren. Während dies B || !Alogisch äquivalent ist, führt die Verwendung als Bedingung "Aktion C" aus, wenn dies Bwahr ist, unabhängig vom Wert von A.

Sie können die Aussage folgendermaßen vereinfachen:

if ((A && B) || (!A)) // or simplified to (!A || B) as suggested in comments
{
    do C
}

Andernfalls geben Sie den Code für 'C' in eine separate Funktion ein und rufen Sie ihn auf:

DoActionC()
{
    ....
    // code for Action C
}
if (condition A)
{
    if(condition B)
      {
         DoActionC(); // call the function
      }
    else
      ...
}
else
{
   DoActionC(); // call the function
}

In einer Sprache mit Mustervergleich können Sie die Lösung so ausdrücken, dass sie die Wahrheitstabelle in der Antwort von QuestionC direkter widerspiegelt.

match (a,b) with
| (true,false) -> ...
| _ -> action c

Wenn Sie mit der Syntax nicht vertraut sind, wird jedes Muster durch ein | dargestellt gefolgt von den Werten, die mit (a, b) übereinstimmen sollen, und der Unterstrich wird als Platzhalter verwendet, um "alle anderen Werte" zu bedeuten. Da der einzige Fall, in dem wir etwas anderes als Aktion c tun möchten, der Fall ist, in dem a wahr und b falsch ist, geben wir diese Werte explizit als erstes Muster an (wahr, falsch) und tun dann, was in diesem Fall getan werden sollte. In allen anderen Fällen fallen wir zum "Platzhalter" -Muster durch und führen Aktion c aus.

Die Problemstellung:

Wenn Bedingung A übereinstimmt, muss Bedingung B erfüllt sein, um Aktion C auszuführen

beschreibt Implikation : A impliziert B , ein logischer Satz, der äquivalent zu !A || B(wie in anderen Antworten erwähnt) ist:

bool implies(bool p, bool q) { return !p || q; }

if (implies(/* condition A */,
            /* condition B */))
{
    /* do action C */
}

Ugh, das hat mich auch gestolpert, aber wie Code-Apprenticedo action C betont hat else, müssen wir den verschachtelten Block garantiert ausführen oder ausführen , sodass der Code vereinfacht werden kann, um:

if (not condition A or condition B) {
    do action C
} else {
    ...
}

So treffen wir die 3 Fälle:

1. Die verschachtelte do action Cin der Logik Ihrer Frage ist erforderlich condition Aund condition Bwerden true- In dieser Logik, wenn wir die 2 erreichen ^nd Begriff in der if-Anweisung dann wissen wir , dass condition Aist truealso alle müssen wir bewerten ist , dass condition Bisttrue
2. Die verschachtelte else-Block in Ihrer Logik der Frage erforderlich condition Asein trueund condition Bzu sein false- der einzige Weg , dass wir das erreichen können else-Block in dieser Logik würde , wenn sein condition Awaren trueund condition Bwarenfalse
3. Der äußere elseBlock in der Logik Ihrer Frage muss condition Asein false- In dieser Logik, wenn condition Afalsch ist, sind wir auchdo action C

Props an Code-Apprentice, der mich hier rausgebracht hat. Ich würde vorschlagen, seine Antwort zu akzeptieren , da er sie korrekt präsentiert hat, ohne sie zu bearbeiten: /

Im Logikkonzept können Sie dieses Problem wie folgt lösen:

f = ab +! a
f =?

Als nachgewiesenes Problem führt dies zu f = !a + b. Es gibt einige Möglichkeiten, das Problem zu beweisen, wie z. B. Wahrheitstabelle, Karnaugh Map und so weiter.

In C-basierten Sprachen können Sie also Folgendes verwenden:

if(!a || b)
{
   // Do action C
}

PS: Karnaugh Map wird auch für kompliziertere Serien von Bedingungen verwendet. Es ist eine Methode zur Vereinfachung von Booleschen Algebra-Ausdrücken.

Obwohl es bereits gute Antworten gibt, dachte ich, dass dieser Ansatz für jemanden, der neu in der Booleschen Algebra ist, noch intuitiver sein könnte, als eine Wahrheitstabelle auszuwerten.

Als erstes möchten Sie prüfen, unter welchen Bedingungen Sie C ausführen möchten. Dies ist der Fall, wenn (a & b). Auch wenn !a. Also hast du (a & b) | !a.

Wenn Sie minimieren möchten, können Sie fortfahren. Genau wie bei "normalen" Arithmetiken können Sie multiplizieren.

(a & b) | !a = (a | !a) & (b | !a). a | ! a ist immer wahr, Sie können es also einfach streichen, wodurch Sie das minimierte Ergebnis erhalten : b | !a. Falls die Reihenfolge einen Unterschied macht, weil Sie b nur prüfen möchten, wenn! A wahr ist (zum Beispiel, wenn! A eine Nullzeigerprüfung ist und b eine Operation auf dem Zeiger ist, wie in seinem Kommentar auf @LordFarquaad hingewiesen), könnten Sie dies tun will die beiden wechseln.

Der andere Fall (/ * ... * /) wird immer ausgeführt, wenn c nicht ausgeführt wird, also können wir ihn einfach in den else-Fall setzen.

Erwähnenswert ist auch, dass es wahrscheinlich in beiden Fällen sinnvoll ist, Aktion c in eine Methode einzufügen.

Was uns den folgenden Code lässt:

if (!A || B)
{
    doActionC()  // execute method which does action C
}
else
{
   /* ... */ // what ever happens here, you might want to put it into a method, too.
}

Auf diese Weise können Sie auch Begriffe mit mehr Operanden minimieren, was bei Wahrheitstabellen schnell hässlich wird. Ein weiterer guter Ansatz sind Karnaugh-Karten. Aber ich werde jetzt nicht tiefer darauf eingehen.

Verwenden Sie boolesche Flags, damit der Code eher wie Text aussieht. Wenn die Logik besonders unklar ist, fügen Sie Kommentare hinzu.

bool do_action_C;

// Determine whether we need to do action C or just do the "..." action
// If condition A is matched, condition B needs to be matched in order to do action C
if (/* condition A */)
{
    if(/* condition B */)
      do_action_C = true; // have to do action C because blah
    else
      do_action_C = false; // no need to do action C because blarg
}
else
{
  do_action_C = true; // A is false, so obviously have to do action C
}

if (do_action_C)
  {
     DoActionC(); // call the function
  }
else
  {
  ...
  }

if((A && B ) || !A)
{
  //do C
}
else if(!B)
{
  //...
}

Ich würde C zu einer Methode extrahieren und dann die Funktion in allen Fällen so schnell wie möglich beenden. elseKlauseln mit einer einzigen Sache am Ende sollten nach Möglichkeit fast immer invertiert werden. Hier ist ein schrittweises Beispiel:

Auszug C:

if (A) {
   if (B)
      C();
   else
      D();
} else
   C();

Zuerst umkehren if, um zuerst loszuwerden else:

if (!A) {
   C();
   return;
}

if (B)
   C();
else
   D();

Zweitens loswerden else:

if (!A) {
   C();
   return;
}

if (B) {
   C();
   return;
} 

D();

Und dann können Sie feststellen, dass die beiden Fälle den gleichen Körper haben und kombiniert werden können:

if (!A || B) {
   C();
   return;
}

D();

Optionale Verbesserungsmöglichkeiten wären:

• hängt vom Kontext ab, aber wenn !A || Bes verwirrend ist, extrahieren Sie es in eine oder mehrere Variablen, um die Absicht zu erklären

• Welcher C()oder welcher D()nicht außergewöhnliche Fall der letzte ist, sollte der letzte sein. Wenn dies D()die Ausnahme ist, kehren Sie das ifletzte Mal um

Die Verwendung von Flags kann dieses Problem ebenfalls lösen

int flag = 1; 
if ( condition A ) {
    flag = 2;
    if( condition B ) {
        flag = 3;
    }
}
if(flag != 2) { 
    do action C 
}