C++ 如何在不修改字符串缓冲区早期使用的情况下覆盖字符串缓冲区

感谢对我问题的 comments ，我现在明白了这个问题.

我遇到的错误是"stack use after scope"错误.当分配内存的作用域结束后使用指向堆栈中内存的指针时，会发生此错误.

在下面的代码中，我在for循环中创建了一个缓冲区char id[8]，赋予它块内的本地作用域.这意味着id不仅在每次迭代结束时超出范围(大多数程序员从其他编程语言中识别出这一点)，而且至关重要的是，底层内存本身也被标记为可用.

for (int i = 0; i < 5; i++)
{
    char id[8];
    snprintf(id, 8, "entry-%d", i);
    struct Entry *e = new_entry(id);
    bucket_add(b, e);
}

在我的for循环的每次迭代中，都会从堆栈请求一个新的8个字节，并将其分配给一个本地范围为id的新变量.我的编译器重复使用了堆栈上刚刚从上一次迭代中可用的8个字节，因此id在堆栈上被赋予与上一次迭代相同的内存地址.This is implementation specific though, it may not always work this way.

作为范围界定的正常规则，这本身是可以预见的.出现错误是因为我将指针指向堆栈内存id并将此pointer复制到此处的堆内存中:

struct Entry *new_entry(char *id)
{
    struct Entry *e = (struct Entry *)malloc(sizeof(struct Entry));
    e->id = id;
    return e;
}

编译器对于堆中指向堆栈上内存的指针没有任何问题.但当堆上的这个指针用于访问堆栈after it goes out of scope and becomes available for reuse中的存储器时，它就变成了错误.这是undefined behaviour，这意味着我们面临内存损坏或指向意外内存的风险.

因此，当我访问声明该数据的本地范围之外的数据时:

printf("Entry 0 id: %s.\n", b->_entries[0]->id);
printf("Entry 1 id: %s.\n", b->_entries[1]->id);

输出:

Entry 0 id: entry-4.
Entry 1 id: entry-4.

未定义的行为表现为我的桶中的每个条目都有一个指向相同内存位置的id指针，因此具有相同的值.指针使用得越晚，情况就会变得更糟，因为该内存很快就会再次被重写.

通过确保当指针需要超过其作用域时，它指向的基础内存 *also超过其作用域来解决这个问题.在我的情况下，这意味着我需要将id指向的字符串复制到堆内存中并保存新的堆地址.

我 Select 使用strdup函数来执行此操作:

#include <string.h>

struct Entry *new_entry(char *id)
{
    struct Entry *e = (struct Entry *)malloc(sizeof(struct Entry));
    e->id = strdup(id);
    return e;
}

输出显示错误已解决:

Entry 0 id: entry-0.
Entry 1 id: entry-1.