C Klammerung

[Siro]

Hallo zusammen, noch eine kurze Frage zum Wochenende

Ich bin mal wieder auf die Nase gefallen und habe lange nach einem Fehler gesucht.
Ich verstehe nicht wo der Unterschied zwischen diesen beiden Abfragen liegt, dass es mal geht und mal nicht.

int main(void)
{ int a,b,result;

  a = 0x01;
  b = 0x80;
  
  if (a & b == 0)   /* Bitweises UND, es müste 0 rauskommen */
  {
     result = TRUE;  
  } else
  {
    result = FALSE;    /* Ergebis ist aber FALSE */
  }


  a = -3;
  b = +3;
  if (a + b == 0)
  {
     result = TRUE;   /* Ergebnis ist TRUE, hier stimmt es */
  } else
  {
    result = FALSE;  
  }

}

Ich weis, (falsch: man hat mir gesagt) ich muss hier nochmal Klammern.
if ((a & b) == 0)

als alter Pascal Freak, ist das für mich natürlich überhaupt nicht einleuchtend, weil da brauche ich garkeine Klammern bei diesem simplen Gebilde

Aber ich möchte einfach nur verstehen warum ich hier nochmals Klammern setzen muss.
Eine if Abfrage muss generell in Klammern, okay ist halt so festgelegt, aber wozu die anderen Klammern.
Bei der Addition funktioniert es ja auch ohne, bei dem Bitweisen UND nicht mehr.

Dank Euch für Infos.
Siro

[Bátorság]

Das hängt alles von der Abarbeitungsrichtung und der Rangordnung der Operatoren ab. Guck mal hier: http://manderc.manderby.com/operator...ator/index.php

[Siro]

Danke Dir erstmal für den Link:

Verstanden hab ich es nicht wirklich.
Die Abarbeitungsrichtung ist demnach von links nach rechts bei einem Bitweisen AND
== hat den Rang 10
& hat den Rang 4

aber was sagt mir das jetzt ?

wie dem auch sei:
Laut Assembler Code hat mein Compiler result = FALSE daraus gemacht.
Er hat die AND Funktion also garnicht erst ausgeführt.
wie kommt er darauf, er weis dorch garnicht was rauskommt.

es sei denn, er hat es wie folgt aufgelöst ?
if (a & (b==0))

wenn also b==0 ist, muss a zwangsläufig nach dem AND auch 0 sein und damit ist das Ergebnis des Vergleichs immer 0
und deshalb erzeugt er nur den Code für result = FALSE

Liege ich da ungefähr richtg ?

[TheDarkRose]

Siehe Operator Precedence. == hat eine höhere Wertung als & und wird somit als erster evaluiert. Generell, weiß man es nicht, oder will sich nicht darauf verlassen, immer Klammern setzen. Schadet nie und schützt vor überraschenden Änderungen in der Zukunft, oder komischen Compilern.

[malthy]

und "+" bindet seinerseits stärker als "==", deswegen das Ergebnis deiner zweiten Abfrage. Hätte ich jetzt auch nicht gewusst, insofern war's lehrreich .

[radbruch]

Hallo

Obwohl man die Bindung oder Rangfolge der Operatoren bei Unsicherheit ja schnell mal nachschlagen kann setze ich trotzdem immer ein paar Klammern mehr, weil es die Lesbarkeit des Codes erhöht. Der Kompiler ignoriert überflüssige Klammern sowieso...

Gruß

mic

[Siro]

Okay, Danke Euch, dann hab ich es jetzt doch verstanden. Hätte nie gedacht, daß eine Zuweisung VOR einer Operation stehen könnte.
Ich dachte immer, erstmal rechnen und dann zuweisen. Naja man lernt halt nie aus. Ich denke auch, es ist "einfacher" ein paar Klammern mehr zu setzen,
nicht das erste Mal, daß ich mir dadurch das Leben schwer mache. Dann habt noch ein Bugfreies Wochenende

[malthy]

Hätte nie gedacht, daß eine Zuweisung VOR einer Operation stehen könnte.

Hm, versteh dich jetzt nicht so ganz. Eigentlich werden ja nur die Wahrheitswerte von (a & b == 0) und (a + b == 0) berechnet. Und weil die Operatoren & und + eben einmal stärker und einmal schwächer als == binden, fällt das Ergebnis eben so aus, wie es es ausfällt.

[Siro]

sorry, das war ja jetzt auch falsch ausgedrückt. Das ist natürlich keine Zuweisung, sondern eine Abfrage.
das mit dem Binden ist schon merkwürdig (verwirrend) für mich, weil das gab es in der Form nicht bei Pascal/Delphi.

[Klebwax]

sorry, das war ja jetzt auch falsch ausgedrückt. Das ist natürlich keine Zuweisung, sondern eine Abfrage.

Eigentlich nicht. == ist ein genau so ein Operator wie &. So etwas wie einen Abfrageoperator gibt es in C nicht. == ist der Vergleichsoperator und liefert TRUE, wenn die Werte auf beiden Seiten gleich sind.

das mit dem Binden ist schon merkwürdig (verwirrend) für mich, weil das gab es in der Form nicht bei Pascal/Delphi.

Aber natürlich gibt es das, wie überall, wo mehrere Operationen in einem Ausdruck zulässig sind. Ein einfacher, bekannter Fall ist: Punktrechnung geht vor Strichrechnung (d.h. ein * bindet stärker als ein +. Es gibt aber noch weitere Regeln für Brüche. Da es aber in C (und eigentlich allen Programmiersprachen) viel mehr Operatoren als nur die rein mathematischen gibt, sind die Bindungsregeln auch komplexer. Daher ist

Obwohl man die Bindung oder Rangfolge der Operatoren bei Unsicherheit ja schnell mal nachschlagen kann setze ich trotzdem immer ein paar Klammern mehr, weil es die Lesbarkeit des Codes erhöht. Der Kompiler ignoriert überflüssige Klammern sowieso...

eine gute Strategie.

Ich denke, das Problem liegt an einer anderen Stelle. Ein if in C funktioniert etwas anders, als in manchen anderen Sprachen. Ist der Wert der Klammer hinter einem if TRUE, wird der nächste Befehl ausgeführt. Ob sich der Wert in der Klammer durch einen Vergleichsoperator, durch einen anderen Operator oder durch eine beliebig komplexe Aufreihung von Operatoren ergibt (oder ob da einfach der Wert 1 steht) ist egal. Deswegen ist ein gängiger Fehler in C, daß man statt if ( a == 3) die Zuweisung if ( a = 3) schreibt. Das zweite ist in C sytaktisch korrekt, aber meist nicht das, was man will.

MfG Klebwax