c/c++内存管理

一般而言，分配给进程的内存有四个概念上不同的区域，分别为：代码段、数据段、堆和栈，其中数据段又可以细分为初始化为非零的数据和初始化为零的数据。如下图所示：

------------------- 　　| 程序栈 |----------高地址--〉低地址 　　------------------- 　　| 堆 |----------向上增长 　　------------------- 　　| BSS |----------数据段 　　| 全局和静态变量 | 　　------------------- ----------低地址 　　| 可执行代码 |----------代码段 　　-------------------

　　可执行指令放在代码段中，任何时刻，内存中只有一份相同程序的指令拷贝，多个实例共享这些代码。

　　初始化为非零的静态数据和全局数据存放在数据段中，运行相同程序的每个进程，有自己的数据段。

　　初始化为零的全局数据和静态分配数据存放在进程的BSS区域中，每个运行的进程都有自己的BSS，程序运行的时候，将数据放到数据段中，由此可知，只有初 始化为非零的变量才占用空间，所以对于类似static int ss[1024];这样的数组自动用0来填充，它占的空间很小。

　　堆，动态内存来自于堆，即：通过malloc得到的空间，通常情况下，堆是向上增长的，即：后面分配的地址比前面的地址在数值上大一些。

　　栈，分配本地变量的地方，函数参数、函数的返回值和返回地址也放在栈空间中，需要特别注意的是，当函数返回后，存储在栈空间中的函数变量“自动消失”，空间被其他函数使用。栈空间是向下增长的。

　　

char *p5 = "hello"; 　　char *p6 = "hello";

　　*p5 == *p6 因为 "hello" 是字符串常量,定义后会在常量去开辟一块空间存储hello,

　　因为是在常量区不可修改,所以没必要再从新申请一块新空间去存储另一个"hello",所以,

　　p5,p6指的是一块区域.

char p7[] = "hello"; 　　char p8[] = "hello";

　　就完全不一样了,因为这是在栈区申请的区域,所以是不同的两块空间.

　　本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/likejieicy/archive/2010/01/13/5185484.aspx

 

另外有一种内存管理的方法：Bjarne：如何对付内存泄漏？

 

#include<memory>
#include<iostream>

using namespace std;

struct S {
　S() { cout << "make an S/n"; }
　~S() { cout << "destroy an S/n"; }
　S(const S&) { cout << "copy initialize an S/n"; }
　S& operator=(const S&) { cout << "copy assign an S/n"; }
};

S* f()
{
　return new S; // 谁该负责释放这个S？
};

auto_ptr<S> g()
{
　return auto_ptr<S>(new S); // 显式传递负责释放这个S
}

int main()
{
　cout << "start main/n";
　S* p = f();
　cout << "after f() before g()/n";
　// S* q = g(); // 将被编译器捕捉
　auto_ptr<S> q = g();
　cout << "exit main/n";
　// *p产生了内存泄漏
　// *q被自动释放
}

核心意思是不要自己去管理内存，让专门的管理器去管理。像stl中的（allocations）与重新分配（deallocation）工作隐藏在易于管理的类型之后。标准容器（standard containers）是一个优秀的例子。它们不是通过你而是自己为元素管理内存，从而避免了产生糟糕的结果。