中級

strcmpの戻り値を真偽値と勘違いして条件が逆になる

strcmpは文字列が等しいときに0を返します。if (strcmp(a, b))と書くと「等しくないとき」に真になり、多くの人が期待する「等しいとき」とは逆の分岐になります。

なぜエラーが出ないのか

出力: no match

（エラーなし）

Cは何も報告しません。コンパイルも実行も正常に完了するためです

出力: no match

実際の挙動 — 期待した結果と食い違っている箇所

見つけ方

エラーが出ないので、出力を目で確かめるか、コードを目で追うしかありません。この種の誤りが最も発見が遅れます

このエラーが出る典型パターン

 1  #include <stdio.h>
 2  #include <string.h>
 3  
 4  int main(void) {
 5      char name[] = "Taro";
 6      if (strcmp(name, "Taro")     ) {
                        ^
 7          printf("match\n");
 8      } else {
 9          printf("no match\n");
10      }
11      return 0;
12  }

 1  #include <stdio.h>
 2  #include <string.h>
 3  
 4  int main(void) {
 5      char color[] = "red";
 6      if (strcmp(color, "red")     ) {
                        ^
 7          printf("is red\n");
 8      } else {
 9          printf("not red\n");
10      }
11      return 0;
12  }

 1  #include <stdio.h>
 2  #include <string.h>
 3  
 4  int main(void) {
 5      char cmd[] = "quit";
 6      if (strcmp(cmd, "quit")     ) {
                        ^
 7          printf("quit\n");
 8      } else {
 9          printf("continue\n");
10      }
11      return 0;
12  }

よくある誤解

「trueっぽい名前の関数はtrueで成功を表す」という直感はここでは裏切られます。strcmpの0は「差が無い」という意味であり、Cでは0は偽と評価されるため、素直にif(strcmp(...))と書くと「文字列が違うときに実行される」コードになってしまいます。等しいかどうかを見たいときはif (strcmp(a, b) == 0)と書きます。

まとめ

strcmpの戻り値を真偽値と勘違いして条件が逆になるは中級でつまずきやすい項目です。上の3パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• if文の条件式で = と == を間違えて常に真になる比較のつもりで==と書くべきところを=と書いてしまうと、比較ではなく代入になり、条件は代入した値の真偽で判定されます。
• ビット演算子 & の優先順位が比較演算子 == より低いことによる誤動作a & b == cと書くと、==の方が優先順位が高いため、a & (b == c)として解釈されます。