意外行为，字符串后打印垃圾

Question

I was just trying to animate some strings before terminating the application. I called attached piece of code to do so. but it keeps on printing garbage till core dumped.

Here is that code..

int terminate_msg(int quit_flag)
{
    char server_msg[] = "\nApplication Not Alive";
    char exit_msg[] = "\nTerminating Application...\n";
    char *ch;
    int i = 0;

    if(quit_flag == 1) {
        printf("%s%s", server_msg, exit_msg);
        while((ch = server_msg + i) != NULL) {
            printf("%c",*ch);
            fflush(stdout);
            usleep(100000);
            i++;
        }
        i = 0;
        sleep(2);
        while((ch = exit_msg + i) != NULL) {
            printf("%c",*ch);
            fflush(stdout);
            usleep(100000);
            i++;
        }
        sleep(2);
    }   
    return 0;
}

Output:

Application Not Alive
Terminating Application...

Application Not Alive
Terminating Application...
���І�JS�dX��lX���p�dX��X��$���P
l�UZ��D~�]P�up��IS�@q�P�q�M�dX��І@��!p�\X��^C

Though first printf() prints correctly, don't know why garbage prints are coming at the end. If there is any problem, garbage should come after first while loop also.

Note that, when comparing *ch != '\\0' , everything is working fine.

What is wrong with this piece of code? I'm using gcc in linux environment.

Answer 1

This condition is wrong

while((ch = server_msg + i) != NULL)

you should try this

char ch;

while ((ch = server_msg[i]) != '\0')
    printf("%c", ch);

the condition is testing if the pointer is NULL , which very likely isn't going to happen, what you must test is if the '\\0' terminating byte was reached, for that you need to dereference the pointer.

Since NULL is basically (void *) 0 in c, and if server_msg is a valid pointer it's value is certainly > 0 , then the value of (void *) 0 is unreachable by just incrementing the pointer, so the loop never ends and your program continues to access the pointer after it's passed the valid memory it points to.

Of course, the same problem happens here

while((ch = exit_msg + i) != NULL) {

Answer 2

In your case, inside a loop, with anincrementing value of i ( i++; )

 server_msg + i

points to the next memory location to server_msg in every iteration. The problem here is, there is no guarantee, that the immediate next address (after the string termination) will be NULL . It can very well be a valid memory area (have most probability for being so) to pass a NULL check.

So, your loop will not break (as you've expected), it will continue execution and (try to) access out-of-bound memory area, which in turn invokes undefined behaviour . So, the output and the behaviour is also, undefined.

Rather , you should reply on the *ch value as \\0 for judging the string termination.