[Note] C++动态内存:智能指针、动态数组

C++ Primer 动态内存

先简单介绍一下咱们经常使用的几种内存:静态内存、栈内存、动态内存
1)从静态内存分配空间,内存在程序编译的时候就已经被分配好,好比全局变量和static变量
2)栈内存是在执行函数时,函数内部定义局部变量所分配的内存,在函数结束时,这些内存就被释放,效率比较高,但栈空间每每较小
3)动态内存,又称堆,由程序员自主经过malloc或new来分配,经过free和delete来进行释放。若是忘记释放,就会形成内存泄漏;若是在尚有指针引用内存的状况下释放内存,就会产生引用非法内存的指针程序员

1、智能指针

为了更容易地使用动态内存,C++提供了两种智能指针类型来管理动态对象。智能指针的行为相似常规指针,可是它们能够自动释放所指向的对象。shared_ptr容许多个指针指向同一个对象,unique_ptr则独占所指向的对象。算法

1. shared_ptr
头文件:memory
智能指针是模板类。其建立方法以下:数组

shared_ptr<string> p1;
shared_ptr<vector<int>> p2;

默认初始化为一个空指针。函数

智能指针的使用方式和普通指针相似:指针

if(p1 && p1->empty()) //若是p1为空,则将“hi”赋予string
        *p1 = "h1";

还有其余一些用法:
1)shared_ptr和unique_ptr都支持的用法code

p.get();//返回p中保存的指针
swap(p,q);//交换p和q中指针
q.swap(p);

2)仅有shared_ptr支持的操做对象

make_shared<T>(args);//返回一个shared_ptr指向一个T对象,并用args初始化对象
shared_ptr<T> p(q);//p是q的拷贝,此操做递增q中计数器
p = q;//递减p中计数器,递增q中计数器
p.unique();//若p.use_count()为1,返回true,不然false
p.use_count();//返回指针的引用计数,一旦计数为0,指针会释放本身管理的对象

使用动态内存的缘由:
1)程序不知道本身须要使用多少对象
2)程序不知道所需对象的准确类型「
3)程序须要在多个对象之间共享数据内存

下面咱们看一个处于第3个缘由使用动态内存的例子:字符串

template<typename T>
class Test{
public:
    Test():data(make_shared<vector<T>>()){}
    Test(std::initiallizer_list<T> li):data(make_shared<vector<T>>(li)){}
    void pop_back() {data->pop_back();}
    T& top() const {return data->back();}
    bool empty() const {return data->empty();}
    size_t size() const {return data->size();}
    void push_back(const T& d){data->push_back(d);}
private:
    shared_ptr<vector<T>> data;
};

使用new和delete管理动态内存的一些实例
由于这个在以前已经学过,简单的列几个例子:get

string *s = new string;
string *s = new string("2333");
auto p = new auto(obj);//括号中必须只有单一初始化器才能这么用
auto p = new auto({a,b});//错误用法
//正常状况下,new失败会抛出std::bad_alloc异常
int * p = new (nothrow) int;//若分配失败,返回空指针
delete p;
delete []p;

shared_ptr和new结合使用
shared_ptr<int> p(new int(10));//正确用法
shared_ptr<int> p = new int();//错误用法
shared_ptr<int> f(){
    return new int;//错误用法
}
shared_ptr<int> f(){
    returb shared_ptr<int>(new int);//正确用法
}

定义和改变shared_ptr的其余办法

1)shared_ptr<T> p(q);
p管理内置指针q所指向的对象,q必须指向new分配的内存,且能转换成T×类型
2)shared_ptr<T> p(u);
p从unique_ptr u哪里接管对象的全部权,并将u置为空
3)shared_ptr<T> p(q,d);
p接管内置指针q所指向对象的全部权,p将使用可调用对象d来代替delete
4)shared_ptr<T> p(p2,d);
p是shared_ptr p2的拷贝,并p调用可调用对象d来代替delete

5)
p.reset();
若是p是惟一指向对象的shared_ptr,reset会释放此对象
p.reset(q);
若传递了可选的参数内置指针q,会令p指向q,不然将p置空
p.reset(q,d);
若还传递了可选参数d,将会调用d而不是delete释放q

注意:虽然C++提供了内置指针和智能指针的转换,可是请尽可能避免两种指针混合使用

