Relationale Operatoren Auswertungsergebnis

Question

Angenommen, wir haben einen Ausdruck wie

(x > 5) 

in C-Sprache. Gibt es irgendeine Garantie, die von der Sprache/dem Standard gegeben wird, dass der Ausdruck zu 0 ausgewertet wird, wenn es falsch ist, und zu 1, wenn es wahr ist?

Answer 1

Ja, es ist durch den Standard garantiert.

Gemäß dem C11 Standarddokument, Kapitel 6.5.8, Absatz 6 [Relationale Operatoren]

Jeder des Betreibers < (weniger als), > (größer als), <= (weniger als oder gleich) und >= (größer oder gleich) soll 1 ergeben, wenn die angegebene Beziehung true und 0 ist, wenn es false ist. Das Ergebnis hat den Typ int.

Update: Gleiches Kapitel und Absatz für C99 Standard auch.

Answer 2

In gcc wird es als eins und null ausgewertet. Betrachten wir folgendes Programm

#include <stdio.h> 

int main(void) 
{ 
    int a = 3; 
    int b = 4; 
    if((a > b) == 0) 
     printf("a > b is false\n"); 
    if((a < b) == 1) 
     printf("a < b is true\n"); 
    return 0; 
} 

Es gibt Ausgang

a > b is false 
a < b is true