C语言中用realloc扩展结构体数组栈的指针疑问

1. 为什么要传stack_t **s而非stack_t *s？ #

C语言的函数参数是值传递——你传入的指针会被复制一份，函数里操作的只是这个副本。如果你的栈是用动态数组实现的，当realloc扩容时，它可能会返回一块全新的内存地址。这时候如果只传一级指针stack_t *s：

• 函数里修改的只是副本指针s，外部的原指针根本不会更新，仍然指向旧的内存块（这块内存可能已经被realloc回收），直接导致野指针、内存泄漏或者数据丢失。
• 只有传入二级指针stack_t **s，才能让函数直接修改外部的指针变量本身，把realloc返回的新地址赋值给*s，让外部代码能正确指向扩容后的内存。

举个直观的例子：

// 外部代码
stack_t *my_stack = malloc(sizeof(stack_t) * 4);

// 错误的一级指针版本：修改的是副本，外部指针无变化
void wrong_push(stack_t *s, int val) {
    s = realloc(s, sizeof(stack_t) * 8);
}

// 正确的二级指针版本：直接修改外部的栈指针
void right_push(stack_t **s, int val) {
    *s = realloc(*s, sizeof(stack_t) * 8);
}

2. 为什么realloc要配合这个二级指针使用？ #

realloc的核心逻辑是：

1. 接收原内存指针，尝试在原地址扩容（如果有足够连续空间）。
2. 如果原地址空间不足，会分配一块新内存，拷贝旧数据后释放旧内存，返回新地址。

因为我们需要让外部的栈指针同步指向新内存，所以必须通过二级指针*s来接收realloc的返回值。如果只传一级指针，就算函数内调用了realloc，外部指针不会更新，旧内存会变成无法访问的泄漏块，新内存的地址也无法被外部使用。

3. 为什么必须写(*s)[*l]而不能写*s[*l]？ #

这是运算符优先级导致的差异：[]的优先级比*更高。

• *s[*l]等价于*(s[*l])：先把s当成指针数组，取第*l个元素（类型是stack_t *），再解引用得到stack_t类型——这完全不是我们要的栈数组元素，逻辑错误。
• (*s)[*l]是先解引用二级指针s，得到stack_t *类型的栈数组首地址，再用[]访问数组的第*l个元素——这才是正确的栈元素操作方式。

比如，假设s是&my_stack（my_stack是stack_t *类型的栈指针）：

• *s就是my_stack（栈数组的首地址）
• (*s)[*l]就是my_stack[*l]，也就是栈数组的第*l个元素，符合我们的需求。

内容的提问来源于stack exchange，提问作者Michał Jagodzinski