[C/C++]智能指针是什么?实现原理是什么?

智能指针

        智能指针是C++提供的一种资源管理工具,用于自动管理动态分配的内存,避免手动调用 new delete 时可能出现的内存泄漏、悬挂指针等问题。智能指针通过封装原始指针,并在适当的时候自动释放资源,从而简化了内存管理。

    智能指针在C++11版本之后提供,包含在头文件<memory>中,主要包括以下几种shared_ptr、unique_ptr、weak_ptr:

std::unique_ptr

独占所有权的智能指针

每个 unique_ptr 对象只能拥有一个指向的对象,不能复制,但可以转移所有权

std::shared_ptr

共享所有权的智能指针

多个 shared_ptr 可以同时指向同一个对象,当最后一个 shared_ptr 被销毁或重置时,才会释放所指向的对象

std::weak_ptr

弱引用智能指针

配合shared_ptr引入的一种智能指针,它不增加引用计数,主要用于解决 shared_ptr 之间的循环引用问题

简述

  • unique_ptr:独占式指针,同一时刻只能有一个指针指向同一个对象
  • shared_ptr:共享式指针,同一时刻可以有多个指针指向同一个对象
  • weak_ptr:用来解决shared_ptr相互引用导致的死锁问题

理解

  1. 智能指针利用了RAII(Resource Acquisition Is Initializatio 资源获取即初始化)
    对普通的指针进行封装,这使得智能指针实质是一个对象,行为表现的却像一个指针
  2. 智能指针防止
    ①忘记调用delete释放内存
    ②程序异常的进入catch块忘记释放内存
    ③多次释放同一个指针(会造成程序崩溃)
  3. 智能指针把值语义转换成引用语义

    

实现原理

1. std::unique_ptr 的实现原理

std::unique_ptr 是最简单的智能指针,它的实现基于 RAII(Resource Acquisition Is Initialization)原则。unique_ptr 在构造时获取资源,在析构时自动释放资源。由于它是独占所有权的,因此不允许复制,但可以通过 std::move 来转移所有权。

2. std::shared_ptr 的实现原理

std::shared_ptr 通过引用计数机制来管理对象的生命周期。多个 shared_ptr 可以共享同一个对象,只有当所有共享该对象的 shared_ptr 都被销毁或重置时,才会释放该对象。

引用计数:shared_ptr 内部维护一个控制块(control block),其中包含两个计数器:

强引用计数:记录有多少个 shared_ptr 正在共享该对象。当强引用计数为 0 时,对象会被销毁。

弱引用计数:记录有多少个 weak_ptr 正在引用该对象。弱引用计数用于管理控制块的生命周期,当弱引用计数也为 0 时,控制块也会被释放。

线程安全:shared_ptr 的引用计数操作是线程安全的,即多个线程可以同时对同一个 shared_ptr 进行增减引用计数,而不会导致竞争条件。

3. std::weak_ptr 的实现原理

std::weak_ptr 是 shared_ptr 的一种弱引用形式,它不增加强引用计数,因此不会影响对象的生命周期。weak_ptr 主要用于解决 shared_ptr 之间的循环引用问题。

弱引用:weak_ptr 不直接持有对象的所有权,它只是通过 shared_ptr 的控制块来访问对象。如果对象已经被销毁,weak_ptr 会感知到这一点,并返回一个空的 shared_ptr。

锁机制:通过 lock() 方法,weak_ptr 可以临时获得一个 shared_ptr,从而安全地访问对象。如果对象已经被销毁,lock() 会返回一个空的 shared_ptr。

代码示例

#include <iostream>
#include <memory>  // 引入智能指针的头文件

// 定义一个简单的类
class Resource {
public:
    Resource() { std::cout << "Resource created\n"; }
    ~Resource() { std::cout << "Resource destroyed\n"; }

    void doSomething() const {
        std::cout << "Doing something...\n";
    }
};

int main() {
    // === 使用 unique_ptr ===
    {
        // 创建一个 unique_ptr,独占所有权
        std::unique_ptr<Resource> uniquePtr = std::make_unique<Resource>();

        // 调用对象的方法
        uniquePtr->doSomething();

        // 尝试复制 unique_ptr(编译错误)
        // std::unique_ptr<Resource> anotherUniquePtr = uniquePtr;

        // 移动所有权
        std::unique_ptr<Resource> movedUniquePtr = std::move(uniquePtr);

        // uniquePtr 现在为空,无法再访问资源
        if (!uniquePtr) {
            std::cout << "uniquePtr is now empty\n";
        }

        // movedUniquePtr 仍然持有资源
        movedUniquePtr->doSomething();
    }  // 当作用域结束时,movedUniquePtr 自动释放资源

    std::cout << "After unique_ptr scope\n";

    // === 使用 shared_ptr ===
    {
        // 创建一个 shared_ptr,共享所有权
        std::shared_ptr<Resource> sharedPtr1 = std::make_shared<Resource>();

        // 获取引用计数
        std::cout << "Reference count: " << sharedPtr1.use_count() << "\n";

        // 创建另一个 shared_ptr,共享同一个对象
        std::shared_ptr<Resource> sharedPtr2 = sharedPtr1;
        std::cout << "Reference count after copying: " << sharedPtr1.use_count() << "\n";

        // 调用对象的方法
        sharedPtr1->doSomething();

        // 当 sharedPtr2 超出作用域时,引用计数减1
    }  // sharedPtr2 超出作用域,引用计数变为1

    // sharedPtr1 仍然存在,对象不会被销毁
    std::cout << "After shared_ptr2 scope\n";

    // === 使用 weak_ptr ===
    {
        // 创建一个 shared_ptr,用于创建 weak_ptr
        std::shared_ptr<Resource> sharedPtr3 = std::make_shared<Resource>();

        // 创建一个 weak_ptr,弱引用 sharedPtr3 所指向的对象
        std::weak_ptr<Resource> weakPtr = sharedPtr3;

        // 检查 weak_ptr 是否仍然有效
        if (auto lockedPtr = weakPtr.lock()) {
            // 如果对象仍然存在,lockedPtr 是一个有效的 shared_ptr
            std::cout << "Object is still alive\n";
            lockedPtr->doSomething();
        } else {
            // 对象已被销毁
            std::cout << "Object has been destroyed\n";
        }

        // 释放 sharedPtr3,对象将被销毁
        sharedPtr3.reset();

        // 再次检查 weak_ptr
        if (auto lockedPtr = weakPtr.lock()) {
            // 对象已被销毁,lockedPtr 为空
            std::cout << "Object is still alive\n";
        } else {
            std::cout << "Object has been destroyed\n";
        }
    }

    return 0;
}

代码输出 

Resource created
Doing something...
uniquePtr is now empty
Doing something...
Resource destroyed
After unique_ptr scope
Resource created
Reference count: 1
Reference count after copying: 2
Doing something...
Resource destroyed
After shared_ptr2 scope
Resource created
Object is still alive
Doing something...
Resource destroyed
Object has been destroyed

        智能指针是C++中非常重要的工具,能够有效管理动态分配的内存,避免常见的内存管理问题。std::unique_ptr 适用于独占所有权的场景,std::shared_ptr 适用于共享所有权的场景,而 std::weak_ptr 则用于解决循环引用问题。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

叶孤程

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值