C++:独占指针(unique_ptr)的理解

2024-08-28 17:12
文章标签 c++ 指针 理解 unique ptr 独占

本文主要是介绍C++:独占指针(unique_ptr)的理解,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

引入

在C++中,动态内存的管理是通过运算符new/delete来完成的:

  • new:在动态内存中为对象分配空间,并且返回一个指向该对象的指针,我们可以选择返回对象对其进行初始化;
  • delete:接受一个动态对象的指针,销毁该对象,并且释放与之关联的内存。

动态分配的对象的生命周期与它们在哪里创建是无关的,只有当显式地被释放时,这些对象才会销毁。

当我们对动态内存的使用不当时,会出现很多麻烦:

  1. 有些内存资源已经被释放,但指向它的指针并没有改变指向(成为了野指针),并且后续还在使用;
  2. 有些内存资源已经被释放,后期又试图再释放一次(重复释放同一块内存会导致程序运行崩溃);
  3. 没有及时释放不再使用的内存资源,造成内存泄漏,程序占用的内存资源越来越多。

为了更容易同时也更安全的使用动态内存,C++11提供了智能指针来管理动态对象。智能指针的行为类似于常规指针,重要的区别在于它负责自动释放所指向的对象。

原理

当我们创建一个类对象时,会自动调用类的默认构造函数。当类对象超出作用域时,会自动调用析构函数来释放资源。

智能指针的实现原理是通过RAII(Resource Acquisition Is Initialization,资源获取即初始化)技术来管理动态分配的内存。它通过在对象的构造函数中获取资源,在对象的析构函数中释放资源,来保证资源的正确使用。

unique_ptr

unique_ptr是独占指针,在同一时刻他只允许一个指针指向对象。

std::unique_ptr<int> u1(new int(2));
auto u2=std::make_unique<int>(2);

由于unique_ptr的独占性,不允许对unique_ptr进行拷贝和赋值。

unique_ptr(const unique_ptr&)=delete;
unique_ptr& operator=(const unique_ptr&)=delete;

可以利用std::move将对象所有权从一个unique_ptr转移给另一个unique_ptr。转移后,原来的unique_ptr将不再拥有对内存的控制权,将变为空指针。

//1.使用release来转移
std::unique_ptr<Test> u1=std::make_unique<Test>(11);
std::unique_ptr<Test> u2(u1.release());//2.使用move来转移
std::unique_ptr<Test> u1=std::make_unique<Test>(11);
std::unique_ptr<Test> u2(std::move(u1));

由于unique_ptr不能被拷贝,所以把unique_ptr作为参数类型会报错

void testUniquePtr(std::unique_ptr<Test> &ptr) {}

如果函数的参数不是引用类型,并且外部不再需要使用该指针,我们可以使用move()或者release()把该对象的控制权转移,将其交由调用的函数管理

void testUniquePtr(std::unique_ptr<Test> ptr) {} //作用域结束,将会释放ptr所指向的对象int main(){std::unique_ptr<Test> up = std::make_unique<Test>(100);//将对象的唯一控制权交给了函数//函数结束后,对象被释放testUniquePtr(std::unique_ptr<Test>(std::move(up)));return 0;
}

如果想把把unique_ptr作为参数返回时,可以调用其move()方法,同时还可以把返回的unique_ptr转换为shared_ptr

//使用move操作,而非拷贝构造函数
std::unique_ptr<Test> test(int i) {return std::make_unique<Test>(i);
}int main(){//使用move给up赋值,而非拷贝构造函数std::unique_ptr<Test> up = test(100);//可以把一个对象的控制权交由shared_ptr来管理std::shared_ptr<Test> sp = test(100);return 0;
}

自定义删除器

unique_ptr的模板类型为:

template<typename __Tp,typename __Dp=default_delete<__Tp> >
class unique_ptr{
......
};

模板的参数,第一个为unique_ptr关联的原始指针类型,后者为删除器,默认值为default_delete、删除器是unique_ptr类型的组成部分,可以是普通函数指针、函数对象或者lambda表达式。当需要自定义删除器时,我们需要指定其类型,即__Dp不可省略,我们可以通过decltype来获得其类型。

//1.函数指针
void myDeleter(Test* p){delete p;
}std::unique_ptr<Test,decltype<&myDeleter) > ptr1(new Test(),myDeleter);//2.函数对象
class MyDeleter{
public:void operator()(int *p){delete[] p;}
};
std::unique_ptr<int[],MyDeleter> p2(new int[100],MyDeleter());//3.lambda表达式std::unique_ptr<int,void(*)(int*)> p3(new int(1),[](int *p){ delete p;});

