C99 N1256草案
字符串文字有两种不同的用法：
初始化char[]：
char c[] = "abc";
这是“更多的魔术”，在6.7.8 / 14“初始化”中进行了描述：
字符类型数组可以由字符串文字初始化，并可选地用大括号括起来。字符串文字的连续字符（如果有空间或数组大小未知，则包括终止空字符）将初始化数组的元素。
因此，这只是以下方面的捷径：
char c[] = {'a', 'b', 'c', '\0'};
像任何其他常规数组一样，c可以进行修改。
其他任何地方：都会产生：
所以当你写：
char *c = "abc";
这类似于：
/* __unnamed is magic because modifying it gives UB. */
static char __unnamed[] = "abc";
char *c = __unnamed;
请注意，从char[]到的隐式强制转换char *始终是合法的。
然后，如果您修改c[0]，那么您还修改了__unnamedUB。
在6.4.5“字符串文字”中有记录：
5在转换阶段7中，一个或多个字符串文字产生的每个多字节字符序列将附加一个零值的字节或代码。然后，多字节字符序列用于初始化一个足以包含该序列的静态存储持续时间和长度数组。对于字符串文字，数组元素的类型为char，并使用多字节字符序列的各个字节进行初始化[...]
6如果这些数组的元素具有适当的值，则不确定这些数组是否不同。如果程序尝试修改这样的数组，则行为是不确定的。
6.7.8 / 32“初始化”给出了一个直接的示例：
例8：声明
char s[] = "abc", t[3] = "abc";
定义“普通” char数组对象s，t其元素用字符串文字初始化。
此声明与
char s[] = { 'a', 'b', 'c', '\0' },
t[] = { 'a', 'b', 'c' };
数组的内容是可修改的。另一方面，声明
char *p = "abc";
定义p类型为“ char的指针”并将其初始化为长度为4的“ char数组”类型的对象，该对象的元素使用字符串文字进行初始化。如果试图使用它p来修改数组的内容，则该行为是不确定的。
GCC 4.8 x86-64 ELF实施
程序：
#include <stdio.h>
int main(void) {
char *s = "abc";
printf("%s\n", s);
return 0;
}
编译和反编译：
gcc -ggdb -std=c99 -c main.c
objdump -Sr main.o
输出包含：
char *s = "abc";
8: 48 c7 45 f8 00 00 00 movq $0x0,-0x8(%rbp)
f: 00
c: R_X86_64_32S .rodata
结论：GCC将char*其存储在.rodata部分中，而不是在中.text。
但是请注意，默认的链接程序脚本将.rodata和.text放在同一段中，该段具有执行但没有写权限。这可以通过以下方式观察到：
readelf -l a.out
其中包含：
Section to Segment mapping:
Segment Sections...
02 .text .rodata
如果我们这样做char[]：
char s[] = "abc";
我们获得：
17: c7 45 f0 61 62 63 00 movl $0x636261,-0x10(%rbp)
因此它存储在堆栈中（相对于%rbp）。