结构体嵌套动态内存分配问题：realloc与malloc顺序引发值异常

核心问题出在你调用realloc时没有接收它的返回值，导致原指针变成悬空指针，进而引发未定义行为。

拆解两种场景的内存变化 #

假设你的结构体定义大致如下：

typedef struct {
    int a1;
    // 其他成员
} string2;

typedef struct {
    string2* str; // 内层结构体指针
    // 其他成员
} string1;

Case1：先malloc内层，再realloc外层

1. 初始状态：用malloc给外层指针s1分配内存块A，s1指向A。
2. 给内层指针s1->str分配内存块B，并给B中的a1赋值。
3. 调用realloc(s1, new_size)时，若原内存块A后无足够连续空间，realloc会：
   • 在新地址分配更大的内存块C
   • 把A的所有内容（包括s1->str指向B的指针值）复制到C
   • 释放原内存块A
4. 由于你没把realloc返回的新地址（指向C）赋值回s1，s1仍指向已被释放的A——这就是悬空指针。
5. 访问s1->str[0].a1时，本质是读取已被操作系统回收的内存块A中的值，这块内存可能已被其他操作覆盖，因此出现垃圾值。

Case2：先realloc外层，再malloc内层

1. 先调用realloc并正确接收返回值（你大概率这么做了，否则也会出问题），此时s1指向新内存块C。
2. 再给s1->str分配内存块B，此时s1是合法有效指针，指向的内存C未被释放，后续访问a1自然正常。

关键提醒 #

realloc的返回值绝对不能忽略：

• 成功时返回新内存地址（可能与原地址相同，也可能不同）
• 失败时返回NULL，原内存块不会被释放
  正确写法示例：

string1* temp = realloc(s1, new_size);
if (temp == NULL) {
    // 处理分配失败，原s1仍有效
    perror("realloc failed");
    return;
}
s1 = temp; // 必须更新指针到新地址

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