c语言char数组指针,C中char数组与char指针的区别是什么？

冉冉说

C中char数组与char指针的区别是什么？C99 N 1256草稿字符串文字有两种不同的用法：初始化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]，您也可以修改__unnamed，即UB。这在6.4.5“字符串文字”中有记录：5在翻译阶段7，由字符串字面或文字产生的每一个多字节字符序列都附加一个字节或值为零的代码。然后使用多字节字符序列初始化一个静态存储时间和长度的数组，该数组仅足以包含该序列。对于字符串文本，数组元素具有char类型，并使用多字节字符序列[.]的各个字节初始化。6如果这些数组的元素具有适当的值，则这些数组是否是不同的。如果程序试图修改这样的数组，则行为是未定义的。无名焦炭阵列C和C+中字符串的类型是什么？带静态存储器如果修改了UB，就会得到UB。6.7.8/32“初始化”提供了一个直接的例子：示例8：声明char s[] = "abc", t[3] = "abc";定义“普通”字符数组对象s和t其元素用字符串文本初始化。此声明与char s[] = { 'a', 'b', 'c', '\0' },t[] = { 'a', 'b', 'c' };数组的内容是可修改的。另一方面，声明char *p = "abc";定义p使用类型“指针到字符”并将其初始化为指向具有长度为4的“char数组”类型的对象，该对象的元素由字符串文本初始化。如果有人试图使用p若要修改数组的内容，行为是未定义的。GCC 4.8 x86-64 ELF执行情况节目：#include 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.如果我们做同样的事char[]: char s[] = "abc";我们获得：17:   c7 45 f0 61 62 63 00    movl   $0x636261,-0x10(%rbp)所以它被存储在堆栈中(相对于%rbp).但是，请注意，默认链接器脚本将.rodata和.text在同一段中，该段具有执行权限，但没有写权限。可以从以下方面观察到这一点：readelf -l a.out其中包括： Section to Segment mapping:

  Segment Sections...

   02     .text .rodata