論理AND／OR演算子を使ったif文

論理ANDの演算子である && や，論理ORの演算子である¦¦をif文の制御式に使って，「AかつBの場合」とか，「AまたはB」の場合といった条件でif文を記述することができます。

&& を使ったif文

if文の制御式に && を使った例をリスト5.3に示します。この例では，i >= 10という条件とi < 20という条件が && の演算子で結ばれているため，結局，「変数iの値が10以上であり，かつ20未満だった場合」に真となります。elseの部分はその条件に当てはまらなかった場合，つまり，「変数iの値が10以上であり，かつ20未満だった場合」ではなかった場合に実行されます。

#include <stdio.h>

int
main()
{
  int i;

  i = 15;
  /* i = 6; */

  if (i >= 10 && i < 20) {
    /* iが10以上20未満だった場合の処理 */
    printf("10 <= i < 20\n");
  } else {
    /* iが10以上20未満ではなかった場合の処理 */
    printf("i < 10 or 20 <= i\n");
  }

  return 0;
}

$ gcc -O2 -o if_and if_and.c
$ ./if_and
10 <= i < 20
$

もし， i >= 10 && i < 20 という書き方がわかりにくく感じる場合は，(i >= 10) && (i < 20) と( )を補って書いてもよいでしょう。ただし， && 演算子は >= や < の演算子より優先順位が高いため，( )があってもなくても結果は同じになります。

¦¦ を使ったif文

今度は，if文の制御式に ¦¦ を使った例をリスト5.4に示します。この例では， i < 10」という条件と 20 <= i という条件が ¦¦ の演算子で結ばれているため，if文の制御式が真になるのは，「変数iの値が10未満か，または20以上だった場合」となります。elseの部分はその条件に当てはまらなかった場合となるため，「変数iの値が10未満でも，20以上でもなかった場合」となります。

前述のif_and.c(リスト5.3)と，このif_or.cとは，if文の真偽が逆になっているだけです。つまり，ifのあとの文とelseのあとの文とが入れ替わっているだけで，結局同じことを処理するプログラムになっています。このことに注意しながらif_and.cとif_or.cを見くらべ，理解を深めてください。

#include <stdio.h>

int
main()
{
  int i;

  i = 15;
  /* i = 6; */

  if (i < 10 || 20 <= i) {
    /* iが10未満または20以上だった場合の処理 */
    printf("i < 10 or 20 <= i\n");
  } else {
    /* iが「10未満または20以上」ではなかった場合の処理 */
    printf("10 <= i < 20\n");
  }

  return 0;
}

$ gcc -O2 -o if_or if_or.c
$ ./if_or
10 <= i < 20
$

if文で使えるのは == などの比較演算子だけではない

C言語では，if文が直接変数などの値を比較して条件判断するのではなく，あくまで制御式の値が真（0以外）か偽（0）かで条件判断を行ないます。前述のとおり，if文の制御式には通常 == などの比較演算子を含む式を使いますが，文法的には制御式としてどのような式を使っても構いません。結局，制御式の値が真(0以外)であればifのあとの文が，偽(0)であればelseのあとの文が実行されるのです。

極端な場合，演算子すら使わず，変数そのものを制御式として，

  if (i)

と書くこともできます。この場合，iの値がゼロ以外ならばifの条件が真になるため，

  if (i != 0)

と書いたのと同じことになります。

== を = と書いてもエラーにならない

if文で，

  if (i == 3)

と書くべきところを

  if (i = 3)

と書いてしまうという誤りがときどき見られます。C言語のif文では，if(i = 3) と書いても文法的には正しく，コンパイル時にもエラーは発生しません。このため，プログラムのミスに気づきにくく，注意が必要です。

if(i = 3) と書くと， =は比較演算子ではなく代入演算子であるため，変数i に3という値が代入されます。そして，代入演算子を使った演算の結果，式全体が3という値を持つため，これはif文としては if(3) として条件判断を行います。C言語では0以外の数はすべて真となるため，結果的にこのif文はiの値に関わらず常に真となってしまうのです。