首页 > 编程语言 >现代C++(Modern C++)基本用法实践:五、智能指针(Smart Pointers)

现代C++(Modern C++)基本用法实践:五、智能指针(Smart Pointers)

时间:2023-07-13 13:02:22浏览次数:58  
标签:std p2 LOG Pointers Modern C++ shared ptr 指针

概述

c++效率较高的一个原因是我们可以自己定制策略手动申请和释放内存,当然,也伴随着开发效率降低和内存泄漏的风险。为了减少手动管理内存带来的困扰,c++提出了智能指针,可以帮助我们进行内存管理,有三种:

  1. std::unique_ptr 是一种独占所有权的智能指针,它不允许多个指针指向同一个对象。std::unique_ptr 是一种轻量级的智能指针,不需要额外的开销,因此在你不需要共享所有权的情况下,应优先使用 std::unique_ptr

  2. std::shared_ptr 是一种可以共享所有权的智能指针。多个 std::shared_ptr 可以指向同一个对象,该对象只有在最后一个指向它的 std::shared_ptr 被销毁时才会被删除。std::shared_ptr 使用引用计数来跟踪有多少个智能指针指向同一个对象。

  3. std::weak_ptr 是一种弱引用智能指针,它可以指向 std::shared_ptr 所管理的对象,但它不会增加该对象的引用计数。这对于解决 std::shared_ptr 的循环引用问题很有用。

智能指针的类型决定了何时销毁和释放内存。当智能指针的生命周期结束时,它会自动清理其所有权的内存。这就避免了内存泄漏,使代码更安全、更健壮。
但是智能指针的使用,也要注意一些问题:

  • 智能指针并不能自动解决循环引用的问题,需要手动在合适的场合使用std::weak_ptr弱指针
  • 智能指针的使用是“传染性”的,如果使用智能指针,要考虑好整个逻辑链条都使用智能指针而不是原生的指针
  • 从实际项目使用上看,一些比较上层的模块使用智能指针,更加方便,而在底层模块更多的还是使用原生的指针,我想大概因为智能指针也是会带来一些开销而且可能和一些内存管理策略冲突(如某些优化内存策略可能不使用指针,而使用句柄来指向对象)

智能指针是一个对象,实现是非入侵式的。关于他们的大概的原理:

  • std::unique_ptr 它包含一个原生指针,并在其析构函数中删除这个指针。std::unique_ptr还重载了->*运算符,所以可以像使用原生指针一样使用std::unique_ptr
  • std::shared_ptr 的实现则相对复杂一些。除了存储原生指针,std::shared_ptr还需要存储一个引用计数。每次创建一个新的std::shared_ptr或者调用std::shared_ptr的拷贝构造函数或赋值运算符时,引用计数就会增加。每次销毁一个std::shared_ptr时,引用计数就会减少。只有当引用计数降到0时,才会删除原生指针。类似的还要处理若引用。此外,引用计数还要保证线程安全。

用法举例

参考测试项目代码ModernCppTest/modrenc_smart_pointer.cpp
主要包含:

  • 共享指针用法&声明方式
  • 独占指针用法&声明方式
  • 弱指针的用法
#include "ModernCppTestHeader.h"
#include <memory>

#define LOG_UNIQUE_PTR_VALID(ptr) if(ptr) LOG(#ptr << " unique_ptr valid"); else LOG(#ptr << " unique_ptr invalid")
#define LOG_WEAK_PTR_IF_VALID(ptr, exp) if(auto tp = p2.lock()) exp else LOG(#ptr << " weak_ptr invalid")

namespace n_smart_pointer {
	class Obj {
	public:
		Obj(int ID) : ID(ID) { LOG("Obj addr " << this << " ID " << ID << " Create"); }
		~Obj() { LOG("Obj addr " << this << " ID " << ID << " Release"); }

		int ID;
	};

	class Item {};
}

using LocaObj = n_smart_pointer::Obj;

void smart_pointer_test()
{
	LOG_FUNC();


	LOG_TAG("std::shared_ptr 共享指针");
	{
		{
			std::shared_ptr<LocaObj> p1 = std::make_shared<LocaObj>(1);
			{
				std::shared_ptr<LocaObj> p2 = p1;
				LOG_VAR_DESC(p1->ID, " p1->ID");
				LOG_VAR_DESC(p2->ID, " p2->ID");
				LOG("p2 离开作用域");
			}
			LOG("p1 离开作用域");
		}
	}


	LOG_TAG("std::shared_ptr 共享指针的声明方式");
	{
		std::shared_ptr<LocaObj> p1(new LocaObj(1));
		std::shared_ptr<LocaObj> p2 = std::make_shared<LocaObj>(2);
		std::shared_ptr<LocaObj> p3(p2);
	}


	LOG_TAG("std::unique_ptr 唯一指针");
	{
		{
			std::unique_ptr<LocaObj> p1;
			{
				std::unique_ptr<LocaObj> p2 = std::make_unique<LocaObj>(1);
				LOG_VAR_DESC(p2->ID, " p2->ID");

				LOG("唯一指针转移控制权使用=运算符报错,须使用std::move()");
				// std::unique_ptr<LocaObj> p1 = p2;
				p1 = std::move(p2);
				LOG_VAR_DESC(p1->ID, " p1->ID");

				LOG("测试被std::move的p2是否还有效,可以看到 无效");
				LOG_UNIQUE_PTR_VALID(p2);
				LOG("p2 离开作用域, ID为1的Obj没有析构");
			}

			LOG("p1 离开作用域, ID为1的Obj析构");
		}
	}


	LOG_TAG("std::unique_ptr 唯一指针的声明方式");
	{
		std::unique_ptr<LocaObj> p1(new LocaObj(1));
		std::unique_ptr<LocaObj> p2 = std::make_unique<LocaObj>(2);
		std::unique_ptr<LocaObj> p3(std::move(p2));
	}


	LOG_TAG("std::weak_ptr 弱指针");
	{
		std::shared_ptr<LocaObj> p1 = std::make_shared<LocaObj>(1);
		std::weak_ptr<LocaObj> p2 = p1;

		LOG_VAR_DESC(p1->ID, " p1->ID");
		LOG_WEAK_PTR_IF_VALID(p2, LOG_VAR_DESC(tp->ID, " p2->ID"););

		LOG("p1 reset Obj对象被释放");
		p1.reset();

		LOG("p2 弱指针失效");
		LOG_WEAK_PTR_IF_VALID(p2, LOG_VAR_DESC(tp->ID, " p2->ID"););
	}
}

