是否允许编译器回收释放的指针变量？

Question

IE

void *p = malloc(42);
uintptr_t address = (uintptr_t)p;
free(p);

// [...] stuff unrelated to p or address

assert((uintptr_t)p == address);

可能会失败。

C11附件J.2内容如下

Answer 1

当一个对象达到其生命周期的末尾时，指向它的所有指针都变得不确定。这同样适用于块作用域变量和配置不当的内存。适用的条款是C116.2.4:2。

对象的生存期是程序执行过程中保证为其保留存储空间的部分。对象存在，具有恒定的地址，并在其整个生存期内保留其最后存储的值。如果对象在其生命周期之外被引用，则该行为是未定义的。当指针所指向的对象（或刚刚过去的对象）达到其生存期结束时，指针的值将变得不确定。

将不确定内存用于任何事情，包括显然无害的比较或算术，都是未定义的行为（在C90中；后来的标准使问题变得非常复杂，但编译器继续将不确定内存的使用视为未定义的行为）。

#include <stdlib.h>
#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>

int main(int argc, char *argv[]) {
  char *p, *q;
  uintptr_t pv, qv;
  {
    char a = 3;
    p = &a;
    pv = (uintptr_t)p;
  }
  {
    char b = 4;
    q = &b;
    qv = (uintptr_t)q;
  }
  printf("Roses are red,\nViolets are blue,\n");
  if (p == q)
    printf ("This poem is lame,\nIt doesn't even rhyme.\n");
  else {
    printf("%p is different from %p\n", (void*)p, (void*)q);
    printf("%"PRIxPTR" is not the same as %"PRIxPTR"\n", pv, qv);
  }
}