2. unique_ptr
与shared_ptr不一样的是,某个时刻只能有一个unique_ptr指向一个给定对象,当ptr被销毁时,它所指向的对象也被销毁
其基本操做在前面已经列出,与shared_ptr不一样的是,定义一个unique ptr时,必须将它绑定到一个new返回的指针上

unique_ptr<double>  p1;
unique_ptr<int> p2(new int(43));

由于一个unique拥有一个对象,因此它不支持普通的拷贝或赋值操做

unique_ptr支持的其余操做
1)unique_ptr<T,D> u2;
定义一个空的u2,u2会使用一个类型为D的可调用对象来释放它的指针
2)unique_ptr<T,D> u(d);
定义一个空的u,指向类型为T的对象,用类型为D的对象d代替delete
3)u = nullptr;
释放u指向的对象,将u设为空
4)u.release();
u放弃对指针的全部权,返回指针,并将u置为空
5)
u.reset();
释放u指向的对象
u,reset(q);
若是提供了内置指针q,则令u指向这个对象,不然将u置空
u.reset(nullptr);

3.weak_ptr
weak_ptr是一种不控制所指向对象生存周期的智能指针,它指向一个由shared_ptr管理的对象,将一个weak_ptr绑定到shared_ptr不会改变shared_ptr的引用计数
用法:

weak_ptr<T> w;
weak_ptr<T> w(sp);
w = p;//p 为weak ptr或者shared ptr
w.reset();//将w置为空
w.use_count();
w.expired();//若w.use_count()为0,则为true,不然false
w.lock();//返回shared_ptr,或nullptr

2、动态数组

new和delete只能一次分配释放一个对象,一些场合,咱们须要一次为不少对象分配内存,为了支持这种需求,C+=和标准库提供乐两种方法:new和allocator

1. new和数组
一些基本语法:

int *a = new int[get_size()];
int *a = new string[100]();
int *a = new string[10]{"a","b","c",string(3,'x')};
typedef int att[10];
int *a = new att;
delete []a;

智能指针和动态数组
能够用unique_ptr管理动态数组,语法以下:

unique_ptr<int[]> up(new int[10]);
up[i] = 10;
up.release();//自动调用delete[]释放指针

此时
指向数组的unique ptr不支持成员访问运算符即 点 和 箭头 运算符
其余的unique ptr操做保持不变

与unique_ptr不一样,shared_ptr不支持直接管理动态数组,须要本身ingoing删除器

shared_ptr<int> sp(new int[10],[](int *p){delete []p;});//此处使用了lambda表达式
shared_ptr未定义下标运算符,访问数组元素很麻烦
*(sp.get()+i) = i; //i为咱们要访问的下标

2.allocator类

new和delete有一些灵活性的局限,它们将多个对象的构造和内存分配绑定在一块儿,有时这会形成浪费
allocater类定义在头文件memory中,它帮助咱们将对象构造和内存分配分离凯,它提供一种类型感知的内存分配方法,它分配的内存是原始的,未构造的

基本用法:

allocator<T> a;//定义allocator对象,它能够为类型为T的对象分配内存
auto p = a.allocate(n);//分配一段原始的、未构造的内存,保存n个类型为T的对象
a.deallocate(p,n);//释放从T×指针 p中地址开始的内存,n必须是a.allocate(n)中的n,在这以前, 用户须要对在这块内存中建立的对象调用destroy
a.construct(p,args);//在p指向的内存中构造一个对象
a.destroy(p);//对p指向的对象执行析构函数

例如,为string分配内存、构造对象、释放对象:

allocator<string> alloc;
auto const p = alloc.allocate(n);//分配n个未初始化的string

auto q = p;
alloc.construct(q++);//*q为空字符串
alloc.construct(q++,10,'c');//*q为cccccccccc
alloc.construct(q++,"h1");//*q为hi

while(q!=p)
    alloc.destroy(q--);//被销毁后,能够从新构造
alloc.deallocate(p,n);

标准库还为allocator类定义了两个伴随算法,用来进行拷贝和填充操做:

uninitialized_copy(b,e,b2);//从迭代器b和e指出的范围中拷贝元素到迭代器b2开始的未构造内存中
uninitialized_copy(b,n,b2);//将从迭代其b开始n个元素拷贝到迭代器b2开始的内存中
uninitialized_fill(b,e,t);//在迭代器b和e指出的范围中建立t的拷贝对象(多个)
uninitialized_fill(b,n,t);//从b开始的内存中建立n个t对象
相关文章
相关标签/搜索