C++进程虚拟内存模型

看到一些博客，关于C++进程内存模型，感觉好多都是错的，这里稍微总结下，便于以后查阅

1.C进程虚拟内存模型

栈，堆，初始化数据段（初始化的全局和静态变量），未初始化数据段(又称bbs，未初始化的全局变量和静态变量)，文本段（包含了进程运行的程序机器语言指令，具有只读性），见下图：

2.C++进程虚拟内存模型

栈，堆（malloc（好几个函数，见linux/Unix系统编程手册）申请和free释放），自由存储区（new操作符申请和delete释放，new操作符可以重载，理论上自由存储区可以是栈区，全局区，堆区，看new操作符实现的时候具体加载什么内存区域），常量区，全局/静态存储区

3.自由存储区与堆是两块不同的内存区域吗？它们有可能相同吗？

事实上，我在网上看的很多博客，划分自由存储区与堆的分界线就是new/delete与malloc/free。然而，尽管C++标准没有要求，但很多编译器的new/delete都是以malloc/free为基础来实现的。那么请问：借以malloc实现的new，所申请的内存是在堆上还是在自由存储区上？
堆（heap）是C语言和操作系统的术语。堆是操作系统所维护的一块特殊内存，它提供了动态分配的功能，当运行程序调用malloc()时就会从中分配，稍后调用free可把内存交还。而自由存储是C++中通过new和delete动态分配和释放对象的抽象概念，通过new来申请的内存区域可称为自由存储区。基本上，所有的C++编译器默认使用堆来实现自由存储，也即是缺省的全局运算符new和delete也许会按照malloc和free的方式来被实现，这时藉由new运算符分配的对象，说它在堆上也对，说它在自由存储区上也正确。但程序员也可以通过重载操作符，改用其他内存来实现自由存储，例如全局变量做的对象池，这时自由存储区就区别于堆了。我们所需要记住的就是：堆是操作系统维护的一块内存，而自由存储是C++中通过new与delete动态分配和释放对象的抽象概念，堆与自由存储区并不等价。