初級

配列の添字を1つずらしてしまうoff-by-oneバグ

配列の要素数と添字の範囲を混同し、ループの開始や終了条件を1つずらしてしまうバグです。要素が抜けたり、逆に範囲外を読んでしまったりします。

なぜエラーが出ないのか

出力: 170

（エラーなし）

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

出力: 170

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

見つけ方

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

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

 1  #include <iostream>
 2  int main() {
 3      int scores[3] = {70, 80, 90};
 4      int sum = 0;
 5      for (int i = 1; i < 3; i++) {
                     ^
 6          sum += scores[i];
 7      }
 8      std::cout << sum << std::endl;
 9      return 0;
10  }

 1  #include <iostream>
 2  int main() {
 3      int prices[4] = {10, 20, 30, 40};
 4      int total = 0;
 5      for (int i = 0; i < 3; i++) {
                            ^
 6          total += prices[i];
 7      }
 8      std::cout << total << std::endl;
 9      return 0;
10  }

 1  #include <iostream>
 2  int main() {
 3      int temps[5] = {18, 20, 19, 21, 17};
 4      int count = 4;
                    ^
 5      int sum = 0;
 6      for (int i = 0; i < count; i++) {
 7          sum += temps[i];
 8      }
 9      std::cout << sum << std::endl;
10      return 0;
11  }

よくある誤解

「配列の要素数がNならインデックスも1からNまで」というのは誤解です。C++（C系言語共通）の配列の添字は0から始まり、末尾はN-1です。この前提がずれると必ずoff-by-oneが起こります。

まとめ

配列の添字を1つずらしてしまうoff-by-oneバグは初級でつまずきやすい項目です。上の3パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• int同士の割り算で小数点以下が消えるバグint型同士の割り算は小数点以下を切り捨てたint型の結果になるバグです。
• 配列と、先頭要素へのポインタでsizeofの結果が変わってしまう理由配列そのもの（nums）と、先頭要素のアドレス（&nums[0]）を混同してsizeofに渡してしまうバグです。