strcmp()関数を使わずに比較する

Question

テキストを見ながら勉強しています。

#include <stdio.h>

int main(void){

    char moji_1[10], moji_2[10];
    int i;

    printf("文字列を二つ入力してください（９文字以内）:");
    scanf("%s %s", moji_1, moji_2);

　　for(i=0; i<10&& moji_1[i]&& moji_2[i]&& moji_1[i]==moji_2[i]; i++);

    if(moji_1[i]==moji_2[i]&& moji_1[i]=='\0'){
        printf("入力した文字列は一致しています\n");
    }else{
        printf("入力した文字列は一致していません\n");
    }
    return 0;
}

このコードのfor文の式のmoji_1[i]&& moji_2[i]がなぜ必要なのかが分かりません。
この文がないと動作しませんでしたが、i<10と moji_1[i]==moji_2[i]だけで十分ではと素人目ながら思ってしまいます。
どうか理由を教えてほしいです。

Answer 1

"strcmp source" で google 検索すると、 strcmp メソッドの実装例をいくつも見つけることができます。
テキストでの実装例とみくらべると面白いと思います。

例：
https://opensource.apple.com/source/Libc/Libc-262/ppc/gen/strcmp.c

int
strcmp(const char *s1, const char *s2)
{
    for ( ; *s1 == *s2; s1++, s2++)
	if (*s1 == '\0')
	    return 0;
    return ((*(unsigned char *)s1 < *(unsigned char *)s2) ? -1 : +1);
}

Answer 2

終端のヌル文字に達したときに脱出するためかと思います。
次のように書いた方が分かりやすいのでは。

for(i=0; i<10; i++) {
    if(moji_1[i] == '\0') break;
    if(moji_2[i] == '\0') break;

    if(moji_1[i] != moji_2[i]) break;
}

ちょっとfor文濫用し過ぎじゃないですかね。

---

なお、上記の条件を抜かすと、つまり次のように書くと...

for(i=0; i<10; i++) {
    if(moji_1[i] != moji_2[i]) break;
}

ヌル文字に達していようがいまいが、10要素全てを比較しようとします。
終端以降の要素の値が一致する保証はありませんから、これはバグになります。
それに、初期化していない領域にアクセスするのはあまり行儀がよくないですよね。

Comments

[Owan]

LouiSさんの書いていただいたほうが理解しやすかったです。
moji_1[i]==moji_2[i]が両方ヌル文字になったときmoji_1[i]&& moji_2[i]が０（偽）になって抜けられるようにするためだったんですね。
ちなみにmoji_1[i]&& moji_2[i]は片方だけでよかったみたいです。
ご回答ありがとうございました。

[LouiS0616]

> ちなみにmoji_1[i]&& moji_2[i]は片方だけでよかったみたいです。
そうですね。
moji_1[i]とmoji_2[i]が等しくないときは弾かれるので、ヌル判定は片方だけすればいいですね。

[Dusty]

wert

[LouiS0616]

？？？誤爆ですかね。