Object 离开 function 后仍然可以到达

Question

#include <stdio.h>

typedef struct node {
  int val;
} node;

node *copy(node *x) {
  node *tmp = &((node){.val = 10});                                             
  return tmp;
}

int main() {
  // node *a = &((node){.val = 9});
  node *a = 0;
  a = copy(a);
  printf("%d\n", a->val);
  return 0;
}

据我所知，离开 function 后，function 堆栈中的每个 object 都将无法访问。 然而，事实并非如此。

我使用 GDB 检查 object 在哪里。

(gdb) b 9
(gdb) b 16
(gdb) r
(gdb) p $rsp
$8 = (void *) 0x7fffffffdcc0
(gdb) p $rbp
$9 = (void *) 0x7fffffffdcf0
(gdb) p tmp
$7 = (node *) 0x7fffffffdcdc
(gdb) c

(gdb) p $rsp
$10 = (void *) 0x7fffffffdd00
(gdb) p $rbp
$11 = (void *) 0x7fffffffdd10
(gdb) p a
$12 = (node *) 0x7fffffffdcdc

您可以看到变量 'a' 指向0x7fffffffdcdc ，它不在 $rsp 和 $rbp 之间。 最后程序打印“10”，没有任何错误信息。 我不明白为什么它可以工作。

Answer 1

当 object 超出 scope 时，您无法再通过其符号名称访问它。

如果您将指针（内存地址）指向 object 并按原样返回，则该指针指的是 memory曾经存在的 object 。 当 object 超出 scope 时，memory 内容没有发生任何特别变化 - 它只是可用于其他目的。 所以如果那个memory还没有被重用，那么object占用的memory没有变化就不足为奇了。

您正在查看 object 的幽灵。 它不会存活很长时间。 例如，如果你这样做：

  printf("%d\n", a->val);
  printf("%d\n", a->val);

您很可能会发现在第二次printf()调用时它已被修改，因为printf()调用已经使用了先前由tmp在副本中占用的堆栈空间。

严格来说，这是未定义的行为，任何事情都可能发生。 在实践中，我所描述的是“典型的”——如果你发生了不同的事情，那么耸耸肩，其他事情也是可能的。