字符串比较时堆栈粉碎？ [复制]

Question

我正在编写一个基本的qsort 来对字符串数组进行排序。到目前为止我所拥有的是：

int scmp(const void *p1, const void *p2)
{
    const char* s1 = p1;
    const char* s2 = p2;
    // ...
}

int main(void)
{
    char* strings[] = {"Onus", "deacon", "Alex", "zebra"};
    qsort(strings, sizeof(strings), sizeof(*strings), scmp);
}

请注意，sizeof(strings) 上面给了我 32（4 个指针），而我想要的是 sizeof(strings)/sizeof(*strings)。这解决了这个问题，但我很好奇“堆栈粉碎”是什么意思以及它是如何发生的？

Answer 1

strings 指针数组在堆栈上分配。有了你的错误，你“撒谎”到 qsort 并告诉它有 32 个 char* 需要排序，而不是 4 个。所以它在分配的数组之外运行并访问你无权访问的内存。

然后可能发生的是未定义的行为。访问无效存储可能会出现“段错误”（SIGSEGV）或“访问冲突”。你可以默默地破坏堆栈数据，导致非常奇怪的错误。在这种情况下，您会遇到“堆栈粉碎”，这仅意味着检测到堆栈损坏。当您覆盖“堆栈金丝雀”时会发生这种情况¹⁾，这是在堆栈上设置的一个固定值，主要用于警告堆栈溢出。

---

¹⁾ 以煤矿中使用的金丝雀鸟的类比命名 - 如果一氧化碳中毒，金丝雀会首先昏倒，因此矿工会注意到并使其安全。