c - 为什么数组边界索引也可以使用？

Question

char str2[13];
str2[13] = '\0';

看上面的例子，str2的最大合法索引是12，但是在这个例子中13，str2[13]也可以工作。这是代码片段:

#include<stdio.h>
int main(){
    char *str1 = "we are happy!";
    char str2[13];
    str2[13] = '\0';
    printf("Before: %s\n", str2);
    char *p = str2;
    while( *str1!='\0' )
        *p++ = *str1++;
    printf("After: %s\n", str2);
}

如何？谁能解释一下？

Answer 1

越界访问索引会调用未定义的行为。这意味着它可以做任何事情，包括使您的程序崩溃或不使您的程序崩溃。也有可能上面的代码有时会崩溃而其他时候可以工作。这就是为什么它被称为未定义的行为。 您有责任永远不调用未定义的行为。