文字列

Question

文字列を比較するプログラムについてなのですが、
”苦しんで覚えるC言語”に記載されていたソースコードで、
１つ疑問があります。

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


int main(void)
{
	char str1[256],str2[] = "DRAGONQUEST";
	int i,len;
	
	scanf("%s",str1);
	
	len = strlen(str2);	
	
	for (i = 0;i < len + 1;i++) {
		if (str1[i] != str2[i]) break;
	}
	
	if (i == len + 1) {
		printf("同じ\n",i);
	} else {
		printf("違う,\n",i);
	}
	
	return 0;
}

このプログラミングで、
str1の入力がループ強制脱出のifに偽の時、ループの条件式(i = 0;i < len + 1;i++)によると、iは11でループが終了するということになるのと思うのですが、その後のif (i == len + 1)で真の結果がでることが理解できません。
私の考えではループはiが11になったときに終了するので、iは11でlen + 1(11字+EOSで12)と等しくないと思うのですが、これはなぜiが12になるのでしょうか。

追記

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

int main(void)
{
	char str1[256],str2[] = "DRAGONQEST";
	int i,len;
	
	scanf("%s",str1);
	
	len = strlen(str2);
	
	printf("%d\n",len);
	
	for (i = 0;i < len + 1;i++){
		printf("str1[%d] = %c ,str2[%d] = %c\n",i,str1[i],i,str2[i]);
		if (str1[i] != str2[i]) break;
	}
	
	
	printf("i(%d) == len + 1(%d)\n",i,len + 1);
	if (i == len + 1) {
		printf("同じ,i = %d ",i);
	} else {
		printf("違う,i = %d ",i);
	}
	
	return 0;
}

iが12になるのか確認してみようとこのプログラムをしてみたのですが、やはり理解できませんでした。

Comments

[HogeAnimalLover]

途中で変数の中身を表示させながらプログラム動作を追跡してみると良いよ。

[k_37]

回答ありがとうございます。
iの値は11でループが終わるのですが、ループ後にiの変数を表示させると12に変わっています。どうしてでしょうか…

[otn]

プログラムを ```C という行と ``` という行で囲んで下さい。

Answer 1

「if (str1[i] != str2[i]) break; 」←でループを抜けることはない(つまり文字列は等しい)と仮定します。

そうするとループは条件「i < len + 1」が真である限り続きます。ということはループを抜けるときはこの逆「i >= len + 1」が真であると言えます。iは0から順に増えてきているのですから「i == len + 1」であるといえるはずです。

なお、「ループが終わる」というのは条件式（for()の真ん中）を計算してこれが偽（数字では0）であった時です。

Comments

[k_37]

回答ありがとうございます。
上記のプログラミングでループから抜け出すのはiが12のときで、その偽になったときのiの値の12がループ後のiに代入され、｢i == len + 1｣が成り立つということでしょうか。

[HogeAnimalLover]

iに12が代入されるほうが先、この後 i < len + 1を計算して偽となりループを抜ける。当然この変数の状態は継続するのでi == len + 1は真となっています。ん？むしろ変数スコープの問題でしたか？変数iは関数の先頭で定義されているので、関数が終わるまでは値を保持し続けますよ。

[k_37]

ループの条件式が真である間の最大値11がループ後のiに代入されると思っていました。
iに12が代入されからループ抜け出すので、ループ後のiが12になるのですね。
納得しました。ありがとうございます。

Answer 2

こんちは。

ループの条件式(i = 0;i < len + 1;i++)によると、iは11でループが終了するということになるのと思う

単純な勘違いと思いますよ。落ち着いて考えてみてください。
str2は11文字ありますのでlen = strlen(str2);によりlenは11ですから、len+1は12です。
i < 12の条件が成立しない最低のiはいくつでしょうか？

Comments

[k_37]

回答ありがとうございます。
成立しない最低のiは12です。
成立する最大のi(11)がループ後のiに代入される、と考えていたのですが、
ここが勘違いでしょうか。

[Chironian]

その通りです。
iに12が入ったのでループの継続条件が成立せずループを終了します。
その後、意図的にi の値を変更しないかぎり、最後の12が入っています。

[k_37]

そういうことでしたか。
とてもスッキリしました。ありがとうございます。