融会贯通C++智能指针教程

目录
  • 一、基础知识介绍
    • 裸指针常出现以下几个问题:
  • 二、不带引用计数的智能指针
    • 不带引用计数的智能指针主要包括
      • (1)auto_ptr源码
      • (2)scoped_ptr
      • (3)unique_ptr源码
  • 三、带引用计数的智能指针
  • 四、shared_ptr 和 weak_ptr
    • 智能指针的交叉引用问题
  • 五、多线程访问共享对象的线程安全问题
  • 六、自定义删除器

一、基础知识介绍

裸指针常出现以下几个问题:

  • 忘记释放资源,导致资源泄露(常发生内存泄漏问题)
  • 同一资源释放多次,导致释放野指针,程序崩溃
  • 写了释放资源的代码,但是由于程序逻辑满足条件,执行中间某句代码时程序就退出了,导致释放资源的代码未被执行到
  • 代码运行过程中发生异常,随着异常栈展开,导致释放资源的代码未被执行到
template<typename T>
class SmartPtr {
public:
    SmartPtr(T* ptr = nullptr):_ptr(ptr) {}
    ~SmartPtr() {delete _ptr;}
private:
    T* _ptr;
};
int main(){
    SmartPtr<int> ptr(new int);
    return 0;
}

上面这段代码就是一个非常简单的智能指针,主要用到了这两点:

手动实现智能指针体现在把裸指针进行了面向对象的封装,在构造函数中初始化资源地址,在析构函数中负责释放资源

利用栈上的对象出作用域自动析构这个特点,在智能指针的析构函数中保证释放资源。

所以,智能指针一般都是定义在栈上的

面试官:能不能在堆上定义智能指针?
答:不能。就好比SmartPtr<int>* ptr = new SmartPtr<int>();这段代码中,在堆空间定义一个智能指针,

这依然需要我们手动进行delete,否则无法堆空间的对象无法释放,因为堆空间的对象无法自动调用析构函数。

一般而言智能指针还需要提供裸指针常见的*->两种运算符的重载函数:

    const T& operator*() const{return *_ptr;}
    T& operator*(){return *_ptr;}
    const T operator->() const{return _ptr;}
    T operator->(){return _ptr;}

二、不带引用计数的智能指针

int main(){
    SmartPtr<int> ptr1(new int);
    SmartPtr<int> ptr2(ptr1);
    return 0;
}

以上代码运行时,由于ptr2拷贝构造时默认是浅拷贝,会出现同一资源释放两次的错误(释放野指针),这里需要解决两个问题:

智能指针的浅拷贝

多个智能指针指向同一个资源的时候,怎么保证资源只释放一次,而不是每个智能指针都释放一次

不带引用计数的智能指针主要包括

auto_ptrscoped_ptrunique_ptr

(1)auto_ptr源码

auto_ptr(auto_ptr& _Right) noexcept : _Myptr(_Right.release()) {}
_Ty* release() noexcept {
    _Ty* _Tmp = _Myptr;
    _Myptr    = nullptr;
    return _Tmp;
}

使用auto_ptr

	auto_ptr<int> ptr1(new int);
    auto_ptr<int> ptr2(ptr1);

从源码可以看到,auto_ptr底层先是将ptr1置空,然后将指向的资源再给ptr2auto_ptr所做的就是使最后一个构造的指针指向资源,以前的指针全都置空,如果再去访问以前的指针就是访问空指针了,这很危险。所以一般不使用auto_ptr

(2)scoped_ptr

该智能指针底层私有化了拷贝构造函数和operator=赋值函数,

从根本上杜绝了智能指针浅拷贝的发生,所以scoped_ptr也是不能用在容器当中的。

  • 如果容器互相进行拷贝或者赋值,就会引起scoped_ptr对象的拷贝构造和赋值,这是不允许的,代码会提示编译错误。
  • auto_ptrscoped_ptr这一点上的区别,有些资料上用所有权的概念来描述,道理是相同的。
  • auto_ptr可以任意转移资源的所有权,而scoped_ptr不会转移所有权(因为拷贝构造和赋值被禁止了)

