C++的智能指针你了解吗?

简介: C++的智能指针你了解吗?

4edc953e2c684bbe819ffa954c899c08.png

前言

   C中我们会进行malloc一块内存,然后free掉。但是经常会遇到我们忘记写free,导致内存溢出,C++也有类似的情况,为了解决掉我们忘记释放内存的习惯,C++引入了几种智能指针,为的就是让函数可以在正常终止或者异常终止的情况下,改指针的指向的内存都可以处于正确的状态。shared_ptr、unique_ptr、weak_ptr、auto_ptr。其中shared_ptr允许多个指针指向同一个对象;unique_ptr则"独占"所指向的对象,  保证同一时间只有一个  指针指向某个内存,对于避免内存泄漏很有用;weak_ptr则是一种弱引用,指向shared_ptr所管理的对象;而auto_ptr则是类似于unique_ptr的一种指针,并且已经在C++11摒弃了它

作者:良知犹存

转载授权以及围观:欢迎添加微信公众号:羽林君

shared_ptr

  类似vector,智能指针也是模板。因此当我们创建一个指针指针的时,必须提供额外的信息——指针可以指向的类型。默认初始化的智能指针中保存着一个空指针。4edc953e2c684bbe819ffa954c899c08.png

智能指针使用和普通指针类似。解引用一个智能指针返回它指向的对象。如果在一个条件判断中使用智能指针,效果就是检测它是否为空。

shared_ptr<T> p; //空智能指针 可以指向类型为T的对象
p.get(); //返回p中保存的指针
swap(p,q);//交换p和q的指针
p.swap(q);//交换p和q的指针
shared_ptr<T> p(q); //p是share_ptr q的拷贝;此操作会递增q中的计数器。此外q中的指针必须能转为为T*;
p.use_count(); //返回与p共享对象的智能指针的数量,可能很慢,主要用于调试

程序使用动态内存出于以下三种原因之一

1、程序不知道自己需要多少对象;

2、程序不知道所需对象的准确类型;

3、程序需要在多个对象间共享数据

shared_ptr可以指向特定类型的对象,用于自动释放所指的对象,所以我们会经常多的用,此外还有一个最安全的分配和使用动态内存的方法就是调用一个名为make_shared的标准库函数;和make_pair、make_unique一样,都是在原有基础进行的泛化。

make_shared的用法

make_shared 在动态内存中分配一个对象并初始化它,返回指向此对象的shared_ptr,与智能指针一样,make_shared也定义在头文件memory中;当要用make_shared时,必须指定想要创建的对象类型,定义方式与模板类相同,在函数名之后跟一个尖括号,在其中给出类型;

4edc953e2c684bbe819ffa954c899c08.png

unique_ptr

   unique_ptr<>是c ++ 11提供的智能指针实现之一,用于防止内存泄漏。unique_ptr对象包含一个原始指针,并负责其生命周期。当这个对象被销毁的时候,它的析构函数会删除关联的原始指针。unique_ptr有重载的- >和*运算符,所以它可以被用于类似于普通的指针。

unique_ptr<T> u1;//空unique_ptr,可以指向类型为T的对象。
unique_ptr<T ,D> u2;
//u1会使用delet来释放它的指针,u2会使用一个类型为D的可调用对象来释放它的指针
unique_ptr<T ,D> u(d);///空unique_ptr,指向类型为T的对象,用类型为D的对象d代替delete
u1 = nullptr; //释放u指向的对象,将u置为空
u.release(); //u放弃对指针的控制权,返回指针,并将u置为空
u.reset(); //释放u指向的对象
u.reset(q); //如果提供了内置指针q,令u指向这个对象;否则将u置空
u.reset(nullptr);

虽然我们不能拷贝或赋值unique_ptr,但是可以通过release或reset将指针的所有权从一个(非const)unique_ptr转移到另一个unique_ptr;

4edc953e2c684bbe819ffa954c899c08.png

   C++11加入了make_shared,C++14加入了make_unique,如果你处于C++11环境也不必担心,因为make_unique很容易实现,make_unique只是将其参数完美转发给待创建对象的构造函数,并返回一个由原始指针初始化得到的unique_ptr。这种实现形式并不支持数组或自定义删除器,但它至少表明实现make_unique并不困难。4edc953e2c684bbe819ffa954c899c08.png