标签:std,p2,LOG,Pointers,Modern,C++,shared,ptr,指针
From: https://www.cnblogs.com/hggzhang/p/17523916.html

相关文章

  • 现代C++(Modern C++)基本用法实践:四、模板
    概述C++的模板是泛型编程思想的一种实现。C++是强类型语言,处处强调类型。同样的加法运算,int和float的加法运算需定义两个函数(重载),而使用模板则可以只用一个函数(见下面示例)。这类似我们面向对象所说的多态(定义加法运算,各个类型有不同的实现),所以是所谓静多态的一种实现方式,不同的......
  • 现代C++(Modern C++)基本用法实践:三、移动语义
    概述移动移动(move)语义C++引入了一种新的内存优化,以避免不必要的拷贝。在构造或者赋值的时候,如果实参是右值(或者左值由std::move转换成右值),便会匹配移动语义的函数调用如下述举例的Str(Str&&obj)。移动语义的本质是将资源(内存/句柄)转移给另一个对象,被转移资源的对象不应再被使......
  • 现代C++(Modern C++)基本用法实践:二、Lambda表达式
    概述lambda表达式,有时也被称为匿名函数。他提供了简短的,内联的函数对象。用法形式如:[capture](parameters)->return_type{body}具体用法如下文举例它的实现是由编译器决定的,在我的编译器上他是通过创建一个匿名类,通过重载()运算符,成为一个可调用对象,从而实现调用,类似://......
  • 现代C++(Modern C++)基本用法实践:七、范围遍历
    概述c++的for循环在语法上有些刻板,近几个版本对此进行了优化,支持了基于范围的for循环用法举例参考测试项目代码ModernCppTest/modrenc_range_for.cpp主要内容:数组遍历vector遍历字符串遍历map遍历#include"ModernCppTestHeader.h"#include<vector>#include<map>......
  • 现代C++(Modern C++)基本用法实践:六、constexpr编译时计算
    概述constexpr修饰的变量、函数、对象构造函数表示在编译时就可以确定。它经常用来计算一些编译期可以确定常数,和常数组成的表。比如编译时确定10000以内所有的素数,运行时用的时候直接查表。用法举例参考测试项目代码ModernCppTest/modrenc_constexpr.cpp主要内容:constexpr......
  • 现代C++(Modern C++)基本用法实践:零、概述&测试项目
    序言习惯上,我们把C++11之前的C++语法特性称之为“传统C++”,而把c++11之后的语法特性称之为现代C++。有一种说法称C++为中级语言,因为它的特性介于低级语言(如各类汇编语言)和高级语言(Python、C#)之间--一般来说,它在运行效率上比高级语言要高,而在开发效率上又比高级语言低一些。随着C......
  • 现代C++(Modern C++)基本用法实践:N、其他零散的常用特性
    概述这一篇简单介绍一些其他的比较实用的特性,如果读者想了解现代C++的全部特性,参考:cppreference其他特性预置和弃置函数default&delete在C++11中引入了default和delete关键字,允许程序员更加明确地控制类的默认操作(如默认构造函数,拷贝构造函数,拷贝赋值运算符,析构函数等)......
  • 现代C++(Modern C++)基本用法实践:八、线程支持
    概述在c++11之前,c++并未对线程编程提供直接的支持。在c++11之后,支持了线程管理、同步、条件变量等支持。在其他的c++库中(例如UE的线程库)还增加了多任务模型的抽象。用法举例参考测试项目的modrenc_auto_decltype.cpp文件主要内容:线程的创建使用future&async进行异步操作......
  • PAT-甲级-1007 Maximum Subsequence Sum C++
    Givenasequenceof K integers{ N1​, N2​,..., N​K }.Acontinuoussubsequenceisdefinedtobe{ Ni​, Ni+1​,..., Nj​ }where 1≤i≤j≤K.TheMaximumSubsequenceisthecontinuoussubsequencewhichhasthelargestsumofitselements.Fore......
  • c++ day 8
    今天终于来学习时间复杂度了当分析算法的时间复杂度时,我们通常关注以下几个方面来确定算法的执行时间:循环次数:循环是算法中常见的结构,它会重复执行一段代码。时间复杂度取决于循环的次数。例如,一个循环从1到n的遍历,时间复杂度就是O(n)。嵌套循环:如果算法中存在多个嵌套循环......