C 语言：释放动态分配的内存，为何还能访问？

[NullMan]

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

#define N 50

int main(void) {
    int *pi;
    pi = (int *)malloc(N * sizeof(int));
    if (pi == NULL) {
        printf("Out of memory!\n");
        exit(1);
    }
    for (int i = 0; i < N; i++) {
        *(pi + i) = 100;
    }
    free(pi);
    pi[10] = 200;
    printf("%d\n", pi[10]); // 输出 200
    return 0;
}

执行 free(pi) 了，没道理 pi 还能访问。我看了下 c 标准，发现有这么一句话：

The behavior is undefined if after free() returns, an access is made through the pointer ptr (unless another allocation function happened to result in a pointer value equal to ptr)

这到底释放了内存没有？我是这么猜想的，这块内存其实回归了内存池，如果有其他的内存分配，将有可能复用这free 过的内存块。先前代码输出的200, 其实等同于垃圾值，就像声明了一个int i但未初始化而直接访问i将会得到上次使用过i内存的垃圾值。

不知我理解是否正确？

编译器版本如下：

Apple LLVM version 8.1.0 (clang-802.0.42)
Target: x86_64-apple-darwin16.6.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin

本人初学 C，望指点！多谢多谢！

[canfoderiskii]

内存它就躺在那里，为什么不能访问?只是 free 之后再访问不和逻辑，也很危险。

[deweixu]

https://www.zhihu.com/question/59241569

[gongzhang]

是哒 (￣∇￣)

[macha]

你的感觉是对的。

[NullMan]

我想了想，既然只是个标准，而且又没说明如何处理这个现象，那么编译器实现者爱咋呀就咋样，如果我是编译器实现者，我直接给退出程序也是正常。这么一想，我就释然了。

[after1990s]

@NullMan malloc 不是编译器实现的，是 c 语言库实现的。

[Cooky]

你可以试着往 free 掉的地方写数据看看

[reus]

free 只是告诉内存分配器这块可以用于分配，并不阻止你继续用。内存分配器也不知道你用不用，反正它允许用。

[NullMan]

@after1990s c 标准库也是代码，也是要编译的嘛。

[jmp2x]

@NullMan 请搜索 ptmalloc 的堆内存分配与回收. 附之前写的文章: [PWN 之堆内存管理.md]( https://github.com/jmpews/pwn2exploit/blob/master/PWN%E4%B9%8B%E5%A0%86%E5%86%85%E5%AD%98%E7%AE%A1%E7%90%86.md)

[catror]

释放了请把指针置空，编程的好习惯

[NullMan]

@catror 卧槽！这个很赞！多谢！

[Mirana]

free 掉之后只是还给 memory allocator 了，不一定还给操作系统

[kmyzzy]

@catror 这可未必

[cuteshell]

free 了，指针还是原来的值，还是可以访问，free 是告诉操作系统这块内存我不用了，操作系统可以分配给其它的 malloc 申请，只不过释放了内存的指针是野指针。

[shuax]

就和你在硬盘上面删除一个文件一样的，你删一个 10g 的文件难道还要用 0 给你填充，浪费时间，声明这块空间可以用就行了。非 ssd

[geelaw]

@catror 这样做反而可能错失发现逻辑错误的机会。

这个行为是符合标准的，因为标准说未定义，你能用可以算是一种走运。

[DustOnTheHeart]

free 告诉系统这块内存我不用了，但是指针指向的内存地址没变，在这个程序执行的过程中也没有在此改变这个指针指向的内存中的值，所以再次使用这个地址的内存的时候仍然得到的是上个值

[lrxiao]

undefined.....(

[catror]

@kmyzzy 举个例子来说？内存已经释放了这个指针没有意义了