아래의 코드는 문자열에서 문자열을 검색하는 기능을 하는 함수입니다. 코드를 분석하는 도중에 이해가 안되는 부분이 있어서 질문 드립니다.

아래 두개의 코드를 중에 첫번째는 정상 작동을 하는데 두번쨰 코드는 정상 작동 하지 않습니다.

1.<정상작동하는 코드>

#include <stdio.h>
char* my_strstr(char* str1, char* str2);
int main() {
    char str1[] = "iamaboyansdyour a girl";
    char str2[] = "boy";

    printf("%s\n", my_strstr(str1, str2) ? "두문자열은 서로를 포함한다" : "두문자열은 서로를 포함하지 않는다");

    return 0;
}
char* my_strstr(char* str1, char* str2) {

    char* s, * p;

    for (; *str1; str1++) {
        for (s = str1, p = str2; *s && *p && *s == *p; s++, p++) { ; }
            if (*p == 0) { return (char*)str1; }

    }
    return NULL;
}

1. <정상작동 안하는 코드>

#include <stdio.h>
char* my_strstr(char* str1, char* str2);
int main() {
    char str1[] = "iamaboyansdyour a girl";
    char str2[] = "boy";

    printf("%s\n", my_strstr(str1, str2) ? "두문자열은 서로를 포함한다" : "두문자열은 서로를 포함하지 않는다");

    return 0;
}
char* my_strstr(char* str1, char* str2) {

    char* s, * p;

    for (; *str1; str1++) {
        for (s = str1, p = str2; *s && *p && *s == *p; s++, p++) {
            if (*p == 0) { return (char*)str1; }
        }
    }
    return NULL;
}

제가 궁굼한 부분은 사용자 정의 함수에서 두번째 포문의 블록 입니다.

for (s = str1, p = str2; *s && *p && *s == *p; s++, p++) { ; }
            if (*p == 0) { return (char*)str1; }

for (; *str1; str1++) {
        for (s = str1, p = str2; *s && *p && *s == *p; s++, p++) {
            if (*p == 0) { return (char*)str1; }
        }

위의 두 코드는 두번쨰 포문에서 블록의 범위가 달라지면 값도 달리지게 되던데 저는 두 코드의 차이점을 모르겠습니다. 그 이유는 두 코드 둘다 *p가 널을 만나게 되므로 (0) 그때의 주소값(str1)을 리턴하게 되는것으로 이해하고 있는데 실제로 작동해보면 첫번째 코드만 *p가 널을 만나 str1을 리턴하는 것으로 나옵니다.

제가 이해한 것을 좀더 설명해 보자면 첫번째 코드는 첫번째 포문을 평가 후 두번째 포문을 평가하게 되는데 두번째 포문을 완전히 평가 하고나서 마지막에 이프문을 평가하게 되고 두번째 코드는 첫번째 포문을 평가후 두번째 코드를 평가하면서 이프문을 같이 평가하게 되고 결국 두 코드는 *p가 널을 만났을때 리턴을 알아보는 것이므로 두번쨰 포문이 종료 후에 이프문을 평가하는거나 둘을 같이 평가하던 *p가 널을 만나게만 된다면 결국은 같은 의미의 코드로 보여지는데 아닌 이유가 궁금합니다.....

너무 졸려서 말도 이상한 것 같습니다 ㅠ 조금 더 자고와서 다시 연구해봐야 할듯 하네요 제가 이해한게 틀리다면 피드백 해주시면 감사하겠습니다