取消分隔指针并为其赋值[重复]

我对这种行为很困惑:

int main(void) {
    char *test_string = "test_string";
    *test_string = 'a'; //segfaults
    return 0;
}

DEMO

int main(void) {
    char test_string[] = "test_string";
    *test_string = 'a'; //OK
    return 0;
}

DEMO

我原以为从那以后也会这样 N1570, Section 6.3.2.1(p3) 声明如下:

除非它是 sizeof 运算符 _Alignof 操作员,或 unary & 运算符,或是用于 初始化数组,类型为___数组的表达式为 转换为具有类型___指针的表达式,指向类型__ 数组对象的初始元素,不是左值。

为什么第一个SegFault?