0
a[0] = ABC
a[1] = DE
a[2] = FGHI

のようにコマンドプロンプト上に表示できるようにしたつもりだったのですが、

a[0] = ABC
a[1] = DE
a[2] = FGHI
a[3] = 
a[4] = a
a[5] = +

と表示されてしまいました。

なぜ while文は a[2] = FGHI の表示で終わらなかったのか、かといって無限に続くわけでもなく a[5] = + で止まったのか、分かる方いましたら教えていただきたいです。

int i = 0;
char a[][5] = {"ABC","DE","FGHI"};

while (a[i][0] != 0) {
    printf("a[%d] = %s\n", i, a[i]);
    i++;
}
1
  • 回答してくださった方々、ありがとうございます。おかげで解決しました。僕の配列への理解が足りていなかったです。
    – user39864
    Commented 2020年4月29日 5:55

2 件の回答 2

3

aの初期化部分は次のコードとほぼ同じです。

char a[3][5] = {
    {'A', 'B', 'C', '\0', '\0'},
    {'D', 'E', '\0', '\0', '\0'},
    {'F', 'G', 'H', 'I', '\0'}
};

aの5x3の二次元配列です。sizeof(a)が15になることからもこれがわかります。5の部分は明示されていますが、3の部分は初期化子によって決定されます。

さて、問題はwhileの条件式であるa[i][0] != 0iが3以上の時です。a[3]からはaの配列のサイズを越えているため未定義の動作になります。つまり、何が起きてもおかしくないということです。a[5]で止まったのは偶然であり、[2]で止まっても、逆にプログラムが落ちても不思議ではありません。理由云々の前に、Cとしては 間違ったコード(書いてはいけないコード) となります。

※ 未定義の動作とはCの規格上、どのような動作になるのかを定義していない動作のことです。コンパイル時にエラーになる、何もしないでそのまま素通りする、ゴミデータを出力する、エラーになる、プログラムが落ちる、任意コードを実行可能にする等、何が起きてもおかしくないことを意味します。状況によっては脆弱性の原因となりますので、そのような動作がおきないようにコードを書かなければなりません。


では、どのように修正すべきかです。aという配列には終端を示すものはありませんので、終端判定はできません。ですので、ちゃんとaのサイズを計算して、その分だけiを回すようにします。

#include <stdio.h>
int main(void)
{
    char a[][5] = {"ABC","DE","FGHI"};

    for (int i = 0; i < sizeof(a) / sizeof(a[0]); i++) {
        printf("a[%d] = %s\n", i, a[i]);
    }
}

または、kunifさんの回答のように終端を表す""を追加すると言う方法でもいいでしょう。


未定義の動作であっても、どういう動作をしているのか知りたい…という人もいるかも知れません。ただ、これらの動作は環境や実行状況、コンパイラ、その他色々な要因によって動作が変わるので、よくある動作の一つとして考えてください。

aはスタックに積まれることになります。ほとんどのアーキテクチャではスタックは後ろから前に詰まれます。つまり、(たいていの場合は)aはスタックの最前線であり、その後ろにも何らかのデータがあり、最適化などがないとたいていの場合はiです。さらにその後も呼び出し元でスタックに積まれたデータが入っています(mainであっても、そのmainを呼び出す前の前処理の何かが入っています)。もし、初期化していない変数とかアライメントによって使われていない領域があっても何からのデータが入っています。それは0かもしれないですし、前に実行した値かも知れませんし、実行時の状況に変わります。なので、その何かが入っている領域に対して、律儀にアクセスし、たまたまa[6][0]に相当するところが0だったので止まったと言うだけです。

だいたいこんな感じです。より細かく知りたいのであれば、逆アセンブルして分析をする必要があるでしょう。

1

whileループの継続条件a[i][0] != 0 から外れる(=終了条件となる)データが用意されていないからです。

char a[][5] = {"ABC","DE","FGHI"};

これだとこの変数の範囲外までアクセスしていき、いつどのように終了するかは不定です。
a[5]=+で止まったのは、a[6][0]0だったからで、それは偶然です。
無効なアドレスをアクセスしたということで異常終了する場合もあります。

上記whileループの条件を尊重するなら、初期化データを以下のようにすれば良いでしょう。

char a[][5] = {"ABC","DE","FGHI", ""};

ただ、あまりこういう方法は使われないと思われます。

競技プログラミングのテクニックとかなのかもしれませんが、例えば人の入力により回数/個数が不定の場合のみに使用して、質問のように予めソースコード上で初期化される数が決まっている場合は、その数も定義なり初期化して、使用した方が良いと思われます。
不定回数入力でも、入力した回数を記録しておいて、それを使用する方が良さそうですし。

2
  • 番兵として""を使うのもありかなと思いました。もっとも番兵としてNULLを使い、ポインタ配列char *a[] = {"ABC", "DE", "FGHI", NULL}; while (a[i] != NULL) {の方がよいと思います。 Commented 2020年4月28日 14:51
  • C言語で使うアルゴリズムの1例としてはアリですか。まあ回答はよくしていても実務で使っていただけでコンピュータサイエンスには疎いので大きなことは言えませんでしたね。
    – kunif
    Commented 2020年4月28日 15:03

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。