常用函数

get():返回智能指针中保存的原生指针

reset():释放原生指针,并将原指针置空

reset(q):释放原生指针,使智能指针指向新的原生指针。

swap(p,q):交换智能指针p和q的原生指针

独占指针unique_ptr不需要维护引用计数和原子操作,因此比共享指针shared_ptr所消耗的内存更少,性能也更好。

template<class T>
class Unique_Ptr{
private:T* m_p;
public:explicit Unique_Ptr(T* p=nullptr):m_p(p) {}~Unique_Ptr(){if(m_p)delete m_p;}Unique_Ptr(const Unique_Ptr& )=delete;Unique_Ptr& operator=(const Unique_Ptr&)=delete;//移动构造函数Unique_Ptr(Unique_Ptr&& that) noexcept :m_p(that.m_p){that.m_p=nullptr;}//移动赋值函数Unique_Ptr& operator=(Unique_Ptr&& that) noexcept {if(this!=&that){if(m_p!=nullptr){delete m_p;}m_p=that.m_p;that.m_p=nullptr;}return *this;}void swap(Unique_Ptr& that) noexcept {std::swap(m_p,that.m_p);}T* get() const noexcept {return m_p;}T* release() noexcept {T* tmp=m_p;m_p=nullptr;return tmp;}void reset() noexcept {if(m_p!=nullptr)delete m_p;m_p=nullptr;      }void reset(T* p) noexcept {if(m_p!=nullptr)delete m_p;m_p=p;}T& operator*() noexcept {return *m_p;}T* operator->() noexcept {return m_p;}explicit operator bool() const noexcept {return m_p != nullptr;}bool operator==(Unique_Ptr const& that) const noexcept {return m_p == that.m_p;}bool operator!=(Unique_Ptr const& that) const noexcept {return m_p != that.m_p;}};

这篇关于C++:独占指针(unique_ptr)的理解的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1115383

相关文章

认识、理解、分类——acm之搜索

普通搜索方法有两种:1、广度优先搜索;2、深度优先搜索; 更多搜索方法: 3、双向广度优先搜索; 4、启发式搜索(包括A*算法等); 搜索通常会用到的知识点:状态压缩(位压缩,利用hash思想压缩)。

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获:包含零个或者多个捕获符的逗号分隔列表 模板形参:用于泛型lambda提供个模板形参的名

【生成模型系列(初级)】嵌入(Embedding)方程——自然语言处理的数学灵魂【通俗理解】

【通俗理解】嵌入(Embedding)方程——自然语言处理的数学灵魂 关键词提炼 #嵌入方程 #自然语言处理 #词向量 #机器学习 #神经网络 #向量空间模型 #Siri #Google翻译 #AlexNet 第一节:嵌入方程的类比与核心概念【尽可能通俗】 嵌入方程可以被看作是自然语言处理中的“翻译机”,它将文本中的单词或短语转换成计算机能够理解的数学形式,即向量。 正如翻译机将一种语言

6.1.数据结构-c/c++堆详解下篇(堆排序,TopK问题)

上篇:6.1.数据结构-c/c++模拟实现堆上篇(向下,上调整算法,建堆,增删数据)-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小): 2.2 C语言代码(手写堆) 2.3 C++代码(使用优先级队列 priority_queue)

【C++高阶】C++类型转换全攻略:深入理解并高效应用

📝个人主页🌹:Eternity._ ⏩收录专栏⏪:C++ “ 登神长阶 ” 🤡往期回顾🤡:C++ 智能指针 🌹🌹期待您的关注 🌹🌹 ❀C++的类型转换 📒1. C语言中的类型转换📚2. C++强制类型转换⛰️static_cast🌞reinterpret_cast⭐const_cast🍁dynamic_cast 📜3. C++强制类型转换的原因📝

C++——stack、queue的实现及deque的介绍

目录 1.stack与queue的实现 1.1stack的实现  1.2 queue的实现 2.重温vector、list、stack、queue的介绍 2.1 STL标准库中stack和queue的底层结构  3.deque的简单介绍 3.1为什么选择deque作为stack和queue的底层默认容器  3.2 STL中对stack与queue的模拟实现 ①stack模拟实现