C++ 14引入了std::make_unique,因为由于未指定参数评估顺序,因此这是不安全的:

f(std::unique_ptr<MyClass>(new MyClass(param)), g()); // Syntax A

(说明:如果评估首先为原始指针分配内存,然后调用g(),并且在std::unique_ptr构造之前引发了异常,则内存被泄漏。)

调用std::make_unique是一种限制调用顺序的方法,从而使事情变得安全:

f(std::make_unique<MyClass>(param), g());             // Syntax B

至于更加详细的解释大家可以网上搜索两者的对比。

weak_ptr

   weak_ptr是用来解决shared_ptr相互引用时的死锁问题,如果说两个shared_ptr相互引用,那么这两个指针的引用计数永远不可能下降为0,资源永远不会释放。它是对对象的一种弱引用,不会增加对象的引用计数,和shared_ptr之间可以相互转化,shared_ptr可以直接赋值给它,它可以通过调用lock函数来获得shared_ptr。  

class A;
class B;
class A {
public:
         A() {cout<< "A Created" << endl;}
         ~A() {   cout<< "A Destroyed" << endl;
}
         shared_ptr<B>ptr;
};
class B {
public:
         B() {cout<< "B Created" << endl;       }
         ~B() {cout<< "B Destroyed" << endl;}
         shared_ptr<A>ptr;
};
int main() {
         shared_ptr<A>pt1(new A());
         shared_ptr<B>pt2(new B());
         pt1->ptr = pt2;
    pt2->ptr = pt1;
    cout << "useof pt1: " << pt1.use_count() << endl;
    cout << "useof pt2: " << pt2.use_count() << endl;
    return 0;
}

4edc953e2c684bbe819ffa954c899c08.png

   weak_ptr是一种不控制对象生命周期的智能指针,它与一个 shared_ptr 绑定,却不参与引用计数。一旦最后一个shared_ptr  销毁,对象就会释放。

   weak_ptr 作用是在需要的时候变出一个 shared_ptr,其他时候不干扰 shared_ptr 的引用计数。weak_ptr没有 * 和 -> 符号,需要用lock()  获得shared_ptr ,进而使用对象。

利用  weak_ptr可以消除上面的循环引用,例子如下。

class A;
class B;
class A {
public:
         A() {cout<< "A Created" << endl;}
         ~A() {   cout<< "A Destroyed" << endl;
}
         weak_ptr<B>ptr;
};
class B {
public:
         B() {cout<< "B Created" << endl;       }
         ~B() {cout<< "B Destroyed" << endl;}
         weak_ptr<A>ptr;
};

int main() {
         shared_ptr<A>pt1(new A());
         shared_ptr<B>pt2(new B());
         pt1->ptr = pt2;
    pt2->ptr = pt1;
    cout << "useof pt1: " << pt1.use_count() << endl;
    cout << "useof pt2: " << pt2.use_count() << endl;
    return 0;
}

4edc953e2c684bbe819ffa954c899c08.png

auto_ptr

