if文の大なりの判定が理解できない

Question

前提・実現したいこと

if文の大なりの判定が理解できない

発生している問題・エラーメッセージ

a b c にそれぞれ、１、１、２を代入した時に下記のif文の条件式は０＜２＜２　となるので
if文の中の処理が実行されないと思っていたのですが実行されてしまいます。
どこが間違っているのでしょうか。

該当のソースコード
if( abs(a-b) < c < a+b ){
x += 1;
}

C
ソースコード

### 試したこと

ここに問題に対して試したことを記載してください。

### 補足情報（FW/ツールのバージョンなど）

ここにより詳細な情報を記載してください。

Comments

[Zuishin]

削除

[gugu3]

２＜２が成立しないはずなので条件が満たされないと思っていたのですが、if文の条件式の後の{ }の箇所が実行されてしまい困ってます。

[Zuishin]

真は 1 です。

Answer 1

< は二項演算子です。 ふたつの値を元に計算してひとつの値を出力すると考えてください。 つまり、この場合は (abs(a-b) < c) < a+b という計算をやっているのです。 < が返す値は真 (1) か偽 (0) です。

a, b, c にそれぞれ 1, 1, 2 をあてはめると abs(1-1) < 2 は成り立つので 1 になり 1 < 1+1 は成り立つので式全体の値は 1 (真) です。 よって実行されるという結果になります。

質問者が意図しているのはおそらく abs(a-b) < c && c < a+b でしょう。

Comments

[gugu3]

とてもわかりやすかったです。ありがとうございました！

Answer 2

C言語では、x < y < z というような比較をまとめて行うことができません。

でも、
x < y < z とは、
x < y かつ y < z である
と言い換えることができますから、以下のように実装することができます。

if (abs(a-b) < c && c < a + b) {
   x += 1;
} 

---

なお、なぜ提示コードで条件式が true になってしまうか、ですが

① abs(a - b) < c が true である
② true < a + b
③ 1 < a + b

というふうに処理されているからです。

Answer 3

規約などちゃんと確認してませんが…
<演算子は左結合なので
0 < 2 < 2において0 < 2は真。真は1
そして1 < 2は真なので条件を満たします。

参考：
C言語の演算子について
条件と真理値

Answer 4

まず、C言語のIF文と比較演算子（>）の仕様として、
「a>b>C」と同時に3つ以上の大小比較はできません。

その対策は、1.論理演算子（&&）を併用する
2.IF文を複数個（入れ子で）書く（a>bとb>cに分ける）
3.自作関数を作り、3つ引数を取り、内部は1か2のやり方で、結果を返す

それで、今回のような3項の比較程度なら別に1でいいんですが、
もっといろいろな複雑な条件判断をする際、IF文が複雑になってきて、
1だけで頑張ると読みにくいので、2や3のやり方の方が効果的になります。