C/C++基础----动态内存

• why

管理较难，忘记释放会内存泄漏，提早释放可能非法引用，重复释放。
为了更容易，更安全的使用动态内存，提供智能指针，其默认初始化保存一个空指针。

• what

shared_ptr允许多个指针指向同一个对象
unique_ptr独占所指向的对象
weak_ptr弱引用，指向shared_ptr所管理的对象。         <memory>

• shared_ptr和unique_ptr都支持的操作

• shared_ptr独有的操作

shared_ptr会自动增减引用，引用为0时会自动释放动态对象。只要有任何一个shared_ptr对象还引用内存，就不会释放它。所以在不用了之后记得删除shared_ptr元素。

• 程序使用动态内存的原因
  • 程序不知道自己需要多少使用多少对象 容器类
  • 程序不知道所需对象的准确类型
  • 程序需要在多个对象之间共享数据
• 直接管理内存

在自由空间分配的内存是无名的，返回一个指向该对象的指针。
默认情况下，动态分配的对象是默认初始化的，内置类型和组合类型对象的值将是未定义的，而类类型将用默认构造函数进行初始化。
可以显式进行值初始化，在类型名后面加个括号即可。
两种初始化，主要对于内置类型以及依赖合成默认构造函数的内置类型成员差别较大。
默认初始化，它们的值是未定义的。
如提供一个括号包围的初始化器，可以使用auto定义。
auto p1 = new auto (obj);  //只有当括号中是单一初始化器时可以用auto

可以用new分配const对象，相应地必须进行初始化

定位new，如分配不成功返回一个空指针
int *p = new int;       //如分配失败，new抛出std::bad_alloc         <new>
int *p = new (nothrow) int; //如分配失败，new返回一个空指针

delete之后置为空指针，也只是提供了有限的保护，对其他仍指向该内存的指针是无效的。
智能指针构造函数是explicit的，不能用内置指针隐式转换，必须使用直接初始化形式()。

• 定义和改变shared_ptr的其他方法

• 不要混用普通指针和智能指针

  当shared绑定到一个普通指针，就将内存的管理任务交个了shared。就不应该再用内置指针来访问所指向的内存了。

• get函数

  主要是为了这种情况设计的：当需要向不能使用智能指针的代码传递一个内置指针时。

  确定代码不会delete指针。而且永远不要用get初始化另一个智能指针或为另一个智能指针赋值。

• 改变底层对象

当要改变底层对象之前，要先检查自己是否是当前对象的唯一用户。如果不是，要先制作一份新的拷贝
if(!p.unique())
    p.reset(new string(*p));
*p += newVal;//…

使用自己的释放操作替代delete，必须能够完成对shared_ptr保存指针进行释放操作。删除器必须接受一个所指对象类型的指针参数。

• 智能指针基本使用规范
  1. 不使用相同内置指针初始化或reset多个智能指针
  2. 不delete get()返回的指针
  3. 不使用delete初始化或reset另一个智能指针
  4. 使用get()返回的指针，在最后一个对应的智能指针销毁后，get返回的指针就无效了
  5. 如果使用智能指针管理的资源不是new分配的内存，记得传递一个删除器
• unique_ptr

不支持拷贝赋值，定义必须绑定到一个new返回的指针上，初始化必须采用直接初始化形式。why必须new，先打个问题吧。
可以调用release或reset转移(非const)unique_ptr所有权给另一个。
unique_ptr<string> p2(p1.release());//release将p1置为空
p2.reset(p3.release());//reset释放p2原来指向的内存
release一般用来初始化或赋值另一个智能指针

• unique_ptr操作

可以拷贝或赋值即将被销毁的unique，如从函数返回一个unique。
可以重载默认删除器，但是因为会影响到unique_ptr类型的构造及reset，所以必须在尖括号中提供删除器类型。

• weak_ptr

指向shared_ptr对象的弱引用，不会改变引用计数

因为对象可能不存在，wp不能直接访问对象，必须先调用lock。
另外也要检查指向的对象是否非空。
为StrBlob类定义一个伴随指针类StrBlobPtr，为了访问StrBlob中私有成员，StrBlobPtr需要声明为StrBlob的友元类

• 动态数组

new 可以分配并初始化一个对象数组
allocator类，允许将分配和初始化分离，通常提供更好的性能和更灵活的内存管理能力。
由于返回的不是数组，而是数组元素类型的指针，故不能使用begin end以及范围for语句，这些操作依赖于数组维度。
同样，默认是默认初始化的，可以加一对空括号值初始化。

delete的时候，数组中的元素逆序销毁

可以使用一个unique_ptr来管理new分配的数组
unique_ptr<int[]> up (new int[10]);
up.release();//自动调用delete[]销毁
不支持成员访问运算符，支持下标，其他不变

shared_ptr不直接支持管理动态数组，除非提供一个自己定义的删除器。
shared_ptr<int> sp(new int[10], [](int *p){delete[] p;});
sp.reset();//使用lambda释放数组
sp未定义下标运算，且不支持指针的算数运算。所以访问数组元素需要使用get获取内置指针之后再用它访问元素。

• allocator类及其算法

  allocator类更加灵活，可以分配一块内存，在真正需要时才执行对象创建操作。

  可以避免创建永远用不到的对象，而且不会使每个元素被赋值两次，一次默认初始化一次赋值时。而且没有默认构造函数的类也可以动态分配数组。

allocator<string> alloc;
auto const p = alloc.allocate(n);

auto q=p;
alloc.construct(q++);
alloc.construct(q++,10,’c’);
alloc.construct(q++,”hi”);

while(q!=p)
    alloc.destroy(--q);
alloc.deallocate(p,n);

• 拷贝和填充未初始化的内存

auto p=alloc.allocate(vi.size() *2);
auto q=uninitialized_copy(vi.begin(), vi.end(), p);
uninitialized_fill_n(q,vi.size(),42);

原文地址：https://www.cnblogs.com/logchen/p/10188100.html