脚本之家 服务器常用软件
快捷导航
您的位置：首页 → 软件编程 → C 语言 → C++智能指针unique_ptr

C++中智能指针unique_ptr的实现详解

 更新时间：2024年01月17日 08:10:34   作者：李慕然  
智能指针本质上并不神秘,其实就是 RAII 资源管理功能的自然展现而已,这篇文章主要为大家详细介绍了如何实现 C++中智能指针的 unique_ptr,需要的可以了解下

前言

智能指针本质上并不神秘，其实就是 RAII 资源管理功能的自然展现而已。本文将介绍如何实现 C++中智能指针的 unique_ptr。

实现过程

首先，unique_ptr 能够包装任意类型，所以，要让这个类能够包装任意类型的指针，我们需要把它变成一个类模板。

template <typename T>
class unique_ptr {
public:
  explicit unique_ptr(T* ptr = nullptr)
    : ptr_(ptr) {}
  ~unique_ptr()
  {
    delete ptr_;
  }
  T* get() const { return ptr_; }
private:
  T* ptr_;
};

目前这个 unique_ptr 的行为还是和指针有点差异的：

  • 它不能用 * 运算符解引用
  • 它不能用 -> 运算符指向对象成员
  • 它不能像指针一样用在布尔表达式里

不过，这些问题也相当容易解决，加几个成员函数就可以：

template <typename T>
class unique_ptr {
public:
  …
  T& operator*() const { return *ptr_; }
  T* operator->() const { return ptr_; }
  operator bool() const { return ptr_; }
}

拷贝构造和赋值

最简单的情况显然是禁止拷贝。我们可以使用下面的代码：

template <typename T>
class unique_ptr {
  …
  unique_ptr(const unique_ptr&) = delete;
  unique_ptr& operator=(const unique_ptr&) = delete;
  …
};

禁用这两个函数非常简单，但是，有时我们需要转移所有权，那么这个方案就不可行了。

这里，我们采用移动语义：

template <typename T>
class unique_ptr {
  …
  unique_ptr(unique_ptr&& other)
  {
    ptr_ = other.release();
  }
  unique_ptr& operator=(unique_ptr rhs)
  {
    rhs.swap(*this);
    return *this;
  }
  …
};
  • 把拷贝构造函数中的参数类型 unique_ptr& 改成了 unique_ptr&&；现在它成了移动构造函数。
  • 把赋值函数中的参数类型 unique_ptr& 改成了 unique_ptr，在构造参数时直接生成新的智能指针，从而不再需要在函数体中构造临时对象。现在赋值函数的行为是移动还是拷贝，完全依赖于构造参数时走的是移动构造还是拷贝构造。 根据 C++ 的规则，如果我提供了移动构造函数而没有手动提供拷贝构造函数，那后者自动被禁用。

子类指针向基类指针的转换

一个 circle* 类是可以隐式转换成 shape* 类的，但上面的 unique_ptr<circle> 却无法自动转换成 unique_ptr<shape>。

不过，只需要额外加一点模板代码，就能实现这一行为。在我们目前给出的实现里，只需要增加一个构造函数即可。

template <typename U>
unique_ptr(unique_ptr<U>&& other)
{
  ptr_ = other.release();
}

这样，我们自然而然利用了指针的转换特性：现在 unique_ptr<circle> 可以移动给 unique_ptr<shape>，但不能移动给 unique_ptr<triangle>。不正确的转换会在代码编译时直接报错。

验证

unique_ptr<shape> ptr1{create_shape(shape_type::circle)};
unique_ptr<shape> ptr2{ptr1};             // 编译出错
unique_ptr<shape> ptr3;
ptr3 = ptr1;                             // 编译出错
ptr3 = std::move(ptr1);                  // OK，可以
unique_ptr<shape> ptr4{std::move(ptr3)};  // OK，可以

完整代码

#include <utility>

