文字を格納できる限界を超えてもエラーにならない

質問

こんにちは。今回、以下のコードを作成して、動的にメモリを確保しようとしています。使用しているのはVisual C++ 2008のC言語で、C99等と言った規格に準拠しているかどうかは不明です。
これは、まずメモリをmallocEx(内部でmalloc)で確保して文字を代入、それをさらにrealloc(内部でrealloc)で領域を増やして文字を追加、最後に出力してfree(内部でfree)する、というコードで、コードに直接矢印で示してありますが、わざとエラーの発生するコードを組み込んであるのですが、これが何の問題もなく処理されてしまいます。また、reallocExを実行すると、代入したイが不定のデータに変わってしまうようで、その後ロを代入するとイが消えてしまいます。
唯一正常に動くものは、freeExを実行後のポインタに代入しようとすると例外として処理されるところだけです。

ポインタを参照渡し等にしてもう少しコードをすっきりさせようとしていたのですが、結局メモリ操作がうまくいっていなかったようなので、freeEx関数以外は戻り値で戻すという形に戻しました。

------------------
実行するコード
------------------

char *test;
test = mallocEx( 1 * sizeof(char) ); ←エラーが発生するか確かめるために要素は1つだけ確保
strcpy( test,"イ" ); ←要素を1つしか確保していないのに2バイトの文字でエラーなし
printf("%s\n", test);
test = reallocEx( test, (4 + 1) * sizeof(char));
strcpy( test,"ロ" ); ←これを実行すると、前回代入したイが消える
printf("%s\n", test);
freeEx(&test);
//strcpy( test,"イロハ" ); ←これは例外処理で受け付けられない(正常)
keywait();
return 0;

------------------
使用する関数
------------------

void *mallocEx( size_t nSize )
{
void *tmp; /* malloc関数で割り当てたメモリへのポインタ */

tmp = malloc( nSize ); /* メモリを割り当てる */

/* メモリ割り当てに失敗した場合の処理 */
if( tmp == NULL ) {
printf( "\a\n<!> mallocEx関数内、malloc関数のエラー:\nメモリが不足しています。指定された数のメモリブロックが確保できませんでした。\n" );
return NULL; /* 生成失敗 */
}

return tmp; /* 生成成功 */
}

void *reallocEx( void *ptr, size_t nSize )
{
void *tmp; /* realloc関数で割り当てたメモリへのポインタ(安全確認用) */

/* ポインタを生成する型を判定する */
tmp = realloc( ptr, nSize ); /* メモリを再度割り当てる(安全のため(＝NULLに備えて)内部ポインタ変数tmpで取得) */

/* メモリの再割り当てに失敗した場合の処理 */
if( tmp == NULL ) {
printf( "\a\n<!> reallocEx関数内、realloc関数のエラー:\nメモリが不足しています。指定された数のメモリブロックが確保できませんでした。\n" );
return NULL; /* 再割り当て失敗 */
}

return tmp; /* 再割り当て成功 */
}

void freeEx( void **ptr )
{
if( *ptr != NULL )
{
free( *ptr );
*ptr = NULL;
}
}

回答No.3

asuncion · ベストアンサー

>test = reallocEx( test, (4 + 1) * sizeof(char));
>strcpy( test,"ロ" ); ←これを実行すると、前回代入したイが消える

realloc()の戻り値は、malloc()の戻り値と必ずしも同じとは限らなかったはずです（※１）。
つまり、malloc()のときのtestとrealloc()のときのtestとは別の値。

ところで、もし、※１でないとしても、strcpy()というのは前に何が入っていたかとは
無関係に指定した領域を指定した内容で上書きします。
前回代入したイが消えるのは、エラーでも何でもなくて、当たり前のことです。

お礼

ありがとうございます。

恥ずかしながら、strcpy()の機能をstrcat()と勘違いしていたようです。

realloc()が失敗する可能性があるということは周知していました。もしかしたら不定な値を見たかもしれないので、増やした領域は0で初期化しておくべきですね…。

とりあえず、一回これまでの情報を使って、もう一度テストしたりしてみます。

回答No.4

asuncion

> メモリ上で領域を確保した領域が少なくて、そこにその容量を超えるデータを代入したとしても、

代入した時点では、別の変数などの領域を破壊していても例外は起きないはずです。
例外が起きるとすれば、当該の、破壊した領域に「次回」アクセスしたときである、と私は認識しています。
発見しづらいバグの一因です。

お礼

わかりました。追加の説明ありがとうございます。

回答No.2

koko_u_

>わざとエラーの発生するコードを組み込んであるのですが、
>これが何の問題もなく処理されてしまいます。

C で動作が未定義になっている場合、エラーが発生することを期待してはいけません。
エラーにしたい場合は、プログラマが明示的にこれを指示する必要があります。

お礼

ありがとうございます。

メモリ上で領域を確保した領域が少なくて、そこにその容量を超えるデータを代入したとしても、それが例え例外でも、定義やOSのチェック機能などがなければ、あたかも正常動作しているかのように振る舞うこともある、ということですか？

回答No.1

Tasuke22

何を証明したいのか今１つ分からないのですが。

確保していない領域を破壊しても、その破壊さ
れた領域が使われないとエラーはおきません。

そのエラーのおき方も様々であり、チェッカーが
簡単にエラーを検出してくれる、といった単純な
ものではありません。

領域をオーバした場所が、ページにまたがるか否か
でも話が変わってきます。

お礼

ありがとうございます。

それはつまり、メモリのどこでどう領域が扱われるかによって、動作がどうなるかはわからない、ということですね。