c语言字符串初始化没有0,C 语言里为什么这样初始化字符串是错误的？

C 语言里的字符串实际上就是 char 组成的数组，所以

#include

int main(void) {

char str[4] = "abc";

for (size_t i = 0; i < 3; i++) {

printf("%c\n", str[i]);

}

return 0;

}

是可行的，正常输出没啥问题。

因为双引号""括起来的字符串实际上返回的是这个字符串第一个字符的地址，所以

#include

int main(void) {

char *str;

str = "abc"; // 把这个字符串的首地址赋给 str

for (size_t i = 0; i < 3; i++) {

printf("%c\n", str[i]);

}

return 0;

}

也是可行的。

但是为什么：

#include

int main(void) {

char str[4];

str = "abc";

for (size_t i = 0; i < 3; i++) {

printf("%c\n", str[i]);

}

return 0;

}

就不行了呢？在我的电脑上报错：

error: array type 'char [4]' is not assignable

str = "abc";

照常理来说，声明了 char str[4]，那么 str 就代表了这个 char 数组的首地址。

而按照上面第二个例子，"abc" 返回的就是这个 char 数组的首地址，感觉这个是跟上面的第二个例子是没有区别的啊，应该可以正常赋值的啊，

为什么就不行了呢？求一个合理的解释。