C语言如何在循环中不使用malloc初始化新字符串及结构体

原代码问题根源 #

最初的代码出现全输出'9'的核心原因不是栈分配本身的问题，是存在未定义行为：

• 循环内定义的char str[10]是块级局部变量，生命周期仅在当前次循环的大括号范围内，迭代结束后该内存就会被回收复用
• 代码把指向这块即将回收内存的指针存入了strs数组，后续访问这些指针时，编译器恰好给每次迭代的str分配了同一个栈地址，最终所有指针都指向最后一次写入的'9'

额外注意：参考的malloc版本也有隐藏bug，malloc分配的内存内容是随机值，直接调用strncat会从随机位置找字符串终止符\0，大概率出现内存越界，使用前需要先给首字节赋值\0或者用memset清零

不使用malloc的字符串实现方案 #

最直接的方案是提前在栈上预分配二维字符数组，给每个要存储的字符串预留独立的栈空间，直接操作数组对应下标的内存即可，不存在指针悬空问题：

#include <stdio.h>
#include <string.h>

int main(void) {
  // 栈上分配10个长度为10的字符数组，每个下标对应独立内存块
  char strs[10][10];
  for (int i = 0; i < 10; i++) {
    // 先清零内存，保证字符串起始为空
    memset(strs[i], 0, sizeof(strs[i]));
    char c = '0' + i;
    strncat(strs[i], &c, 1);
  }
  for (int i = 0; i < 10; i++) {
    printf("%s\n", strs[i]);
  }
  return 0;
}

这个方案的限制：

• 内存生命周期绑定定义它的函数，函数返回后内存自动回收，不能把这些字符串的指针传递到函数外长期使用
• 栈空间容量通常只有几MB，如果需要存储的字符串数量多、单字符串长度大，容易触发栈溢出，这种场景还是需要用malloc分配堆内存

不使用malloc的循环内结构体实例化 #

逻辑和字符串完全一致，不需要存局部变量的指针，直接提前在栈上定义结构体数组，循环内直接操作数组对应下标的元素即可：

#include <stdio.h>
#include <string.h>

// 示例结构体定义
typedef struct {
  int id;
  char label[10];
} DemoStruct;

int main(void) {
  // 栈上预分配10个DemoStruct实例的连续空间
  DemoStruct items[10];
  for (int i = 0; i < 10; i++) {
    items[i].id = i;
    // 初始化字符串字段
    memset(items[i].label, 0, sizeof(items[i].label));
    char c = '0' + i;
    strncat(items[i].label, &c, 1);
  }
  // 遍历使用
  for (int i = 0; i < 10; i++) {
    printf("id:%d, label:%s\n", items[i].id, items[i].label);
  }
  return 0;
}

如果只是在循环内部临时使用结构体，不需要把结构体带出循环块，那直接在循环内定义局部结构体变量完全合法，不会有问题，只要不把它的地址存到块外即可。

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