Is the "true" result of >, <, !, &&, || or == defined?
c, logical-operators
Solution
In C99 §6.5.8 Relational Operators, item 6 (`<`,`>`,`<=` and `>=`):
Each of the operators < (less than), > (greater than), <= (less than or equal to), and >= (greater than or equal to) shall yield 1 if the specified relation is true and 0 if it is false) The result has type int.
As for equality operators, it's a bit further in §6.5.9 (`==` and `!=`):
The == (equal to) and != (not equal to) operators are analogous to the relational operators except for their lower precedence) Each of the operators yields 1 if the specified relation is true and 0 if it is false. The result has type int. For any pair of operands, exactly one of the relations is true.
The logical AND and logical OR are yet a bit further in §6.5.13 (`&&`)
The && operator shall yield 1 if both of its operands compare unequal to 0; otherwise, it yields 0. The result has type int.
... and §6.5.14 (`||`)
The || operator shall yield 1 if either of its operands compare unequal to 0; otherwise, it yields 0. The result has type int.
And the semantics of the unary arithmetic operator `!` are over at §6.5.3.3/4:
The result of the logical negation operator ! is 0 if the value of its operand compares unequal to 0, 1 if the value of its operand compares equal to 0. The result has type int. The expression !E is equivalent to (0==E).
Result type is `int` across the board, with `0` and `1` as possible values. (Unless I missed some.)
Problem
When I for instance write `7>1` in C (say C99 if this is not an always-been feature), can I expect the result will be exactly 1 or just some non-zero value? Does this hold for all bool operators?