C/C++における配列の範囲外アクセスと未定義動作について

Javaのような言語では、配列の範囲外にアクセスすると java.lang.ArrayIndexOutOfBoundsException のような例外が発生し、エラーを検知できる仕組みがあります。しかし、C言語にはこのような機能は存在せず、配列の範囲外にアクセスすると未定義動作（undefined behavior）が発生する可能性があります。

未定義動作とは、プログラムがクラッシュする、意図しない値を読み込む、一見正常に動作しているように見えるなど、動作が保証されない状態を指します。これは非常に危険なバグの原因となるため、注意が必要です。

以下に、C言語で配列の範囲外アクセスがどのような結果をもたらすかを示すプログラムの例を紹介します。

サンプルコード

#include <stdio.h>
int main() {
    int arr[] = {1,2,3,4,5};
    printf("The elements of array : ");
    for(int i = 0; i<6; i++)
    printf(" %d",arr[i]);
    return 0;
}

実行結果

上記プログラムの実行結果は以下の通りです。

The elements of array : 1 2 3 4 5 32765

プログラムの解説

ここで、上記プログラムの動作を詳しく見ていきましょう。

配列 arr には、添字 0 から 4 までの5つの要素にのみ値が代入されています。しかし、ループ条件が i<6 となっているため、存在しない arr[5] にもアクセスしてしまいます。その結果、arr[5] にはメモリ上の隣接領域に残っていた無意味な値（ゴミ値・不定値）である「32765」が出力されました。

該当するコード部分は以下の通りです。

int arr[] = {1,2,3,4,5};
printf("The elements of array : ");
for(int i = 0; i<6; i++)
printf(" %d",arr[i]);

範囲外アクセスを防ぐためのポイント

C言語では実行時に配列の境界チェックが行われないため、プログラマ自身が以下の点に注意してコードを書く必要があります。

• ループ処理では、配列のサイズを正しく把握し、i<sizeof(arr)/sizeof(arr[0]) のように要素数を基準に条件を設定する。
• 可能であれば、コンパイラの警告オプション（例： -Wall）や静的解析ツール（AddressSanitizer など）を活用して、範囲外アクセスを事前に検出する。
• より安全な配列操作が必要な場合は、C++の std::vector や .at() メソッドのように、境界チェック機能を持つコンテナの利用を検討する。

このように、C/C++では配列の範囲外アクセスによる未定義動作を防ぐために、開発者自身が慎重なコーディングを心がけることが重要です。