C语言字符数组与指针赋值差异原因及字符串追加高效方法咨询

第一个问题：两段代码差异原因分析 #

1. 第二段代码执行失败的原因 #

在char *Str = "S";中，"S"是字符串字面量，会被编译器存储到程序的只读数据段（.rodata）中。指针Str指向的是这块只读内存的起始地址，当执行Str[0] = 'T';时，本质是试图修改只读区域的内容，这会触发操作系统的内存保护机制，直接抛出Segmentation fault（段错误）。

而第一段代码char Str[2] = "S";是将字符串字面量"S"的内容（包括末尾的隐式\0）复制到栈上的字符数组中，栈内存属于可写区域，因此修改数组元素是合法操作，不会触发错误。

2. char Str[2] = "S"不会退化为char *Str = "S"，两段代码完全不等价 #

两者本质区别极大：

• char Str[2] = "S"：定义了一个长度为2的字符数组，程序会在栈上分配2字节的连续内存，然后把"S"的内容复制到这块内存里。数组名Str在多数场景下会隐式转换为指向数组首元素的指针，但它本身是数组类型，不是指针变量。
• char *Str = "S"：定义了一个字符指针变量Str，它存储的是字符串字面量"S"在只读数据段中的起始地址，指针本身只是一个存储地址的变量，和数组没有任何等价关系。

3. 编译器未检测出错误的原因 #

早期C标准（C89）中并未将字符串字面量定义为const char[]类型，而是char[]类型，因此char *Str = "S"属于合法的隐式类型转换。为兼容旧代码，现代编译器默认不会将这种写法标记为错误，仅在开启特定警告（比如GCC的-Wwrite-strings选项）时给出提示，提醒你试图通过非const指针修改只读字符串的风险。

第二个问题：向字符数组添加多个单个字符的最高效方法 #

核心是避免不必要的内存遍历和函数调用开销，具体方法如下：

• 直接操作数组下标：如果已知字符数组的当前有效长度（不含末尾\0），直接通过下标赋值并更新长度。示例：

  char buf[100] = "hello";
  int len = strlen(buf);
  // 逐个添加字符
  buf[len++] = ' ';
  buf[len++] = 'w';
  buf[len++] = 'o';
  buf[len++] = 'r';
  buf[len++] = 'l';
  buf[len++] = 'd';
  buf[len] = '\0'; // 手动补结束符
  

  这种方式无函数调用开销，直接操作内存，效率最高。
• 批量复制（字符连续时）：如果要添加的字符是连续序列，用memcpy直接复制到目标数组对应位置，避免逐个赋值：

  char add_chars[] = " world";
  memcpy(buf + len, add_chars, strlen(add_chars));
  len += strlen(add_chars);
  buf[len] = '\0';
  

• 提前预分配足够空间：如果是动态扩展字符数组，提前预估总需求，一次性分配足够内存，避免频繁调用realloc（每次realloc可能涉及内存拷贝，开销较大）。
• 禁止用strcat逐个加单字符：strcat每次都会遍历字符串找\0，循环调用多次会导致O(n²)的时间复杂度，效率极低。

内容的提问来源于stack exchange，提问作者Tom