C语言中字符串操作的核心挑战在于手动内存管理。以下从关键问题出发，结合内存原理和函数特性，系统化拆解避坑策略。

---

一、strcat崩溃的根源与解决方案

崩溃原因：

1. 目标内存不可修改

   char *s1 = "Hello, ";  // 字符串常量 → 只读内存
   strcat(s1, "world!");   // 试图修改只读区 → 段错误
   

   • 字符串常量存储在只读区（如.rodata段），任何修改触发硬件权限检查。
   • 文档1.13节：字符串常量初始化指针时，转化为静态只读数组。

2. 目标内存空间不足

   char s1[10] = "Hello, ";  // 占用7字节（含'\0'）
   strcat(s1, "world!");     // 需13字节 > 10字节 → 缓冲区溢出
   

   • strcat不检查目标空间（文档7.3节），直接覆盖末尾'\0'并追加内容。

正确用法：

// 方法1：静态数组（提前分配足够空间）
char s1[20] = "Hello, ";  // 分配20字节（≥13字节）
strcat(s1, "world!");     // 安全追加

// 方法2：动态内存（精确计算空间）
char *s1 = malloc(strlen("Hello, ") + strlen("world!") + 1);  // +1存放'\0'
strcpy(s1, "Hello, ");
strcat(s1, "world!"); 
free(s1);  // 必须释放

关键原则：

• 目标内存必须可修改（栈/堆内存，非只读区）。
• 目标空间需满足：$ \text{strlen}(s1) + \text{strlen}(s2) + 1 $ 字节（含终止符'\0'）。

---

二、字符串常量 vs. 字符数组：可修改性本质

内存布局对比：

初始化方式	内存位置	可修改性
char a[] = "abc";	栈/数据段	✅ 可修改
char *p = "abc";	只读数据段	❌ 不可修改

代码验证：

// 字符数组：可修改
char a[] = "abc";
a[0] = 'A';  // 正确 → "Abc"

// 字符串常量指针：不可修改
char *p = "abc";
p[0] = 'A';  // 崩溃！段错误

避坑技巧：

• 使用const声明字符串常量指针，编译器提前报错：

  const char *p = "abc";  // 明确只读属性
  p[0] = 'A';             // 编译错误：assignment of read-only location
  

  文档11.9节：const char *是防御性编程的关键。

---

三、高危函数替代方案

1. strcpy → 用strncpy防止溢出

char dest[10];
char *src = "1234567890abc";
strncpy(dest, src, sizeof(dest) - 1);  // 最多复制9字节
dest[sizeof(dest) - 1] = '\0';         // 手动补终止符（必须！）

• strncpy不保证补'\0'（文档13.2节），需手动处理。

2. gets → 绝对弃用，用fgets替代

char buf[10];
fgets(buf, sizeof(buf), stdin);  // 安全读取，最多9字符+'\0'
// 移除可能的换行符
char *pos = strchr(buf, '\n');
if (pos) *pos = '\0'; 

• 文档7.1节：gets因无法限制输入长度被C11标准移除。

3. sprintf → 用snprintf避免溢出

char buf[20];
snprintf(buf, sizeof(buf), "Value: %d", 12345);  // 自动截断至19字符+'\0'

• snprintf返回值是格式化后长度，可检测截断：

  int len = snprintf(buf, sizeof(buf), ...);
  if (len >= sizeof(buf)) { /* 处理截断 */ }
  

---

四、避坑核心原则

1. 内存三验：

   • 目标内存可修改（非只读常量）。
   • 目标空间足够大（$ \text{源长度} + \text{目标原长度} + 1 $）。
   • 动态内存必释放（malloc与free配对）。

2. 函数安全替代：

   危险函数	安全替代	关键参数
   strcpy	strncpy	最大复制长度
   gets	fgets	缓冲区大小
   sprintf	snprintf	最大输出长度

3. 终止符保障：

   • strncpy、手动拼接等操作后，显式补充'\0'。

终极口诀：

• 空间算清再操作，只读常量勿修改。
• 弃用高危函数族，手动添零防越界。

---

总结：C字符串的本质是内存管理问题。理解内存布局（栈/堆/只读区）、函数行为（如strcat不检查空间）和终止符逻辑，是规避崩溃的核心。遵循“分配-验证-释放”流程，可彻底解决90%的字符串陷阱。