指向局部变量的外部空指针是否安全？

Question

我有一个如下所示的结构

struct foo {
  void * elem;
};

我想在这个结构中管理elem的空闲()，但是我不知道它的类型，所以我正在制作一个void *来管理所有的数据类型。将指向局部变量的指针分配给foo.elem安全吗？

例如，这些方法安全吗？

// Method 1
struct foo * get_foo() {
  int a = 10;
  struct foo x = malloc(sizeof(struct foo));
  x.elem = &a;
  return x;
}

// Method 2
void get_foo(struct foo x) {
  int a = 10;
  x.elem = &a;
}

Answer 1

不管您的代码示例作为您所询问的内容的示例的有效性(这两个示例都没有正确地说明问题)，在该变量的生命周期之外保留指向变量的指针从来都不是有效或安全的。

删除这样的指针是未定义的行为，原则上任何事情都可能发生。实际上，该变量的内存可以重用，如果您通过指针读取它，它可能不再包含相同的值，如果您写入它，您可能正在修改一些无关的数据对象或破坏调用堆栈--在这两种情况下，行为都是不确定的；对于未定义的行为来说，这一点也没有多大用处。

请注意，这是一个寿命问题，而不是范围问题。指向本地static的指针是有效的。

Answer 2

第一个不编译。这是不安全的代码，因为它根本不是代码。

第二个只是无用地修改局部变量x。它是安全的，因为它实际上什么都不做，而不做任何事情也没有本质上的害处。