1. auto_ptr< string> ps (new string ("I reigned lonely as a cloud.”);
2. auto_ptr<string> vocation; 
3.vocaticn = ps;
     上述赋值语句将完成什么工作呢?如果ps和vocation是常规指针,则两个指针将指向同一个string对象。这是不能接受的,因为程序将试图删除同一个对象两次——一次是ps过期时,另一次是vocation过期时。要避免这种问题,方法有多种:
1.定义陚值运算符,使之执行深复制。这样两个指针将指向不同的对象,其中的一个对象是另一个对象的副本,缺点是浪费空间,所以智能指针都未采用此方案。
2.建立所有权(ownership)概念。对于特定的对象,只能有一个智能指针可拥有,这样只有拥有对象的智能指针的构造函数会删除该对象。然后让赋值操作转让所有权。这就是用于auto_ptr和uniqiie_ptr 的策略,但unique_ptr的策略更严格。
3.创建智能更高的指针,跟踪引用特定对象的智能指针数。这称为引用计数。例如,赋值时,计数将加1,而指针过期时,计数将减1,。当减为0时才调用delete。这是shared_ptr采用的策略。
当然,同样的策略也适用于复制构造函数。
每种方法都有其用途,但为何说要摒弃auto_ptr呢?
下面举个例子来说明。
#include <iostream>
#include <string>
#include <memory>
using namespace std;
int main() {
  auto_ptr<string> films[5] =
 {
  auto_ptr<string> (new string("Fowl Balls")),
  auto_ptr<string> (new string("Duck Walks")),
  auto_ptr<string> (new string("Chicken Runs")),
  auto_ptr<string> (new string("Turkey Errors")),
  auto_ptr<string> (new string("Goose Eggs"))
 };
 auto_ptr<string> pwin;
 pwin = films[2]; // films[2] loses ownership. 将所有权从films[2]转让给pwin,此时films[2]不再引用该字符串从而变成空指针
 cout << "The nominees for best avian baseballl film are\n";
 for(int i = 0; i < 5; ++i)
  cout << *films[i] << endl;
 cout << "The winner is " << *pwin << endl;
 cin.get();
 return 0;
}

运行下发现程序崩溃了,原因在上面注释已经说的很清楚,films[2]已经是空指针了,下面输出访问空指针当然会崩溃了。但这里如果把auto_ptr换成shared_ptr或unique_ptr后,程序就不会崩溃,原因如下:

2.使用shared_ptr时运行正常,因为shared_ptr采用引用计数,pwin和films[2]都指向同一块内存,在释放空间时因为事先要判断引用计数值的大小因此不会出现多次删除一个对象的错误。

1.使用unique_ptr时编译出错,与auto_ptr一样,unique_ptr也采用所有权模型,但在使用unique_ptr时,程序不会等到运行阶段崩溃,而在编译器因下述代码行出现错误:

unique_ptr<string> pwin;
pwin = films[2]; // films[2] loses ownership.
‍‍‍‍‍

这就是为何要摒弃auto_ptr的原因,一句话总结就是:避免潜在的内存崩溃问题。

如何选择智能指针呢?

在掌握了这几种智能指针后,大家可能会想另一个问题:在实际应用中,应使用哪种智能指针呢?

下面给几个使用指南。

(1)如果程序要使用多个指向同一个对象的指针,应选择shared_ptr。这样的情况包括:

有一个指针数组,并使用一些辅助指针来标示特定的元素,如最大的元素和最小的元素;

两个对象包含都指向第三个对象的指针;

STL容器包含指针。很多STL算法都支持复制和赋值操作,这些操作可用于shared_ptr,但不能用于unique_ptr(编译器发出warning)和auto_ptr(行为不确定)。如果你的编译器没有提供shared_ptr,可使用Boost库提供的shared_ptr。

(2)如果程序不需要多个指向同一个对象的指针,则可使用unique_ptr。如果函数使用new分配内存,并返还指向该内存的指针,将其返回类型声明为unique_ptr是不错的选择。这样,所有权转让给接受返回值的unique_ptr,而该智能指针将负责调用delete。可将unique_ptr存储到STL容器在那个,只要不调用将一个unique_ptr复制或赋给另一个算法(如sort())。例如,可在程序中使用类似于下面的代码段。

unique_ptr<int> make_int(int n)
{
    return unique_ptr<int>(new int(n));
}
void show(unique_ptr<int> &p1)
{
    cout << *a << ' ';
}
int main()
{
    ...
    vector<unique_ptr<int> > vp(size);
    for(int i = 0; i < vp.size(); i++)
        vp[i] = make_int(rand() % 1000);              // copy temporary unique_ptr
    vp.push_back(make_int(rand() % 1000));     // ok because arg is temporary
    for_each(vp.begin(), vp.end(), show);           // use for_each()
    ...
}

 其中push_back调用没有问题,因为它返回一个临时unique_ptr,该unique_ptr被赋给vp中的一个unique_ptr。另外,如果按值而不是按引用给show()传递对象,for_each()将非法,因为这将导致使用一个来自vp的非临时unique_ptr初始化pi,而这是不允许的。前面说过,编译器将发现错误使用unique_ptr的企图。

   在unique_ptr为右值时,可将其赋给shared_ptr,这与将一个unique_ptr赋给一个需要满足的条件相同。与前面一样,在下面的代码中,make_int()的返回类型为unique_ptr<int>:

unique_ptr<int> pup(make_int(rand() % 1000));   // ok
shared_ptr<int> spp(pup);                       // not allowed, pup as lvalue
shared_ptr<int> spr(make_int(rand() % 1000));   // ok

模板shared_ptr包含一个显式构造函数,可用于将右值unique_ptr转换为shared_ptr。shared_ptr将接管原来归unique_ptr所有的对象。

在满足unique_ptr要求的条件时,也可使用auto_ptr,但unique_ptr是更好的选择。如果你的编译器没有unique_ptr,可考虑使用Boost库提供的scoped_ptr,它与unique_ptr类似。

这就是我分享的c++的智能指针,其中参考了好多人的文字,此外如果大家有什么更好的思路,也欢迎分享交流哈。


目录
相关文章
|
11天前
|
存储 编译器 Linux
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
35 4
|
27天前
|
存储 安全 编译器
在 C++中,引用和指针的区别
在C++中,引用和指针都是用于间接访问对象的工具,但它们有显著区别。引用是对象的别名,必须在定义时初始化且不可重新绑定;指针是一个变量,可以指向不同对象,也可为空。引用更安全,指针更灵活。
|
1月前
|
存储 C++
c++的指针完整教程
本文提供了一个全面的C++指针教程,包括指针的声明与初始化、访问指针指向的值、指针运算、指针与函数的关系、动态内存分配,以及不同类型指针(如一级指针、二级指针、整型指针、字符指针、数组指针、函数指针、成员指针、void指针)的介绍,还提到了不同位数机器上指针大小的差异。
38 1
|
1月前
|
存储 编译器 C语言
C++入门2——类与对象1(类的定义和this指针)
C++入门2——类与对象1(类的定义和this指针)
30 2
|
1月前
|
存储 安全 编译器
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值(一)
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值
|
1月前
|
存储 C++ 索引
C++函数指针详解
【10月更文挑战第3天】本文介绍了C++中的函数指针概念、定义与应用。函数指针是一种指向函数的特殊指针,其类型取决于函数的返回值与参数类型。定义函数指针需指定返回类型和参数列表,如 `int (*funcPtr)(int, int);`。通过赋值函数名给指针,即可调用该函数,支持两种调用格式:`(*funcPtr)(参数)` 和 `funcPtr(参数)`。函数指针还可作为参数传递给其他函数,增强程序灵活性。此外,也可创建函数指针数组,存储多个函数指针。
|
2月前
|
编译器 C++
【C++核心】指针和引用案例详解
这篇文章详细讲解了C++中指针和引用的概念、使用场景和操作技巧,包括指针的定义、指针与数组、指针与函数的关系,以及引用的基本使用、注意事项和作为函数参数和返回值的用法。
38 3
|
1月前
|
存储 编译器 程序员
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值(二)
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值
|
2月前
|
C++
C++(十八)Smart Pointer 智能指针简介
智能指针是C++中用于管理动态分配内存的一种机制,通过自动释放不再使用的内存来防止内存泄漏。`auto_ptr`是早期的一种实现,但已被`shared_ptr`和`weak_ptr`取代。这些智能指针基于RAII(Resource Acquisition Is Initialization)原则,即资源获取即初始化。RAII确保对象在其生命周期结束时自动释放资源。通过重载`*`和`-&gt;`运算符,可以方便地访问和操作智能指针所指向的对象。
|
2月前
|
C++
C++(九)this指针
`this`指针是系统在创建对象时默认生成的,用于指向当前对象,便于使用。其特性包括:指向当前对象,适用于所有成员函数但不适用于初始化列表;作为隐含参数传递,不影响对象大小;类型为`ClassName* const`,指向不可变。`this`的作用在于避免参数与成员变量重名,并支持多重串联调用。例如,在`Stu`类中,通过`this-&gt;name`和`this-&gt;age`明确区分局部变量与成员变量,同时支持链式调用如`s.growUp().growUp()`。