求助数组相关

本人写了一个不用字符串函数的复制字符数组的一段代码，有人知道为什么会重复赋值吗？还有为什么可以越界
代码如下
#include <stdio.h>
int main()
{
int i=0;
char str1[]="abcd";
char str2[4];
for (;str1[i] != '\0';i++)
{
str2[i]=str1[i];
}
printf("%s\n%s",str1,str2);
return 0;
}
运行结果如下