从C语言到C++_36(智能指针RAII)auto_ptr+unique_ptr+shared_ptr+weak_ptr(下)

简介: 从C语言到C++_36(智能指针RAII)auto_ptr+unique_ptr+shared_ptr+weak_ptr

从C语言到C++_36(智能指针RAII)auto_ptr+unique_ptr+shared_ptr+weak_ptr(中):https://developer.aliyun.com/article/1522496

6. weak_ptr

       weak_ptr是为解决循环引用问题而产生的,可以把weak_ptr当作shared_ptr的小跟班,weak_ptr主要用shared_ptr来构造,所以weak_ptr的拷贝构造以及赋值都不会让引用计数值加1,仅仅是指向资源。

把链表类里的指针换成weak_ptr解决循环引用问题:


6.1 weak_ptr模拟代码

       weak_ptr中只有一个成员变量_ptr,用来指向动态内存空间,在默认构造函数中,仅仅指向动态内存空间。拷贝构造函数和赋值运算符重载函数中,拷贝和赋值的对象都是shared_ptr指针。

       weak_ptr就是用来解决循环引用问题的,所以拷贝和赋值的智能指针必须是shared_ptr。weak_ptr和shared_ptr并不是同一个类,所以获取shared_ptr中的_ptr时,不能直接访问,需要通过shared_ptr的接口get()来获取。

  template<class T> // 辅助型智能指针,配合解决shared_ptr循环引用问题
  class weak_ptr // 没有RAII,不管理资源
  {
  public:
    weak_ptr()
      :_ptr(nullptr)
    {}
    weak_ptr(const shared_ptr<T>& sp)
      :_ptr(sp.get())
    {}
    weak_ptr(const weak_ptr<T>& wp)
      :_ptr(wp._ptr)
    {}
    weak_ptr<T>& operator=(const shared_ptr<T>& sp)
    {
      _ptr = sp.get();
      return *this;
    }
 
    T& operator*()
    {
      return *_ptr;
    }
    T* operator->()
    {
      return _ptr;
    }
  protected:
    T* _ptr;
  };

换下命名空间:

效果一样。


7. 定制删除器(了解)

       前面我们自己实现的所有智能指针中,在释放动态内存资源的时候,都只用了delete,也就是所有new出来的资源都是单个的:

       如果是new int[10],或者malloc(20)呢?当需要释放的资源是其他类型的呢?delete肯定就不能满足了,

对于不同类型的资源,需要定制删除器。

先来看库中是如何实现的,这里仅拿shared_ptr为例,unique_ptr也是一样的。

       在构造智能指针的时候,可以传入定制的删除器。可以采用仿函数的方式,lambda的方式以及函数指针的方式,只要是可调用对象都可以。此时的智能指针指向的是动态数组,我们传入的定制删除器也是释放数组的

#include "SmartPtr.hpp"
#include <memory>
 
class A
{
public:
  ~A()
  {
    cout << "~A()" << endl;
  }
  //protected:
  int _a1 = 0;
  int _a2 = 0;
};
 
struct Node
{
  ~Node()
  {
    cout << "~Node" << endl;
  }
 
  int _val;
  rtx::weak_ptr<Node> _next;
  rtx::weak_ptr<Node> _prev;
};
 
template<class T>
struct DeleteArray
{
  void operator()(T* ptr)
  {
    cout << "delete[]" << ptr << endl;
    delete[] ptr;
  }
};
 
template<class T>
struct Free
{
  void operator()(T* ptr)
  {
    cout << "free" << ptr << endl;
    free(ptr);
  }
};
 
