C++智能指针

简介: **C++智能指针是RAII技术的体现,用于自动管理动态内存,防止内存泄漏。主要有三种类型:已废弃的std::auto_ptr、不可复制的std::unique_ptr和可共享的std::shared_ptr。std::unique_ptr通过禁止拷贝和赋值确保唯一所有权,而std::shared_ptr使用引用计数来协调多个指针对同一资源的共享。在C++17中,std::auto_ptr因设计缺陷被移除。**

C++智能指针

智能指针是一种用于管理动态分配内存的对象,可以在内存不再需要时自动释放。智能指针通过重载了指针操作符的类来实现,以模拟指针的行为,但具有自动资源管理的功能。

RAII思想

RAII 是资源获取即初始化(Resource Acquisition Is Initialization)的缩写,是一种 C++ 编程范式,它通过在对象的构造函数中获取资源,利用对象的生命周期来管理资源的释放,从而确保资源在不再需要时被正确释放。智能指针是RAII思想的一种产物,在多线程中,守卫锁Guard Lock也是一种常见的RAII风格的加锁方式。

RAII风格的Lock Guard(Linux下原生线程库)

#pragma once
#include <iostream>
#include <pthread.h>
//RAII枷鎖
class Mutex
{
    
public:
    Mutex(pthread_mutex_t* mutex)
    :_mutex(mutex)
    {
    
        pthread_mutex_init(_mutex,nullptr);
    }
    void lock()
    {
    
        pthread_mutex_lock(_mutex);
    }
    void unlock()
    {
    
        pthread_mutex_unlock(_mutex);
    }
    ~Mutex()
    {
    
        pthread_mutex_destroy(_mutex);
    }
private:
    pthread_mutex_t* _mutex;
};
class LockGuard
{
    
public:
    LockGuard(pthread_mutex_t* pmtx)
    :_mtx(pmtx)
    {
    
        _mtx.lock();
    }
    ~LockGuard()
    {
    
        _mtx.unlock();
    }
private:
    Mutex _mtx;
};

智能指针

C++标准库提供了两种主要的智能指针:std::unique_ptrstd::shared_ptr。此外,C++17还引入了 std::weak_ptr

在C++98中还引入了auto_ptr

std::auto_ptr

C++在C++98中就引入了auto_ptr,但是但在 C++11 标准中已经被废弃,并在 C++17 中被完全移除。这是因为 auto_ptr 存在一些严重的缺陷。

问题如下:

int main()
{
   
    std::auto_ptr<int> p1(new int);
    std::auto_ptr<int> p2(p1);
    *p1 = 10;
    *p2 = 10;
    std::cout << *p1 << std::endl;
    std::cout << *p2 << std::endl;
    return 0;
}

上面的代码以指针的角度来看,就是让两个指针维护同一块地址空间,但是上面程序运行会奔溃。这是标准库中的auto_ptr

简单实现一份auto_ptr然后了解一下auto_ptr的问题。

#pragma once
#include <iostream>
namespace ding
{
   
    template<class T>
    class auto_ptr
    {
   
    public:
        auto_ptr(T* ptr)
            :_ptr(ptr)
        {
   }
        auto_ptr(auto_ptr<T> & sp)
            :_ptr(sp._ptr)
        {
   
            sp._ptr = nullptr;
        }
        //赋值运算符(注意先释放原空间在赋值 以及自己给自己赋值的情况)
        auto_ptr<T>& operator=(const auto_ptr<T>& sp)
        {
   
            if (&sp != this)
            {
   
                if (_ptr != nullptr)
                {
   
                    delete _ptr;
                }
                _ptr = sp._ptr;
                sp._ptr = nullptr;
            }
            return *this;
        }
        //模拟指针行为
        T& operator*() const
        {
   
            return *_ptr;
        }
        T* operator->() const
        {
   
            return _ptr;
        }
        ~auto_ptr()
        {
   
            if (_ptr != nullptr)
            {
   
                delete _ptr;
            }
        }
    private:
        T* _ptr;
    };
}

使用auto_ptr

#include "auto_ptr.h"
int main()
{
   
    ding::auto_ptr<int> p1(new int);
    ding::auto_ptr<int> p2(p1);
    *p1 = 10;
    *p2 = 10;
    std::cout << *p1 << std::endl;
    std::cout << *p2 << std::endl;
    return 0;
}