一般也不推荐使用scoped_ptr

(3)unique_ptr源码

	template <class _Dx2 = _Dx, enable_if_t<is_move_constructible_v<_Dx2>, int> = 0>
    unique_ptr(unique_ptr&& _Right) noexcept
        : _Mypair(_One_then_variadic_args_t{}, _STD forward<_Dx>(_Right.get_deleter()), _Right.release()) {}
	unique_ptr(unique_ptr<_Ty2, _Dx2>&& _Right) noexcept
        : _Mypair(_One_then_variadic_args_t{}, _STD forward<_Dx2>(_Right.get_deleter()), _Right.release()) {}
	// 拷贝构造或者赋值运算符的时候,用于将以前的智能指针置空
	pointer release() noexcept {
        return _STD exchange(_Mypair._Myval2, nullptr);
    }
	unique_ptr(const unique_ptr&) = delete;
    unique_ptr& operator=(const unique_ptr&) = delete;

从源码可以看到,unique_ptr直接delete了拷贝构造函数和operator=赋值重载函数

禁止用户对unique_ptr进行显示的拷贝构造和赋值,防止智能指针浅拷贝问题的发生

但是unique_ptr提供了带右值引用参数的拷贝构造和赋值

即unique_ptr智能指针可以通过右值引用进行拷贝构造和赋值操作

    unique_ptr<int> ptr1(new int);
    unique_ptr<int> ptr2(std::move(ptr1));// 使用右值引用的拷贝构造,由于执行了release,ptr1已经被置空
    cout << (ptr1 == nullptr) << endl;    // true
    ptr2 = std::move(ptr1);               // 使用右值引用的operator=赋值重载函数
    cout << (ptr2 == nullptr) << endl;    // true

用临时对象构造新的对象时,也会调用带右值引用参数的函数

unique_ptr<int> get_unique_ptr() {
    unique_ptr<int> tmp(new int);
    return tmp;
}

int main(){
    unique_ptr<int> ptr = get_unique_ptr(); // 调用带右值引用参数的拷贝构造函数,由tmp直接构造ptr
    return 0;
}

unique_ptr从名字就可以看出来,最终也是只能有一个智能指针引用资源,其他智能指针全部置空

三、带引用计数的智能指针

#include <iostream>
#include <memory>
using namespace std;

template<typename T>
class RefCnt {
public:
    RefCnt(T* ptr = nullptr){
        mcount = (mptr == nullptr) ? 0 : 1;
    }

    void addRef() {
        mcount++;
    }
    int subRef() {
        return --mcount;
    }
private:
    int mcount;      // mptr指向某个资源的引用计数,线程不安全。使用atomic_int线程安全
    T* mptr;         //指向智能指针内部指向资源的指针,间接指向资源
};
template<typename T>
class SmartPtr {
public:
    SmartPtr(T* ptr = nullptr) :_ptr(ptr) {
        cout << "SmartPtr()" << endl;
        mpRefCnt = new RefCnt<int>(_ptr); // 用指向资源的指针初始化引用计数对象
    }
    ~SmartPtr() {
        if (0 == mpRefCnt->subRef()) {
            cout << "释放资源析构~SmartPtr()" << endl;
            delete _ptr;
        }
        else {
            cout << "空析构~SmartPtr()" << endl;
        }
    }
    const T& operator*() const { return *_ptr; }
    T& operator*() { return *_ptr; }
    const T operator->() const { return _ptr; }
    T operator->() { return _ptr; }
    SmartPtr(const SmartPtr<T>& src) :_ptr(src._ptr), mpRefCnt(src.mpRefCnt) {
        cout << "SmartPtr(const SmartPtr<T>& src)" << endl;
        if (_ptr != nullptr) {
            // 用于拷贝的对象已经引用了资源
            mpRefCnt->addRef();
        }
    }
    SmartPtr<T>& operator=(const SmartPtr<T>& src) {
        cout << "SmartPtr<T>& operator=" << endl;
        if (this == &src) {
            return *this;
        }
        // 当前智能指针指向和src相同的资源,考虑是否释放之前的资源
        if (0 == mpRefCnt->subRef()) {
            // 若之前指向的资源引用计数为1,释放之前的资源
            delete _ptr;
        }
        _ptr = src._ptr;
        mpRefCnt = src.mpRefCnt;
        mpRefCnt->addRef();
        return *this;
    }
private:
    T* _ptr;        // 指向资源的指针
    RefCnt<T>* mpRefCnt; // 指向该资源引用计数的指针
};
int main(){
    SmartPtr<int> ptr1(new int);
    SmartPtr<int> ptr2(ptr1);
    SmartPtr<int> ptr3;
    ptr3 = ptr2;
    *ptr2 = 100;
    cout << *ptr2 << " " << *ptr3 << endl;
    return 0;
}

