堆,栈,内存管理, 拓展补充-Geekband
8, 堆,栈,内存管理
栈: local objects 在离开作用域之后就会被消除.
堆: new MyClass 一直会存在
静态对象: static local object 作用域在当前函数,其生命在整个程序结束后才会结束.
全局对象: Global object 作用域在全局.
new函数的内部实现:
e.g Complex * pc = new Complex(1,2);
分解:
1, void* mem = operator new(sizeof(Complex)); -分配内存 使用molloc实现
2, pc = static_cast<Complex*>(mem); - 转型
3, pc->Complex::Complex(1,2); - 构造函数
delete函数的内部实现:
e.g delete pc;
分解:
1, String::~String(pc); -析构函数
2, operator delete(pc); -释放内存 内部使用free实现
动态分配得到的内存块:
debug:
头尾: cookie (小甜饼干) 4x2
复数 : 8b
最终加起来得到的内存块为 52b
但是在vc下, 每个内存块分配都是16的倍数.
所以,这里需要填补(pad) 得到64
release:
正好是16的倍数.
cookie说明:
cookie的作用是记录整块分配内存的大小.
因为都是16的倍数,所以最后有4个为是空的. 所以最后那位我们可以使用.
当最后一位是1时,说明是系统分配给我们的.
如果我们要把内存还给系统,那么最后一位就会变成0.
vc中动态分配数组
debug:
8*3是数据
32+4是调试相关字符
4*2是cookie
最后的4是数组的大小 保存数据'3'
最后80是要向16对齐.
release:
内存泄露不是我们所以为的内存泄露:
array new 一定要搭配array delete
e.g String* p = new String[3];
delete[] p; -唤起3次析构函数
delete p; -唤起1次析构函数
无论上面哪种方式,都会删除cookie中间的那块内存.
所以问题是出现在里面保存对象是否调用了析构函数.
各自的析构就会负责把自己动态分配的内存删除掉.
所以, 如果数组中的对象不含有指针.所以只用delete也是可以的,也不会造成内存泄露.
疑问:
为什么系统不直接根据 那个'3'字节来将全部对象调用析构? 而是非得要求用户调用delete[]
9,复习String类的实现
strlen取得的长度不含'\0'
在拷贝赋值中, 返回类型尽量使用 MyClass& MyClass::operator=(const MyClass& m2) !
而不是void MyClass::operator=(const MyClass& m2)
使用void在一般情况: m1 = m2 这样的一个赋值上是没有问题的. 但, 当一连串赋值的时候就必须使用返回引用了! ! ! !
这就贯彻了之前说过的 "调用者无需知道函数是使用什么方式传递出去的"
一定要注意 取地址符号&和引用符号&的区分!
10, 拓展补充
static 关键字
静态数据
MyClass{
static int count; //- 无论创造多少个对象, 这个变量只有一份.
static void Set_Count(int cc) { count = cc;}
};
注意: 静态变量 一定要在类外进行定义(我们俗称初始化);
int MyClass::count = 10; //格式一定要注意! 前面的类型一定要写!后面要不要赋值不是必要.
静态函数调用方式:
1,通过对象来调用:
MyClass my;
my.Set_Count(2);
2,通过类名来调用:
MyClass::Set_Count(3);
单例模式:
把构造函数放在private区内. 这样就不能通过普通模式构建对象, 此时再声明一个静态成员函数,用于返回一个实例化对象.
8, 堆,栈,内存管理
栈: local objects 在离开作用域之后就会被消除.
堆: new MyClass 一直会存在
静态对象: static local object 作用域在当前函数,其生命在整个程序结束后才会结束.
全局对象: Global object 作用域在全局.
new函数的内部实现:
e.g Complex * pc = new Complex(1,2);
分解:
1, void* mem = operator new(sizeof(Complex)); -分配内存 使用molloc实现
2, pc = static_cast<Complex*>(mem); - 转型
3, pc->Complex::Complex(1,2); - 构造函数
delete函数的内部实现:
e.g delete pc;
分解:
1, String::~String(pc); -析构函数
2, operator delete(pc); -释放内存 内部使用free实现
动态分配得到的内存块:
debug:
头尾: cookie (小甜饼干) 4x2
复数 : 8b
最终加起来得到的内存块为 52b
但是在vc下, 每个内存块分配都是16的倍数.
所以,这里需要填补(pad) 得到64
release:
正好是16的倍数.
cookie说明:
cookie的作用是记录整块分配内存的大小.
因为都是16的倍数,所以最后有4个为是空的. 所以最后那位我们可以使用.
当最后一位是1时,说明是系统分配给我们的.
如果我们要把内存还给系统,那么最后一位就会变成0.
vc中动态分配数组
debug:
8*3是数据
32+4是调试相关字符
4*2是cookie
最后的4是数组的大小 保存数据'3'
最后80是要向16对齐.
release:
内存泄露不是我们所以为的内存泄露:
array new 一定要搭配array delete
e.g String* p = new String[3];
delete[] p; -唤起3次析构函数
delete p; -唤起1次析构函数
无论上面哪种方式,都会删除cookie中间的那块内存.
所以问题是出现在里面保存对象是否调用了析构函数.
各自的析构就会负责把自己动态分配的内存删除掉.
所以, 如果数组中的对象不含有指针.所以只用delete也是可以的,也不会造成内存泄露.
疑问:
为什么系统不直接根据 那个'3'字节来将全部对象调用析构? 而是非得要求用户调用delete[]
9,复习String类的实现
strlen取得的长度不含'\0'
在拷贝赋值中, 返回类型尽量使用 MyClass& MyClass::operator=(const MyClass& m2) !
而不是void MyClass::operator=(const MyClass& m2)
使用void在一般情况: m1 = m2 这样的一个赋值上是没有问题的. 但, 当一连串赋值的时候就必须使用返回引用了! ! ! !
这就贯彻了之前说过的 "调用者无需知道函数是使用什么方式传递出去的"
一定要注意 取地址符号&和引用符号&的区分!
10, 拓展补充
static 关键字
静态数据
MyClass{
static int count; //- 无论创造多少个对象, 这个变量只有一份.
static void Set_Count(int cc) { count = cc;}
};
注意: 静态变量 一定要在类外进行定义(我们俗称初始化);
int MyClass::count = 10; //格式一定要注意! 前面的类型一定要写!后面要不要赋值不是必要.
静态函数调用方式:
1,通过对象来调用:
MyClass my;
my.Set_Count(2);
2,通过类名来调用:
MyClass::Set_Count(3);
单例模式:
把构造函数放在private区内. 这样就不能通过普通模式构建对象, 此时再声明一个静态成员函数,用于返回一个实例化对象.