当执行完ding::auto_ptr<int> p2(p1);后,p1对象的指针以及被置空了,在对齐解引用,就会出现对空指针解用的问题。空指针是不解引用的。这种情况编译器应该要出警告的,但是我的编译器还是能运行的,只是退出码不正常。这应该是vs2022的bug(我用的是2022测试版的)。

只能通过监视窗口来看image-20240401212420444

C++98提供的auto_ptr最大的问题就是这个了,称之为管理权转移,将p1的管理权转移给p2然后自己悬空。导致了auto_ptr直接被禁用,甚至在17中被移除了。

std::unique_ptr

经过十几年后,在C++11中,出现了比auto_ptr更靠谱的unique_ptrunique_ptr主要解决auto_ptr带来的问题,在unique_ptr中直接禁用了拷贝和赋值。

std::unique_ptr的使用

int main()
{
    
    std::unique_ptr<int> p1(new int);
    std::unique_ptr<int> p2(p1);//error
    p2 = p1;//error
}

unique_ptr不能再使用拷贝和赋值了,所以他的使用场景就被限制了,对于有些地址空间需要更多的指针来维护是不能实现的。

std::unique_ptr简易模拟实现

unique_ptr就很简单了,对比auto_ptr直接把拷贝构造和赋值用C++11的语法用delete禁用就行了。

namespace ding
{
   
    template<class T>
    class unique_ptr
    {
   
    public:
        unique_ptr(T* ptr)
            :_ptr(ptr)
        {
   }
        unique_ptr(unique_ptr<T>& sp) = delete;
        //赋值运算符(注意先释放原空间在赋值 以及自己给自己赋值的情况)
        unique_ptr<T>& operator=(const unique_ptr<T>& sp) = delete;
        //模拟指针行为
        T& operator*() const
        {
   
            return *_ptr;
        }
        T* operator->() const
        {
   
            return _ptr;
        }
        ~unique_ptr()
        {
   
            if (_ptr != nullptr)
            {
   
                delete _ptr;
            }
        }
    private:
        T* _ptr;
    };
}

std::shared_ptr

C++11还提供了更靠谱的智能指针shared_ptr。解决了auto_ptr的悬空问题和unique_ptr的防拷贝问题。

std::shared_ptr 使用引用计数来跟踪有多少个智能指针指向相同的资源,当最后一个 std::shared_ptr 被销毁时,它所管理的资源也会被释放。

  1. shared_ptr在其内部,给每个资源都维护了着一份计数,用来记录该份资源被几个对象共享。
  2. 在对象被销毁时(也就是析构函数调用),就说明自己不使用该资源了,对象的引用计数减 一。
  3. 如果引用计数是0,就说明自己是最后一个使用该资源的对象,必须释放该资源;
  4. 如果不是0,就说明除了自己还有其他对象在使用该份资源,不能释放该资源,否则其他对 象就成野指针了。

shared_ptr 简易模拟实现

namespace ding
{
   
    template<class T>
    class shared_ptr
    {
   
    public:
        shared_ptr(T* ptr )
            :_ptr(ptr)
            ,_ref_count(new size_t(1))
        {
   }
        shared_ptr(shared_ptr<T>& sp)
            :_ptr(sp._ptr)
            ,_ref_count(sp._ref_count)
        {
   
            ++(*_ref_count);
        }
        T& operator=(shared_ptr<T>& sp)
        {
   
            if (this != &sp)
            {
   
                //释放
                if (--(*_ref_count) == 0)
                {
   
                    delete _ref_count;
                    delete _ptr;
                }
                _ptr = sp._ptr;
                _ref_count = sp._ref_count;
                ++(*_ref_count);
            }
        }
        T& operator*() const 
        {
   
            return *_ptr;
        }
        T* operator->()const
        {
   
            return _ptr;
        }
        ~shared_ptr()
        {
   
            if (--(*_ref_count) == 0)
            {
   
                delete _ptr;
                delete _ref_count;
            }
        }
    private:
        T* _ptr;
        size_t* _ref_count;//引用计数
    };
}
相关文章
|
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++中指针和引用的概念、使用场景和操作技巧,包括指针的定义、指针与数组、指针与函数的关系,以及引用的基本使用、注意事项和作为函数参数和返回值的用法。
39 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()`。