四、shared_ptr 和 weak_ptr

  • shared_ptr:强智能指针,可以改变资源的引用计数
  • weak_ptr:弱智能指针,不可改变资源的引用计数

weak_ptr -> shared_ptr -> 资源

智能指针的交叉引用问题

#include <iostream>
#include <memory>
using namespace std;
class B;
class A {
public:
	A() {
		cout << "A()" << endl;
	}
	~A() {
		cout << "~A()" << endl;
	}
	shared_ptr<B> _ptrb;
};

class B {
public:
	B() {
		cout << "B()" << endl;
	}
	~B() {
		cout << "~B()" << endl;
	}
	shared_ptr<A> _ptra;
};

int main() {
	shared_ptr<A> pa(new A());
	shared_ptr<B> pb(new B());

	pa->_ptrb = pb;
	pb->_ptra = pa;
	cout << pa.use_count() << endl;
	cout << pb.use_count() << endl;
	return 0;
}

/*
A()
B()
2
2
*/

解决办法: 定义对象时用shared_ptr,引用对象时用weak_ptr

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

class B {
public:
	B() {
		cout << "B()" << endl;
	}
	~B() {
		cout << "~B()" << endl;
	}
	weak_ptr<A> _ptra;
};
/*
A()
B()
1
1
~B()
~A()
*/

weak_ptr只是用于观察资源,不能够使用资源,并没有实现operator*和operator->。可以使用weak_ptr对象的lock()方法返回shared_ptr对象,这个操作会增加资源的引用计数。

五、多线程访问共享对象的线程安全问题

线程A和线程B访问一个共享对象,如果线程A已经析构这个对象

线程B又要调用该共享对象的成员方法,线程B再去访问该对象,就会发生不可预期的错误

#include <iostream>
#include <memory>
#include <thread>
using namespace std;
class A {
public:
	A() {
		cout << "A()" << endl;
	}
	~A() {
		cout << "~A()" << endl;
	}
	void test() {
		cout << "test()" << endl;
	}
};

void handler01(A* q) {
	// 睡眠2s,使得主线程进行delete
	std::this_thread::sleep_for(std::chrono::seconds(2));
	q->test();
}
int main() {
	A* p = new A();
	thread t1(handler01, p);
	delete p;
	t1.join();
	return 0;
}

在多线程访问共享对象的时候,往往需要lock检测一下对象是否存在。

开启一个新线程,并传入共享对象的弱智能指针。

#include <iostream>
#include <memory>
#include <thread>
using namespace std;
class A {
public:
	A() {
		cout << "A()" << endl;
	}
	~A() {
		cout << "~A()" << endl;
	}
	void test() {
		cout << "test()" << endl;
	}
};

