Reihenfolge in der Auswertung eines Bedingungsausdrucks

[HHe]

Vielen Dank!

[Ein ehemaliger Benutzer]

Wenn du dir einen XOR oder XNOR Operator überlädst, kannst du damit beide Ausdrücke überprüfen lassen.
Oder halt ganz billig.

((a && !b) || (!a && b))  : XOR

((a && b) || (!a && !b))  : XNOR

Greetz

[+fricky]

Spence schrieb:

Wenn du dir einen XOR oder XNOR Operator überlädst...

ich nehme an, er benutzt C und nicht in VHDL.

[namespace invader]

Spence schrieb:

((a && !b) || (!a && b))  : XOR

((a && b) || (!a && !b))  : XNOR

Ich weiß zwar nicht was das jetzt mit der Frage zu tun hat, aber das geht auch einfacher mit

!a != !b  // XOR
!a == !b  // XNOR

[Ein ehemaliger Benutzer]

+fricky schrieb:

ich nehme an, er benutzt C und nicht in VHDL.

Ja, das dachte ich mir auch, weshalb ich keinen Quelltext geschrieben habe, sondern nur den mathematischen Ausdruck.
Den Code, zumindest den entscheidenden, hat ja namespace invader geschrieben.
Ich hab mich zwar bisher noch nicht mit VHDL beschäftigt, aber wenn das so läuft... wieder was gelernt

Greetz

[+fricky]

Spence schrieb:

Ich hab mich zwar bisher noch nicht mit VHDL beschäftigt, aber wenn das so läuft... wieder was gelernt

naja, weil du xnor überladen wolltest. das kannste in c nicht machen.

[anonymus]

Bin mir nicht sicher, aber ich meine mal gelesen zu haben (hier im Forum?), dass die Auswertereihenfolge undefiniert ist, d. h. dass es dem Compiler überlassen ist, ob erst die linke oder erst die Rechte Seite ausgewertet wird.

[supertux]

anonymus schrieb:

Bin mir nicht sicher, aber ich meine mal gelesen zu haben (hier im Forum?), dass die Auswertereihenfolge undefiniert ist, d. h. dass es dem Compiler überlassen ist, ob erst die linke oder erst die Rechte Seite ausgewertet wird.

nein, sie ist sehr wohl definiert. Hab grad keine Lust im Standard nachzuschauen

[SCE]

Das ganze nennt sich "Short Circuit Evaluation" und wird von C unterstützt.

Damit ist folgendes legitim:

int a = 0;
int b = GetValue();
if (a && ((b / a) > 5))
  printf("a ist != 0!");

Ist a == 0, so wird der zweite Teil nicht mehr ausgeführt und es kommt zu keiner Division durch 0.

[mmm]

was ist mit

while (a > 0 && do_something_very_important()) {
    //...
};

kann ich mich nicht drauf verlassen, dass do_something_very_important() ausgeführt wird wenn jetzt a <= 0 ist?

[namespace invader]

Du kannst dich nicht nur nicht darauf verlassen. Du kannst dich sogar darauf verlassen, dass es bei nichtpositivem a nicht ausgeführt wird. Das ist ja der Sinn der Sache.