構造体の配列について(2)

質問

前回「構造体の配列について」という質問タイトルで、質問させていただいたのですが、理解が完全ではないため同じようなプログラム内容ではありますが、疑問を書かせていただきます。よろしくお願いします。

-----------------------------------------------------------------------
#include<stdio.h>
#include<string.h>

struct person{
char name[1];　　　　//// (1) ////
int height;
int weight;
};

int main()
{
struct person dt[10];

strcpy(dt[0].name,"日本一郎");
strcpy(dt[2].name,"関東次郎");
strcpy(dt[9].name,"関西三郎");
dt[1].weight=99;
dt[1].height=168;

printf("%s %s %s %d %d \n",dt[0].name,dt[2].name,dt[9].name,dt[1].weight,dt[1].height);

return 0;
}
-----------------------------------------------------------------------

以上のプログラムの(1)の部分で、文字を1文字しか格納出来ないのに、

strcpy(dt[0].name,"日本一郎");
strcpy(dt[2].name,"関東次郎");
strcpy(dt[9].name,"関西三郎");

としても何故正しく実行できるのかわかりません。
前回いろいろとご回答いただいたのに、しっかりと理解できない者ですが、教えていただければ嬉しいです。

回答No.13

S117 · ベストアンサー

>#１１のお礼
◎２
ちょっと違います。この場合height weightともにまだデータが破壊されていません。

私の回答が少しわかりづらかったですね。補足しておきます。

私は２つの現象について言及しています。

例１
>不正に書き換えた後（メモリ破壊）に、そこになにかを書き込むまえに読み込むと、値が不正になっているのです。
----------------------------------------------
dt[0].height = 168; //(1)
dt[0].weight = 99; //(2)
strcpy( dt[0].name, "日本一郎" ); //(3)

printf( "氏名： %s\n", dt[0].name );
printf( "身長： %d\n", dt[0].height );
printf( "体重： %d\n", dt[0].weight );
----------------------------------------------
この場合、(1),(2)で設定された値が(3)で不正に書き換えられています。そして、不正な値が表示されるでしょう。

例２
>そこ（破壊された場所）に値を書き込む操作自体には影響が出ません。
----------------------------------------------
strcpy( dt[0].name, "日本一郎" ); //(1)
dt[0].height = 168; //(2)
dt[0].weight = 99; //(3)

//printf( "氏名： %s\n", dt[0].name ); //(4)
printf( "身長： %d\n", dt[0].height );
printf( "体重： %d\n", dt[0].weight );
----------------------------------------------
この場合も、(1)が不正なデータの書き換えをしています。
ところが、その後(2)(3)でデータを書き換えます。
結果、表示時に身長と体重は正常なデータです。
なお、(4)で名前を表示しようとすると、データの内容が１文字目しか維持できる保証がないために、何が起きるかわかりません。なので、コメントアウトしてあります。

なお、#9のお礼では、あなたは例２の場合に(2)(3)の操作自体が不正だと考えているように読めましたので、#11での指摘となりました。

お礼

>strcpy( dt[0].name, "日本一郎" ); //(1)
>dt[0].height = 168; //(2)
>dt[0].weight = 99; //(3)

>//printf( "氏名： %s\n", dt[0].name );
>printf( "身長： %d\n", dt[0].height );
>printf( "体重： %d\n", dt[0].weight );

(1)により「height」、「weight」のメモリに不正なデータ書き換えを行っても、(2)、(3)を後に書くことにより、「height」、「weight」のメモリに正常なデータを書き換えられるということですね！

回答No.3

Tacosan

この話は「構造体の配列」とは全く関係ありません.
#1, #2 でいわれているように「たまたま正しく実行できているように見えるだけ」です.
printf の前に
strcpy(dt[1].name,"北風小僧");
dt[0].weight = 0x22334455;
の 2行を入れてやると楽しいことになるかもしれない.

お礼

「日本一郎UD3"北風小僧 関東次郎 関西三郎 0 1838263439」
となってしまいました。。

回答No.2

noname#144013

こんにちは。

ご提示のソースを以下のように変更して実行してみて下さい。
※"@追加"の部分を付け加えて下さい。

注）インデントのため、全角スペースを入れています。
　　コンパイルの際は、削除するか半角スペースorタブに置き換えて下さい。

------------------------------------------------------------
#include<stdio.h>
#include<string.h>

struct person{
　　char name[1]; //// (1) ////
　　int height;
　　int weight;
};

int main()
{
　　struct person dt[10];

　　// @追加(1-1)
　　dt[0].height=111;
　　dt[0].weight=222;

　　// @追加(1-2)
　　printf("dt[0].height=%d, dt[0].weight=%d\n", dt[0].height, dt[0].weight);

　　strcpy(dt[0].name,"日本一郎");

　　// @追加(2-1)
　　printf("dt[0].height=%d, dt[0].weight=%d\n", dt[0].height, dt[0].weight);

　　strcpy(dt[2].name,"関東次郎");
　　strcpy(dt[9].name,"関西三郎");
　　dt[1].weight=99;
　　dt[1].height=168;

　　printf("%s %s %s %d %d \n",dt[0].name,dt[2].name,dt[9].name,dt[1].weight,dt[1].height);

　　return 0;
}
------------------------------------------------------------

上記を実行すると、以下の２行
　　dt[0].height=111;
　　dt[0].weight=222;
でセットしたデータが変わっている（壊されている）のが解ると思います。

この理由をご自身で考えてみて下さい。

#1さんが仰られているとおり、
質問者さんが、ご提示されたプログラムは、見かけ上たまたま問題なく実行されるかも
しれませんが、実は、内部データ（今回は構造体のデータ）が壊されています。
※場合によっては、実行時エラーになる可能性があります。

＜補足＞
strcpy関数の２つの引数は、どちらも文字列へのポインタを渡すようになっています。

従って以下の記述

　　strcpy(dt[0].name,"日本一郎");

は、２つの引数とも文字列へのポインタになっていますので、この記述自体には何の問題
もありません。（引数の型が合っているため、コンパイルエラーにはならない）
従って、実行時も問題なく文字列がコピーされます。あるいはコピーしようとします。
（結果としてエラーが発生するかもしれませんが。。。）
※プログラム（コンピュータ側）としては、作成者が指示したとおりの処理を行います。

コンパイラとしては、strcpy関数の引数 "dt[0].name"は、単純にポインタとしてみている
ので、その実際の中身がどうなっているか（配列サイズ、構造体のメンバ構成など）までは
チェックできません。（と言うかチェックする必要はない）

※この辺りのことは、プログラムの作成者が、しっかりとデータ構造などを理解＆把握し
　てプログラミングすべき部分であり、気をつけないといけない部分だと思います。

お礼

ご回答ありがとうございます。

確保したメモリ領域を越えて、メモリを使ったため不具合が起こっているという考えなのでしょうか？
初心者なため、詳しくご回答いただいたのに完全に理解できなくてすいません。

回答No.1

asuncion

＞何故正しく実行できるのかわかりません。

正しく実行している「ように見える」、というのが正しいです。
実際には、配列の定義範囲外の領域を「破壊しています」。
それが顕在化するのは、「次回」その破壊した領域に
アクセスしようとしたときです。
顕在化したとき、どうなるかはわかりません。
何も起きないかもしれませんし、プログラムが突然異常終了するかもしれません。

お礼

ご回答ありがとうございます。

>配列の定義範囲外の領域を「破壊しています」。

上記の事が起きるとわかりました。
具体的にどうなっているか、勉強してみます。