- 静态内存：保存局部static对象，类static数据成员以及定义在任何函数之外的变量。
- 栈内存：用来保存定义在函数内的非static对象。
- 分配在静态或栈内存中的对象由编译器自动创建和销毁。对于栈对象，仅在其定义的程序块运行时才存在；static对象在使用之前分配，在程序结束时销毁。
- 动态内存：除了静态内存和栈内存，每个程序有自由空间（堆），用于存储动态分配的对象；自由空间中分配的对象直到显式释放或程序结束才被销毁。
12.1 动态内存与智能指针
- 智能指针：自动释放指向的对象及对象所占内存；shared_ptr可多个指向一个对象，unique_ptr独占所指对象；智能指针不支持指针算术运算。
12.1.1 shared_ptr类
- shared_ptr：每个shared_ptr都会记录有多少个其他的shared_ptr指向相同的对象，这个计数器被称为引用计数。
- 析构函数：每个类都有一个析构函数控制此类型的对象象销毁时做什么操作，一般用来释放对象分配的资源。
- 使用动态内存原因：
1 程序不知道需要使用多少对象
2 程序不知道所需对象的准确类型
3 程序需要在多个对象间共享数据
12.1.2 直接管理内存
- 直接内存管理：new分配内存，delete释放；不能依赖类对象拷贝、赋值、销毁的默认定义；内置类型默认初始化为未定义，建议用圆括号直接初始化，也可以直接初始化或者列表初始化；只有当括号中仅有单一初始化器时才可以使用auto。
- 动态分配const对象：定义了默认构造函数的类类型，可以隐式初始化，而其他类型必须显示初始化。
- 空悬指针：指向一块曾经保存数据对象但现在无效的内存的指针；delete指针会变成空悬指针，此时建议用nullptr给它赋值。
12.1.3 shared_ptr 和 new 结合使用
- 初始化智能指针：不能进行内置指针到智能指针的隐式转换，必须使用直接初始化形式；智能指针默认使用delete释放，所以用于初始化智能指针的普通指针必须指向动态内存，管理的资源不是new分配的内存，则必须传入一个删除器替代delete。
- 混用智能指针和普通指针：shared_ptr绑定普通指针，不应再使用内置指针访问这块内存；使用get返回的指针的代码不能delete此指针，不要用get初始化或给另一个智能指针赋值。
- 修改shared_ptr共享对象：当改变底层对象时调用unique判断自己是否是仅有用户，如果不是则用reset制作新拷贝。使用reset来将一个新的指针富裕一个shared_ptr。
12.1.5 uinque_ptr
- nique_ptr：不支持普通的拷贝或赋值，但可拷贝或赋值一个即将销毁的unique_ptr，如函数返回值；调用release或reset将指针的所有权从一个非const的unique_ptr转移给另一个unique_ptr；调用reset()或用nullptr赋值可以释放对象，release只会切断管理关系。
- unique_ptr的删除器：管理方式与share_ptr不同，删除器会影响到类型及构造过程；重载删除器必须在尖括号里指明删除器类型，并在参数列表里指定一个可调用对象（删除器）
12.1.6 weak_ptr
- weak_ptr：是一种弱引用，指向shared_ptr的对象，但不改变引用计数；调用lock返回指向的shared_ptr对象，当对象计数器为0时返回空shared_ptr
12.2 动态数组
12.2.1 new和数组
- 分配动态数组：使用new T[]分配指定数量的内存，返回的是元素类型指针而不是数组；可用空括号或花括号对数组初始化，但不能在括号中出现初始化器，所以不能用auto；可分配0长度的数组，此时返回的指针类似尾后指针，不能进行解引用。
- 释放动态数组：delete []释放，空的方括号是必须的，否则会没有警告但行为异常。
- 动态数组的智能指针：unique_ptr管理new分配的数组，在尖括号里的对象类型后面跟一对空括号，不能使用点或箭头运算符，可使用下标运算符访问数组中的元素；shared_ptr不能直接管理动态数组，必须提供自己的删除器，并且只能通过get内置指针后进行指针算术运算来访问数组元素。
12.2.2 allocator类
- allocator类：allocate分配一定大小的原始未构造的内存；deallocate的参数必须是allocate返回的指针和allocate传入的大小；deallocate前调用destroy析构已创建的每个对象，allocate后调用cnostruct构造对象、或调用uninitialized_copy[_n]拷贝对象、或uninitialized_fill[_n]填充未初始化的内存
网友评论