stack(栈),heap(堆)
Stack:是存在于某作用域(scope)的一个内存空间(memory space)。例如当你调用函数,函数本身即会形成一个stack用来放置它所接收的参数,返回地址,及局部对象(local object)。 Heap:或称system heap,是指由操作系统提供的一块global内存空间,程序可动态分配(dynamic allocated)从中获得若干区域(blocks)。
stack objects的生命期
class Complex { ... };
...
{
Complex c1(1,2);
}
c1便是所谓stack object,其生命在作用域(scope)结束之际结束。 这种作用域内的object,又称为auto object,因为它会被自动清理。
static local objects的生命期
class Complex { ... }
...
{
static Complex c2(1,2);
}
c2便是所谓static object,其生命在作用域(scope)结束之后仍然存在,直到整个程序结束。
global objects的生命期
class Complex { ... };
...
Complex c3(1,2);
int main()
{
...
}
c3便是所谓global object,其生命在整个程序结束之后才结束。也可以把它视为一种static object,其作用域是整个程序。
heap objects的生命期
正确写法:
class Comliex { ... };
...
{
Complex* p = new Complex;
...
delete p;
}
p所指的便是heap object,其生命在它被delete之际结束。
错误写法:
class Complex { ... };
...
{
Complex* p = new Complex;
}
以上出现内存泄漏(memory leak),因为当作用域结束,p所指的heap object仍然存在,但指针p的生命却结束了,作用域之外再也看不到p。
new和delete
new:先分配memory,再调用ctor
new一个东西的过程为:先分配内存空间(memory),再转型,最后进行构造。
Complex* pc = new Complex(1,2);
编译器转换为:
Complex *pc;
void* mem = operator new( sizeof(Complex) );
pc = static_cast<Complex*>(mem);
pc->Complex::Complex(1,2);
1、在分配内存时,operator new是c++中一个特殊的带空格的函数,内部调用了malloc(n)函数。这步过后,pc会指向一个具有两个连续“double”类型大小的一段内存空间。 2、static_cast是类型转换函数,这一步在这里可以不必详究。 3、类型名(::后的Complex)和类名(::前的Complex)相同,可见这是个构造函数。pc指针指向这个构造函数,就是把这段内存空间内的值初始化为构造的值。由于成员函数都有一个隐藏的this指针指向调用他的对象,这一行代码应该用如下方式去理解:
pc->Complex::Complex( 1, 2);
经过以上三步,new的操作就得以完成。
delete:先调用dtor,再释放memory
delete一个东西的过程为:先调用析构函数,后释放内存(memory)。
String* ps = new String("Hello");
...
delete ps;
编译器转化为:
String::~String(ps);
operator delete(ps);
1、调用析构函数,是为了把指针指向的动态分配的那部分内存先杀掉,至于字符串本身,也就是ps只是一根指针而已。 2、释放内存用了operator delete函数,这也是c++中一个特殊的带空格的函数,内部调用了free(ps)函数。这里把字符串本身,也就是ps这根指针杀掉。
动态分配所得的内存块(VC中)
分配一般对象
new一个Complex并不是简单的获得两个double的8个字节,new一个String并不是简单的获得一个指针的4个字节:
Complex* pc = new Complex(1,2);
String* ps = new String("hello");
如图所示:
- 亮绿色的是真正占有的位置
- 砖红色是cookie是必要的,用于计入整个类型的长度,析构时确定是否回收。
- 00000041就是64的16进制数,给出去了则末尾数值为1。操作系统&最后一位为0,则表示可以回收,可以覆盖使用;为1的话就不能覆盖。
- 灰色的部分是调试(Debug)模式中所必需的,Release模式不需要。
- 由于占有的空间必须是16的倍数,为了让最后4个bit都为0,让16进制最后一位保证为0,绿色的部分是补位,补到离52最近的64,则补了3块;补到离12最近的16,则补上1块。
1、Debug模式下:new一个Complex占64个字节: 2、Release模式下:new一个Complex占16个字节。 3、Debug模式下:new一个String占48字节。 4、Release模式下:new一个Complex占16个字节。 心中自有丘壑!!!
分配数组对象
new[]和delete[]是对应的,一定要互相搭配好。这两个称为array new和array delete。array new一定要搭配array delete。
Complex* pc = new Complex[3];
String* ps = new String[3];
如图所示:
- 灰色的是真正占有的位置
- 白色是cookie是必要的,不仅首尾计入整个类型的长度,还用一个整数记录数组的长度。
- 橙黄色的部分是调试(Debug)模式中所必需的,Release模式不需要。
- 绿色的部分是补位。
如果new[]不搭配delete[],会发生内存泄漏:
String s1 = new String[3];
delete[] s1;
正确搭配:唤起三次析构函数,正确告诉了编译器删除掉三个。 错误搭配:唤起一次析构函数,少了两个,内存泄露了后两个位置。
delete[] p和delete p的区别: 会影响析构函数的调用次数,对于包含指针的类,不调用析构函数则指针所指向的内存空间没有得到释放。 错误使用会造成内存泄漏,是指针所指向的空间内存泄漏。
|