C语言二级指针与realloc使用：是否需分别为指针和指向内存分配空间？

1. 动态字符串数组的分配方式是否常规 #

你描述的「先为二级指针分配空间存储指针数组，再为每个指针单独分配指向的字符串内存」是C语言实现动态字符串数组的标准常规写法，绝大多数开源项目里的动态字符串数组都是按这个逻辑实现的，没有问题。

2. 下标写法和指针偏移写法的等价性 #

完全等价。C语言的数组下标语法本身就是指针偏移解引用的语法糖，标准明确规定 a[i] 和 *(a + i) 是完全等价的表达式，和指针的层级无关，所以你提到的两组写法功能完全一致。

3. 现有代码的问题 #

你当前的代码功能可以正常运行，但存在3个可优化点：

• realloc 直接赋值给原指针的写法有内存泄漏风险：如果 realloc 分配失败会返回NULL，此时原m指向的内存地址会被覆盖丢失，既无法继续使用也无法释放，造成内存泄漏。正确的写法是用临时指针承接返回值，校验非空后再赋值给m：

  char **tmp = realloc(m, sizeof(char *) * i);
  if (tmp == NULL) {
      // 错误处理逻辑，比如释放已有资源后退出
      perror("realloc failed");
      free(m[0]);
      free(m);
      exit(1);
  }
  m = tmp;
  

• 缺少内存分配结果校验：malloc、realloc都可能因为堆内存不足返回空指针，你当前的代码没有校验就直接访问，会存在空指针解引用崩溃的风险。
• 补充清理逻辑的话，需要先逐个释放每个m[i]指向的字符串内存，再释放m本身指向的指针数组内存，避免内存泄漏：

  free(m[0]);
  free(m[1]);
  free(m);
  

4. realloc不会触发栈溢出的原因 #

malloc、realloc分配的内存都位于堆区，只有函数调用上下文、局部变量等存储在栈区，栈溢出是栈空间使用超出上限才会触发的错误。你这里的m本身是存储在栈上的局部指针变量，仅占8字节（64位系统下），它指向的动态内存全部在堆区操作，自然不会触发栈溢出。

5. realloc的工作逻辑 #

realloc用于调整已分配动态内存块的大小，运行逻辑如下：

• 若传入的原指针为NULL，等价于调用malloc分配指定大小的内存
• 若新申请的大小小于原内存块大小：直接截断原内存块，将多余部分归还堆管理器，返回原指针
• 若新申请的大小大于原内存块大小：
  1. 先检查原内存块后方是否有足够的连续空闲空间，若有则直接扩展原块，返回原指针
  2. 若后方没有足够空间，就在堆区找一块足够大的新空闲内存，将原内存块的全部数据拷贝到新内存，自动释放原内存块，返回新内存的首地址
• 若内存分配失败，返回NULL，原内存块不会被释放，保持原有状态可用。

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