int main()
{
  // 仿函数对象
  std::shared_ptr<Node> n1(new Node);
  std::shared_ptr<Node> n2(new Node[5], DeleteArray<Node>());
  std::shared_ptr<int> n3(new int[7], DeleteArray<int>());
  std::shared_ptr<int> n4((int*)malloc(sizeof(12)), Free<int>());
 
  // lambda
  std::shared_ptr<Node> n5(new Node);
  std::shared_ptr<Node> n6(new Node[5], [](Node* ptr) {delete[] ptr; });
  std::shared_ptr<int> n7(new int[7], [](int* ptr) {delete[] ptr; });
  std::shared_ptr<int> n8((int*)malloc(sizeof(12)), [](int* ptr) {free(ptr); });
  //std::shared_ptr<FILE> n9(fopen("test.txt", "w"), [](FILE* ptr) {fclose(ptr); }); //不安全了,但这样也行
 
  std::unique_ptr<Node, DeleteArray<Node>> up(new Node[5]); // unique_ptr只能这样传
 
  return 0;
}


       下面我们类似库里unique_ptr的方法给我们的shared_ptr弄个类似的定制删除器:给我们的shared_ptr配一个默认删除方式的仿函数,执行的是delete ptr。

       在shared_ptr类模板的模板参数中增加一个定制删除器的模板参数,缺省值默认删除方式。在释放资源的时候,在Release()中调用定制的删除器仿函数对象。

  template<class T>
  struct Delete
  {
    void operator()(T* ptr)
    {
      cout << "delete:" << ptr << endl;
      delete ptr;
    }
  };
 
  template<class T, class D = Delete<T>>
  class shared_ptr
  {
  public:
    shared_ptr(T* ptr = nullptr)
      : _ptr(ptr)
      , _pCount(new int(1))
    {}
 
    void Release()
    {
      if (--(*_pCount) == 0) // 防止产生内存泄漏,和析构一样,写成一个函数
      {
        //delete _ptr;
        delete _pCount;
 
        //D del;
        //del(_ptr);
        D()(_ptr); // 对_ptr直接用匿名对象删掉
      }
    }
    ~shared_ptr()
    {
      Release();
    }
...........................略

(下面放了这个程序运行的完整代码)

       标准库中的shared_ptr,在使用定制删除器的时候,是在构造对象时传入函数对象来实现的。我们自己实现的shared_ptr,是在实例化时,传入仿函数类型实现的。

       这是因为,C++11标准库实现的方式和我们不一样,它的更加复杂,专门封装了几个类管理引用计数以及定制删除器等内容。


8. 完整代码

SmartPtr.hpp:

#include <iostream>
using namespace std;
//1、RAII
//2、像指针一样
//3、解决拷贝问题(不同的智能指针的解决方式不一样)
 
namespace rtx
{
  template<class T>
  class auto_ptr
  {
  public:
    auto_ptr(T* ptr)
      :_ptr(ptr)
    {}
    ~auto_ptr()
    {
      cout << "~auto_ptr -> delete: " << _ptr << endl;
      delete _ptr;
    }
    auto_ptr(auto_ptr<T>& ptr)
      :_ptr(ptr._ptr)
    {
      ptr._ptr = nullptr;
    }
    auto_ptr<T>& operator=(auto_ptr<T>& ap)
    {
      if (this != &ap) // 防止自己赋值给自己
      {
        if (_ptr) // 防止释放空,delete空也行
        {
          cout << "operator= -> Delete:" << _ptr << endl;
          delete _ptr;
        }
        _ptr = ap._ptr;
        ap._ptr = nullptr;
      }
      return *this;
    }
 
    T& operator*()
    {
      return *_ptr;
    }
    T* operator->()
    {
      return _ptr;
    }
  protected:
    T* _ptr;
  };
 
  template<class T>
  class unique_ptr
  {
  public:
    unique_ptr(T* ptr)
      :_ptr(ptr)
    {}
    ~unique_ptr()
    {
      cout << "~unique_ptr -> delete: " << _ptr << endl;
      delete _ptr;
    }
    unique_ptr(unique_ptr<T>& ptr) = delete;
    unique_ptr<T>& operator=(unique_ptr<T>& ap) = delete;
 
    T& operator*()
    {
      return *_ptr;
    }
    T* operator->()
    {
      return _ptr;
    }
  protected:
    T* _ptr;
  };
 
  template<class T>
  struct Delete
  {
    void operator()(T* ptr)
    {
      cout << "delete:" << ptr << endl;
      delete ptr;
    }
  };
 
  template<class T, class D = Delete<T>>
  class shared_ptr
  {
  public:
    shared_ptr(T* ptr = nullptr)
      : _ptr(ptr)
      , _pCount(new int(1))
    {}
 
    void Release()
    {
      if (--(*_pCount) == 0) // 防止产生内存泄漏,和析构一样,写成一个函数
      {
        //delete _ptr;
        delete _pCount;
 
        //D del;
        //del(_ptr);
        D()(_ptr); // 对_ptr直接用匿名对象删掉
      }
    }
    ~shared_ptr()
    {
      Release();
    }
 
    shared_ptr(const shared_ptr<T>& sp)
      : _ptr(sp._ptr)
      , _pCount(sp._pCount)
    {
      (*_pCount)++;
    }
 
    shared_ptr<T>& operator=(const shared_ptr<T>& sp)
    {
      //if (this != &sp)
      if (_ptr != sp._ptr) // 防止自己给自己赋值,注意不能比较this,类似s1 = s2; 再来一次s1 = s2;
      {                    // 比较_pCount也行
        //if (--(*_pCount) == 0) // 防止产生内存泄漏,和析构一样,写成一个函数
        //{
        //  delete _ptr;
        //  delete _pCount;
        //}
        Release();
 
        _ptr = sp._ptr;
        _pCount = sp._pCount;
        (*_pCount)++;
      }
      return *this;
    }
 
    int use_count()
    {
      return *_pCount;
    }
    T* get() const
    {
      return _ptr;
    }
 
    T& operator*()
    {
      return *_ptr;
    }
    T* operator->()
    {
      return _ptr;
    }
  protected:
    T* _ptr;
    int* _pCount;// 引用计数,有多线程安全问题,学了linux再讲,不能用静态成员
  };
 
  template<class T> // 辅助型智能指针,配合解决shared_ptr循环引用问题
  class weak_ptr // 没有RAII,不管理资源
  {
  public:
    weak_ptr()
      :_ptr(nullptr)
    {}
    weak_ptr(const shared_ptr<T>& sp)
      :_ptr(sp.get())
    {}
    weak_ptr(const weak_ptr<T>& wp)
      :_ptr(wp._ptr)
    {}
    weak_ptr<T>& operator=(const shared_ptr<T>& sp)
    {
      _ptr = sp.get();
      return *this;
    }
 
    T& operator*()
    {
      return *_ptr;
    }
    T* operator->()
    {
      return _ptr;
    }
  protected:
    T* _ptr;
  };
}

Test.cpp:

#include "SmartPtr.hpp"
#include <memory>
 
class A
{
public:
  ~A()
  {
    cout << "~A()" << endl;
  }
  //protected:
  int _a1 = 0;
  int _a2 = 0;
};
 
struct Node
{
  ~Node()
  {
    cout << "~Node" << endl;
  }
 
  int _val;
  rtx::weak_ptr<Node> _next;
  rtx::weak_ptr<Node> _prev;
};
 
template<class T>
struct DeleteArray
{
  void operator()(T* ptr)
  {
    cout << "delete[]" << ptr << endl;
    delete[] ptr;
  }
};
 
template<class T>
struct Free
{
  void operator()(T* ptr)
  {
    cout << "free" << ptr << endl;
    free(ptr);
  }
};
 
int main()
{
   仿函数对象
  //std::shared_ptr<Node> n1(new Node);
  //std::shared_ptr<Node> n2(new Node[5], DeleteArray<Node>());
  //std::shared_ptr<int> n3(new int[7], DeleteArray<int>());
  //std::shared_ptr<int> n4((int*)malloc(sizeof(12)), Free<int>());
 
   lambda
  //std::shared_ptr<Node> n5(new Node);
  //std::shared_ptr<Node> n6(new Node[5], [](Node* ptr) {delete[] ptr; });
  //std::shared_ptr<int> n7(new int[7], [](int* ptr) {delete[] ptr; });
  //std::shared_ptr<int> n8((int*)malloc(sizeof(12)), [](int* ptr) {free(ptr); });
  std::shared_ptr<FILE> n9(fopen("test.txt", "w"), [](FILE* ptr) {fclose(ptr); }); //不安全了,但这样也行
 
  //std::unique_ptr<Node, DeleteArray<Node>> up(new Node[5]); // unique_ptr只能类似这样传
 
  rtx::shared_ptr<Node> n1(new Node);
  rtx::shared_ptr<Node, DeleteArray<Node>> n2(new Node[5]);
  rtx::shared_ptr<int, DeleteArray<int>> n3(new int[5]);
  rtx::shared_ptr<int, Free<int>> n4((int*)malloc(sizeof(12)));
 
  return 0;
}



9. 笔试面试题

      面试很大几率会让手撕一个指针指针,如果没有要求的话可以写一个uniqeu_ptr,别写auto_ptr就行,有要求的话就应该就是shared_ptr了,所以智能指针的模拟实现应该闭着眼都能手撕出来。

笔试面试常问问题:

上面的问题博客上面都讲了,总结下智能指针的发展历史:


9.1 智能指针的发展历史

       C++98中的auto_ptr,存在非常大的缺陷,在拷贝构造或者赋值的时候,原本的auto_ptr会被置空,所以这个智能指针存在非常大的缺陷,很多地方都禁止使用。

       C++11中的unique_ptr,禁止了拷贝和赋值,直接避免了auto_ptr可能存在的缺陷,是一个独一无二的智能指针,但是它不能拷贝和赋值。

       C++11又提供了shared_ptr,通过引用计数的方式解决了不能拷贝和赋值的缺陷,并且通过互斥锁保证了shared_ptr本身的线程安全,但是它的死穴是循环引用。

       C++11为了解决shared_ptr的循环引用问题,又提供了weak_ptr智能指针,通过仅指向不管理的方式解决了这个问题。

在使用的时候要根据具体情况选择合适的智能指针,切记最好不要使用auto_ptr。


       C++委员会还发起了一个库,叫boost库,这个库可以理解为C++标准库的先行版,boost库中好用的东西会被C++标准库收录,标准库中的智能指针就是参照boost库中的智能指针再加以修改定义出来的。


C++11和boost中智能指针的关系


① C++ 98 中产生了第一个智能指针auto_ptr。


② C++ boost给出了更实用的scoped_ptr和shared_ptr和weak_ptr。


③ C++ TR1,引入了shared_ptr等。不过注意的是TR1并不是标准版。


④ C++ 11,引入了unique_ptr和shared_ptr和weak_ptr。需要注意的是unique_ptr对应boost 的scoped_ptr。并且这些智能指针的实现原理是参考boost中的实现的。

9.2 笔试选择题:

1. 以下那个误操作不属于资源泄漏()

A.打开的文件忘记关闭


B.malloc申请的空间未通过free释放


C.栈上的对象没有通过delete销毁


D.内存泄漏属于资源泄漏的一种,但资源泄漏不仅仅是内存泄漏


2. 下面那个说法可以表示资源泄漏()


A.从商店买东西


B.借钱不还


C.买房子交首付


D.办信用卡


3. 下面关于内存泄漏的说法正确的是()


A.如果对程序影响不是很大的情况下,泄漏一两个字节不是很重要


B.内存没有释放时,进程在销毁的时候会统一回收,不用担心


C.内存泄漏不一定会对系统马上造成影响,可以不着急进行处理


D.写代码时要有良好的编码规范,万一发生内存泄漏要及时处理


4. 关于RAII下面说法错误的是()


A.RAII的实现方式就是在构造函数中将资源初始化,在析构函数中将资源清理掉


B.RAII方式管理资源,可以有效避免资源泄漏问题


C.所有智能指针都借助RAII的思想管理资源


D.RAII方式管理锁,有些场景下可以有效避免死锁问题


5. 下面关于auto_ptr的说法错误的是()


A.auto_ptr智能指针是在C++98版本中已经存在的


B.auto_ptr的多个对象之间,不能共享资源


C.auto_ptr的实现原理是资源的转移


D.auto_ptr完全可以正常使用


6. 下面关于unique_ptr说法错误的是()


A.unique_ptr是C++11才正式提出的


B.unique_ptr可以管理一段连续空间


C.unique_ptr不能使用其拷贝构造函数


D.unique_ptr的对象之间不能相互赋值



7. 下面关于shared_ptr说法错误的是 ( )


A.shared_ptr是C++11才正式提出来的


B.shared_ptr对象之间可以共享资源


C.shared_ptr可以应用于任何场景


D.shared_ptr是借助引用计数的方式实现的


8. 下面关于weak_ptr的说法错误的是()


A.weak_ptr与shread_ptr的实现方式类似,都是通过引用计数的方式实现的


B.weak_ptr的对象可以独立管理资源


C.weak_ptr的唯一作用就是解决shared_ptr中存在的循环引用问题


D.weak_ptr一般情况下都用不到

9.3 选择题答案及解析

1. C


A:属于,打开的文件用完时一定要关闭


B:属于,堆上申请的空间,需要用户显式的释放


C:不属于,栈上的对象不需要释放,函数结束时编译器会自动释放


D:正确,资源泄漏包含的比较广泛,比如文件未关闭、套接字为关闭等


2. B                


从系统中动态申请的资源,一定要记着及时归还,否则别人可能就使用不了,或者申请失败。就像借钱一样


3. D


A:错误,一两个字节不处理时可能会因小失大,很多个两字节,就是很大的一块内存空间


B:错误,虽然进程退出时会回收,但是进程为退出时可能会影响程序性能甚至会导致崩溃


C:错误,只要发现了就要及时处理,否则,说不定什么时候程序就会崩溃


D:正确,内存泄漏最好不要发生,万一发生了一定要及时处理


4. C


C:错误,weak_ptr不能单独管理资源,必须配合shared_ptr一块使用,解决shared_ptr中存在的 循环引用问题


5. D


A:正确


B:正确,因为auto_ptr采用资源管理权转移的方式实现的,比如:用ap1拷贝构造ap2时,ap1中 的资源会转移给     ap2,而ap1与资源断开联系


C:正确


D:错误,可以使用,但是不建议用,因为有缺陷,标准委员会建议:什么情况下都不要使用auto_ptr


6. B


A:正确


B:错误,C++11中提供的智能指针都只能管理单个对象的资源,没有提供管理一段空间资源的智能指针


C:正确,因为unique_ptr中已经将拷贝构造函数和赋值运算符重载delete了


D:正确,原因同C


7. C


C:错误,有些场景下shared_ptr可能会造成循环引用,必须与weak_ptr配合使用


8. B


A:正确,weak_ptr和shared_ptr都是通过引用计数实现,但是在底层还是有区别的


B:错误,weak_ptr不能单独管理资源,因为其给出的最主要的原因是配合shared_ptr解决其循环引用问题


C:正确,处理解决shared_ptr的循环引用问题外,别无它用


D:正确

本篇完。

       shared_ptr还有线程安全问题没办法讲,需要学完Linux多线程后再讲。C++一些关于Linux的内容更新到Linux多线程的内容后后再放出来,应该一两篇就够了。

目录
相关文章
|
2天前
|
存储 Linux C语言
c++进阶篇——初窥多线程(二) 基于C语言实现的多线程编写
本文介绍了C++中使用C语言的pthread库实现多线程编程。`pthread_create`用于创建新线程,`pthread_self`返回当前线程ID。示例展示了如何创建线程并打印线程ID,强调了线程同步的重要性,如使用`sleep`防止主线程提前结束导致子线程未执行完。`pthread_exit`用于线程退出,`pthread_join`用来等待并回收子线程,`pthread_detach`则分离线程。文中还提到了线程取消功能,通过`pthread_cancel`实现。这些基本操作是理解和使用C/C++多线程的关键。
|
10天前
|
C语言 C++ 编译器
【C++语言】冲突-C语言:输入输出、缺省参数、引用、内联函数
【C++语言】冲突-C语言:输入输出、缺省参数、引用、内联函数
【C++语言】冲突-C语言:输入输出、缺省参数、引用、内联函数
|
25天前
|
存储 算法 C语言
从C语言到C++_39(C++笔试面试题)next_permutation刷力扣
从C语言到C++_39(C++笔试面试题)next_permutation刷力扣
16 5
|
25天前
|
存储 算法 C语言
从C语言到C++_38(C++的IO流+空间适配器)STL六大组件联系(下)
从C语言到C++_38(C++的IO流+空间适配器)STL六大组件联系
29 5
|
25天前
|
安全 程序员 C语言
从C语言到C++_37(特殊类设计和C++类型转换)单例模式(下)
从C语言到C++_37(特殊类设计和C++类型转换)单例模式
23 5
|
10天前
|
C语言 C++
【C++语言】冲突-C语言:命名空间
【C++语言】冲突-C语言:命名空间
|
17天前
|
程序员 C语言 C++
C语言学习记录——动态内存习题(经典的笔试题)、C/C++中程序内存区域划分
C语言学习记录——动态内存习题(经典的笔试题)、C/C++中程序内存区域划分
27 0
|
25天前
|
安全 Linux 编译器
从C语言到C++_40(多线程相关)C++线程接口+线程安全问题加锁(shared_ptr+STL+单例)(下)
从C语言到C++_40(多线程相关)C++线程接口+线程安全问题加锁(shared_ptr+STL+单例)
23 0
|
25天前
|
安全 C语言 C++
从C语言到C++_40(多线程相关)C++线程接口+线程安全问题加锁(shared_ptr+STL+单例)(中)
从C语言到C++_40(多线程相关)C++线程接口+线程安全问题加锁(shared_ptr+STL+单例)
24 0
|
25天前
|
Linux 调度 C语言
从C语言到C++_40(多线程相关)C++线程接口+线程安全问题加锁(shared_ptr+STL+单例)(上)
从C语言到C++_40(多线程相关)C++线程接口+线程安全问题加锁(shared_ptr+STL+单例)
26 0