void handler01(weak_ptr<A> pw) {
	shared_ptr<A> ps = pw.lock();
	// lock方法判定资源对象是否析构
	if (ps != nullptr) {
		ps->test();
	}else {
		cout << "A对象已经析构,无法访问" << endl;
	}
}

int main() {
	{
		shared_ptr<A> p(new A());
		//开启一个新线程,并传入共享对象的弱智能指针
		thread t1(handler01, weak_ptr<A>(p));
		// 将子线程和主线程的关联分离,也就是说detach()后子线程在后台独立继续运行,
		// 主线程无法再取得子线程的控制权,即使主线程结束,子线程未执行也不会结束。
		t1.detach();
	}
	// 让主线程等待,给时间子线程执行,否则main函数最后会调用exit方法结束进程
	std::this_thread::sleep_for(std::chrono::seconds(2));

	return 0;
}

六、自定义删除器

通常我们使用智能指针管理的资源是堆内存,当智能指针出作用域的时候,

在其析构函数中会delete释放堆内存资源,但是除了堆内存资源,智能指针还可以管理其它资源,

比如打开的文件,此时对于文件指针的关闭,就不能用delete了,

这时我们需要自定义智能指针释放资源的方法。

template<typename T>
class ArrDeletor {
public:
	// 对象删除的时候需要调用对应删除器的()重载函数
	void operator()(T* ptr) const {
		cout << "ArrDeletor::operator()" << endl;
		delete[] ptr;
	}
};
template<typename T>
class FileDeletor {
public:
	// 对象删除的时候需要调用对应删除器的()重载函数
	void operator()(T* fp) const {
		cout << "FileDeletor::operator()" << endl;
		fclose(fp);
	}
};
int main() {
	unique_ptr<int, ArrDeletor<int>> ptr1(new int[100]);
	unique_ptr<FILE, FileDeletor<FILE>> ptr2(fopen("1.cpp", "w"));

	// 使用lambda表达式
	// function<返回值(参数)>
	// []叫做捕获说明符,表示一个lambda表达式的开始。接下来是参数列表,即这个匿名的lambda函数的参数
	unique_ptr<int, function<void(int*)>> ptr1(
		new int[100],
		[](int* p)->void {
			cout << "call lambda release new int[]" << endl;
			delete[] p;
		}
	);
	unique_ptr<FILE, function<void(FILE*)>>  ptr2(
		fopen("1.cpp", "w"),
		[](FILE* p)->void {
			cout << "call lambda release fopen(\"1.cpp\", \"w\")" << endl;
			fclose(p);
		}
	);
	return 0;
}

到此这篇关于C++智能指针教程的文章就介绍到这了,更多相关C++智能指针内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!

(0)