template <typename T>
class unique_ptr {
public:
  explicit unique_ptr(T* ptr = nullptr)
    : ptr_(ptr) {}
  ~unique_ptr()
  {
    delete ptr_;
  }
  unique_ptr(unique_ptr&& other)
  {
    ptr_ = other.release();
  }
  // 子类指针向基类指针的转换
  template <typename U>
  unique_ptr(unique_ptr<U>&& other)
  {
    ptr_ = other.release();
  }
  unique_ptr& operator=(unique_ptr rhs)
  {
    rhs.swap(*this);
    return *this;
  }
  T* release()
  {
    T* ptr = ptr_;
    ptr_ = nullptr;
    return ptr;
  }
  void swap(unique_ptr& rhs)
  {
    using std::swap;
    swap(ptr_, rhs.ptr_);
  }
  T* get() const { return ptr_; }
  T& operator*() const { return *ptr_; }
  T* operator->() const { return ptr_; }
  operator bool() const { return ptr_; }
private:
  T* ptr_;
};

总结

自行实现一个 unique_ptr 相对比较简单，因为不涉及引用计数，只需要一个对象只能被单个 unique_ptr 所拥有。

以上就是C++中智能指针unique_ptr的实现详解的详细内容，更多关于C++智能指针unique_ptr的资料请关注脚本之家其它相关文章！

您可能感兴趣的文章:

相关文章

  • C语言实现打印星号图案

    C语言实现打印星号图案

    这篇文章主要介绍了C语言实现打印星号图案，具有很好的参考价值，希望对大家有所帮助。如有错误或未考虑完全的地方，望不吝赐教
    2022-11-11
  • STL常用算法之排序算法详解

    STL常用算法之排序算法详解

    这篇文章主要介绍了STL常用算法之排序算法详解,STL提供了六大组件,彼此之间可以组合套用,这六大组件分别是:容器、算法、迭代器、仿函数、适配器、空间配置器,本文主要讲算法中的排序算法,需要的朋友可以参考下
    2024-01-01
  • C++ std::function详解

    C++ std::function详解

    类模版std::function是一种通用的多态函数包装器std::function的实例可以对任何可以调用的目标实体进行存储、复制、和调用操作，本文详细的介绍一下，感兴趣的可以了解一下
    2021-10-10
  • C++实现堆排序实例介绍

    C++实现堆排序实例介绍

    大家好，本篇文章主要讲的是C++实现堆排序实例介绍，感兴趣的同学赶快来看一看吧，对你有帮助的话记得收藏一下，方便下次浏览
    2021-12-12
  • 基于C++浮点数(float、double)类型数据比较与转换的详解

    基于C++浮点数(float、double)类型数据比较与转换的详解

    本篇文章是对C++中浮点数(float、double)类型数据比较与转换进行了详细的分析介绍，需要的朋友参考下
    2013-05-05
  • 浅谈十进制小数和二进制小数之间的转换

    浅谈十进制小数和二进制小数之间的转换

    下面小编就为大家带来一篇浅谈十进制小数和二进制小数之间的转换。小编觉得挺不错的现在就分享给大家，也给大家做个参考。一起跟随小编过来看看吧
    2017-01-01
  • c语言中if语句是怎么变成汇编代码的详解

    c语言中if语句是怎么变成汇编代码的详解

    if语句是指编程语言,包括c语言、C#、VB、java、汇编语言等,下面这篇文章主要给大家介绍了关于c语言中if语句是怎么变成汇编代码的相关资料,需要的朋友可以参考下
    2021-11-11
  • 下标操作符重载模拟多维数组详解

    下标操作符重载模拟多维数组详解

    虽然不能直接实现一对下标操作符重载，但是我们可以间接模拟。思路是这样的，先通过单下标操作返回一个具有下标操作能力的左值，对左值进行下标操作，两个下标操作表达式联立就实现了双下标操作
    2013-09-09
  • C++实现地铁自动售票系统程序设计

    C++实现地铁自动售票系统程序设计

    这篇文章主要为大家详细介绍了C++实现地铁自动售票系统程序设计，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
    2022-03-03
  • c++分离讲解模板的概念与使用

    c++分离讲解模板的概念与使用

    人们需要编写多个形式和功能都相似的函数，因此有了函数模板来减少重复劳动；人们也需要编写多个形式和功能都相似的类，于是 C++ 引人了类模板的概念，编译器从类模板可以自动生成多个类，避免了程序员的重复劳动
    2022-04-04

最新评论