Arch Linux

C - Auswertung if(a && b)

SiD

Hi,

ich wollte mal fragen wie das in C bei einer if Anweisung, die eine UND Verknüpfung enthält mit der Auswertung ist.

Also z.B. bei:

int x=2, y=3;

fi (x==0 && y<2)
{
...
...
}

Wird dann nur x==0 geprüft und dann nach dem if Block weiter gemacht, oder werden erst alle Bedignungen (also auch noch y<2) geprüft und dann nach dem if Block weitergemacht?

ich hoffe das war verständlich. 😉

runiq

SiD schriebWird dann nur x==0 geprüft und dann nach dem if Block weiter gemacht, oder werden erst alle Bedignungen (also auch noch y<2) geprüft und dann nach dem if Block weitergemacht?

ich hoffe das war verständlich. 😉

Ich glaube nicht, dass y noch geprüft wird, wenn x==0 schon false liefert. Hätte ja keinen Sinn und so…

SiD

ja wäre halt unnötig 😉

aber ich dachte vielleicht weiss das ja hier jemand mit sicherheit. 😃

Kinch

Ich war mal zu faul zum googeln und habs getestet:

#include<stdio.h>
#include<stdlib.h>
#include<stdbool.h>

int
foo() {
  printf("foo\n");
  return false;
}

int
bar() {
  printf("bar\n");
  return true;
}

int
main() { 
  printf("first\n");
  if(foo() && bar());
  printf("second\n");
  if(bar() || foo());
  return 0;
}

ausgabe:

first
foo
second
bar

C scheint also auch die faule Auswertung zu haben und nur soweit Auszuwerten wie nötig ist um das Ergebnisi eindeutig zu bestimmen.

SiD

ah, danke dir
🙂

bernarcher

Ich habe gerade in meinem alten K&R nachgeschlagen:

Expressions connected by && or || are evaluated left to right, and it is guaranteed that evaluation will stop as soon as the truth or falshood is known.

Es ist also ein Sprachbestandteil, dass nur soweit verglichen wird wie notwendig. Das macht, dass eine Menge C-Programme && und || als Abkürzung für bedingte Anweisungen verwenden.

axel668

SiD schriebHi,

ich wollte mal fragen wie das in C bei einer if Anweisung, die eine UND Verknüpfung enthält mit der Auswertung ist.

Also z.B. bei:
int x=2, y=3;

fi (x==0 && y<2)
{
...
...
}
Wird dann nur x==0 geprüft und dann nach dem if Block weiter gemacht, oder werden erst alle Bedignungen (also auch noch y<2) geprüft und dann nach dem if Block weitergemacht?

ich hoffe das war verständlich. 😉

y<2 wird nicht mehr geprüft, weil x==0 schon fehlgeschlagen ist, also C prüft nur so lange, bis das Ergebnis feststeht. Wenn x=0 wäre, würde beide Ausdrücke überprüft.

runiq

Kinch schriebIch war mal zu faul zum googeln und habs getestet:
…

Nice. Ich wär nicht mal auf die Idee gekommen, wie man sowas testen könnte. 😃 Vielen Dank für die Einsicht.