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

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

#include <stdio.h>

int main(void) {
  char str[4] = "abc";

  for (size_t i = 0; i < 3; i++) {
    printf("%c\n", str[i]);
  }

  return 0;
}
是可行的，正常输出没啥问题。

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

#include <stdio.h>

int main(void) {
  char *str;
  str = "abc"; // 把这个字符串的首地址赋给 str
  for (size_t i = 0; i < 3; i++) {
    printf("%c\n", str[i]);
  }

  return 0;
}
也是可行的。

但是为什么：

#include <stdio.h>

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 数组的首地址，感觉这个是跟上面的第二个例子是没有区别的啊，应该可以正常赋值的啊，
为什么就不行了呢？求一个合理的解释。