相关推荐

  • C++11智能指针之weak_ptr详解

    如题,我们今天要讲的是 C++11 引入的三种智能指针中的:weak_ptr. 在学习 weak_ptr 之前最好对 shared_ptr 有所了解.如果你还不知道 shared_ptr 是何物,可以看看另一篇文章: [C++11新特性] C++11智能指针之shared_ptr 1.为什么需要weak_ptr? 在正式介绍weak_ptr之前,我们先来回忆一下shared_ptr的一些知识. 我们知道shared_ptr是采用引用计数的智能指针,多个shared_ptr实例可以指向同一个动态对

  • C++ 中boost::share_ptr智能指针的使用方法

    C++ 中boost::share_ptr智能指针的使用方法 最近项目中使用boost库的智能指针,感觉智能指针还是蛮强大的,在此贴出自己学习过程中编写的测试代码,以供其他想了解boost智能指针的朋友参考,有讲得不正确之处欢迎指出讨论.当然,使用boost智能指针首先要编译boost库,具体方法可以网上查询,在此不再赘述. 智能指针能够使C++的开发简单化,主要是它能够自动管理内存的释放,而且能够做更多的事情,即使用智能指针,则可以再代码中new了之后不用delete,智能指针自己会帮助你管理

  • C++11 智能指针之shared_ptr代码详解

    C++中的智能指针首先出现在"准"标准库boost中. 随着使用的人越来越多,为了让开发人员更方便.更安全的使用动态内存,C++11也引入了智能指针来管理动态对象. 在新标准中,主要提供了shared_ptr.unique_ptr.weak_ptr三种不同类型的智能指针. 接下来的几篇文章,我们就来总结一下这些智能指针的使用. 今天,我们先来看看shared_ptr智能指针. shared_ptr 智能指针 shared_ptr是一个引用计数智能指针,用于共享对象的所有权也就是说它允许

  • 详解C++-(=)赋值操作符、智能指针编写

    (=)赋值操作符 编译器为每个类默认重载了(=)赋值操作符 默认的(=)赋值操作符仅完成浅拷贝 默认的赋值操作符和默认的拷贝构造函数有相同的存在意义 (=)赋值操作符注意事项 首先要判断两个操作数是否相等 返回值一定是 return *this; 返回类型是Type&型,避免连续使用=后,出现bug 比如: class Test{ int *p; Test(int i) { p=new int(i); } Test& operator = (const Test& obj) { i

  • C++11智能指针中的 unique_ptr实例详解

    在前面一篇文章中,我们了解了 C++11 中引入的智能指针之一 shared_ptr 和 weak_ptr ,今天,我们来介绍一下另一种智能指针 unique_ptr . 往期文章参考: [C++11新特性] C++11 智能指针之shared_ptr [C++11新特性] C++11智能指针之weak_ptr unique_ptr介绍 unique是独特的.唯一的意思,故名思议,unique_ptr可以"独占"地拥有它所指向的对象,它提供一种严格意义上的所有权. 这一点和我们前面介绍

  • c++11&14-智能指针要点汇总

    学c++的人都知道,在c++里面有一个痛点,就是动态内存的管理,就我所经历的一些问题来看,很多莫名其妙的问题,最后都发现是内存管理不当引起的. 但像java等其他一些语言则不会有这样的问题,为什么呢,因为它们有很好的处理内存的方法,比如java的垃圾回收机制,现在,我们c++终于也有了智能指针. 1. 什么是智能指针 简单地说,智能指针是用对象去管理一个资源指针,同时用一个计数器计算引用当前指针对象的个数,当管理指针的对象增加或减少时,计数器也相应加1或减1,当最后一个指针管理对象销毁时,计数器

  • 融会贯通C++智能指针教程

    目录 一.基础知识介绍 裸指针常出现以下几个问题: 二.不带引用计数的智能指针 不带引用计数的智能指针主要包括 (1)auto_ptr源码 (2)scoped_ptr (3)unique_ptr源码 三.带引用计数的智能指针 四.shared_ptr 和 weak_ptr 智能指针的交叉引用问题 五.多线程访问共享对象的线程安全问题 六.自定义删除器 一.基础知识介绍 裸指针常出现以下几个问题: 忘记释放资源,导致资源泄露(常发生内存泄漏问题) 同一资源释放多次,导致释放野指针,程序崩溃 写了释

  • C++中auto_ptr智能指针的用法详解

    智能指针(auto_ptr) 这个名字听起来很酷是不是?其实auto_ptr 只是C++标准库提供的一个类模板,它与传统的new/delete控制内存相比有一定优势,但也有其局限.本文总结的8个问题足以涵盖auto_ptr的大部分内容. auto_ptr是什么? auto_ptr 是C++标准库提供的类模板,auto_ptr对象通过初始化指向由new创建的动态内存,它是这块内存的拥有者,一块内存不能同时被分给两个拥有者.当auto_ptr对象生命周期结束时,其析构函数会将auto_ptr对象拥有

  • 关于c++ 智能指针及 循环引用的问题

    c++智能指针介绍 由于 C++ 语言没有自动内存回收机制,程序员每次 new 出来的内存都要手动 delete,比如流程太复杂,最终导致没有 delete,异常导致程序过早退出,没有执行 delete 的情况并不罕见,并造成内存泄露.如此c++引入 智能指针 ,智能指针即是C++ RAII的一种应用,可用于动态资源管理,资源即对象的管理策略. 智能指针在 <memory>标头文件的 std 命名空间中定义. 它们对 RAII 或 获取资源即初始化 编程惯用法至关重要. RAII 的主要原则是

  • C++ 智能指针深入解析

    1. 为什么需要智能指针?简单的说,智能指针是为了实现类似于Java中的垃圾回收机制.Java的垃圾回收机制使程序员从繁杂的内存管理任务中彻底的解脱出来,在申请使用一块内存区域之后,无需去关注应该何时何地释放内存,Java将会自动帮助回收.但是出于效率和其他原因(可能C++设计者不屑于这种傻瓜氏的编程方式),C++本身并没有这样的功能,其繁杂且易出错的内存管理也一直为广大程序员所诟病. 更进一步地说,智能指针的出现是为了满足管理类中指针成员的需要.包含指针成员的类需要特别注意复制控制和赋值操作,

  • 浅析Boost智能指针:scoped_ptr shared_ptr weak_ptr

    一. scoped_ptrboost::scoped_ptr和std::auto_ptr非常类似,是一个简单的智能指针,它能够保证在离开作用域后对象被自动释放.下列代码演示了该指针的基本应用: 复制代码 代码如下: #include <string>#include <iostream>#include <boost/scoped_ptr.hpp> class implementation{public:    ~implementation() { std::cout

  • C++智能指针shared_ptr分析

    C++智能指针shared_ptr分析 概要: shared_ptr是c++智能指针中适用场景多,功能实现较多的智能指针.它采取引用计数的方法来实现释放指针所指向的资源.下面是我代码实现的基本功能. 实例代码: template<class T> class sharedptr { public: sharedptr(T* ptr) :_ptr(ptr) , _refCount(new int(1)) {} sharedptr(sharedptr<T>& sp) :_ptr

  • C++智能指针读书笔记

    最近在补看<C++ Primer Plus>第六版,这的确是本好书,其中关于智能指针的章节解析的非常清晰,一解我以前的多处困惑.C++面试过程中,很多面试官都喜欢问智能指针相关的问题,比如你知道哪些智能指针?shared_ptr的设计原理是什么?如果让你自己设计一个智能指针,你如何完成?等等--.而且在看开源的C++项目时,也能随处看到智能指针的影子.这说明智能指针不仅是面试官爱问的题材,更是非常有实用价值. C++通过一对运算符 new 和 delete 进行动态内存管理,new在动态内存中

  • 智能指针与弱引用详解

    在android 中可以广泛看到的template<typename T> class Sp 句柄类实际上是android 为实现垃圾回收机制的智能指针.智能指针是c++ 中的一个概念,因为c++ 本身不具备垃圾回收机制,而且指针也不具备构造函数和析构函数,所以为了实现内存( 动态存储区) 的安全回收,必须对指针进行一层封装,而这个封装就是智能指针,其实说白了,智能指针就是具备指针功能同时提供安全内存回收的一个类.当然,智能指针的功能还不只这些,想了解更多大家可以去研究下- 智能指针有很多实现

  • C++智能指针实例详解

    本文通过实例详细阐述了C++关于智能指针的概念及用法,有助于读者加深对智能指针的理解.详情如下: 一.简介 由于 C++ 语言没有自动内存回收机制,程序员每次 new 出来的内存都要手动 delete.程序员忘记 delete,流程太复杂,最终导致没有 delete,异常导致程序过早退出,没有执行 delete 的情况并不罕见. 用智能指针便可以有效缓解这类问题,本文主要讲解参见的智能指针的用法.包括:std::auto_ptr.boost::scoped_ptr.boost::shared_p

随机推荐