unique_ptr怎样实现独占所有权详解C++移动语义在智能指针中的应用

P粉602998670

发布时间：2025-08-17 08:55:02

1041人浏览过

来源于php中文网

原创

unique_ptr通过禁止拷贝和允许移动来保证资源独占所有权，其核心机制包括：1. 显式删除拷贝构造函数和赋值运算符，防止多个unique_ptr指向同一资源；2. 提供移动构造函数和移动赋值运算符，允许资源所有权转移，原指针变为nullptr；3. 析构函数自动释放资源，确保资源只被释放一次。移动语义使资源可在不同unique_ptr间高效转移，而无需拷贝，是其实现独占语义的关键支撑。

unique_ptr怎样实现独占所有权详解C++移动语义在智能指针中的应用

unique_ptr

通过禁止拷贝，只允许移动，来保证独占所有权。C++的移动语义允许资源所有权的转移，避免了不必要的拷贝，在

unique_ptr

中起到了关键作用。

unique_ptr

如何保证资源的独占性，以及移动语义在其中的具体作用？

unique_ptr

如何实现独占所有权？

unique_ptr

的设计哲学是“一个指针，一份资源”。为了实现这一点，它做了以下几件事：

立即学习“C++免费学习笔记（深入）”；

禁止拷贝构造和拷贝赋值：
```
unique_ptr
```
的拷贝构造函数和拷贝赋值运算符被显式删除（
```
= delete
```
）。这意味着你不能通过拷贝来创建新的
```
unique_ptr
```
实例，从而避免了多个
```
unique_ptr
```
指向同一块内存的情况。试图拷贝
```
unique_ptr
```
会导致编译错误。
```
#include 
#include 

int main() {
    std::unique_ptr ptr1(new int(10));
    // std::unique_ptr ptr2 = ptr1; // 错误：拷贝构造函数被删除
    return 0;
}
```

允许移动构造和移动赋值：虽然不能拷贝，但

unique_ptr

支持移动操作。移动构造函数和移动赋值运算符会将资源的所有权从一个

unique_ptr

转移到另一个

unique_ptr

。转移后，原来的

unique_ptr

会变成空指针（

nullptr

），不再拥有任何资源。

#include 
#include 

int main() {
    std::unique_ptr ptr1(new int(10));
    std::unique_ptr ptr2 = std::move(ptr1); // OK：移动构造
    if (ptr1 == nullptr) {
        std::cout << "ptr1 is now null" << std::endl; // 输出：ptr1 is now null
    }
    std::cout << *ptr2 << std::endl; // 输出：10
    return 0;
}

析构函数释放资源：当
```
unique_ptr
```
对象销毁时，它的析构函数会自动释放它所拥有的资源（即它指向的内存）。由于
```
unique_ptr
```
保证了独占所有权，因此可以确保资源只会被释放一次，避免了double free的问题。

移动语义在

unique_ptr

中的作用

C++11引入的移动语义是

unique_ptr

实现独占所有权的关键。移动语义允许资源的所有权从一个对象转移到另一个对象，而不需要进行深拷贝。这对于

unique_ptr

来说至关重要，因为它需要能够将资源的所有权从一个

unique_ptr

转移到另一个

unique_ptr

，而不能简单地拷贝资源。

如果没有移动语义，

unique_ptr

的实现将会非常困难，甚至是不可能的。因为如果只能通过拷贝来传递资源的所有权，那么就无法保证资源的独占性。

具体来说，移动语义通过以下方式在

unique_ptr

中发挥作用：

移动构造函数：移动构造函数接受一个右值引用作为参数，它会将右值引用的资源的所有权转移到新创建的对象。在
```
unique_ptr
```
中，移动构造函数会将源
```
unique_ptr
```
的指针设置为
```
nullptr
```
，并将指针的值赋给新的
```
unique_ptr
```
。
移动赋值运算符：移动赋值运算符也接受一个右值引用作为参数，它会将右值引用的资源的所有权转移到当前对象。在
```
unique_ptr
```
中，移动赋值运算符会先释放当前
```
unique_ptr
```
所拥有的资源（如果存在），然后将源
```
unique_ptr
```
的指针设置为
```
nullptr
```
，并将指针的值赋给当前
```
unique_ptr
```
。

一览AI绘图
一览AI绘图是一览科技推出的AIGC作图工具，用AI灵感助力，轻松创作高品质图片

下载

下面是一个更详细的例子，展示了移动语义在

unique_ptr

中的应用：

#include 
#include 

class MyClass {
public:
    MyClass() {
        std::cout << "MyClass constructor called" << std::endl;
    }
    ~MyClass() {
        std::cout << "MyClass destructor called" << std::endl;
    }
};

int main() {
    std::unique_ptr ptr1(new MyClass()); // 构造MyClass对象
    std::unique_ptr ptr2 = std::move(ptr1); // 移动所有权

    if (ptr1 == nullptr) {
        std::cout << "ptr1 is now null" << std::endl; // 输出：ptr1 is now null
    }

    // ptr2拥有资源，当ptr2销毁时，MyClass的析构函数会被调用
    return 0; // 程序结束时，ptr2被销毁，MyClass析构函数被调用
}

unique_ptr

和裸指针相比有什么优势？

unique_ptr

最核心的优势在于其自动化的内存管理。使用裸指针时，程序员需要手动分配和释放内存，这很容易导致内存泄漏或悬挂指针。

unique_ptr

通过RAII（Resource Acquisition Is Initialization）原则，在对象构造时获取资源，在对象析构时自动释放资源，从而避免了这些问题。

另外，

unique_ptr

明确表达了所有权的概念。通过

unique_ptr

，可以清晰地知道哪个对象拥有资源，从而避免了多个对象同时拥有同一资源导致的潜在问题。

如何自定义

unique_ptr

的删除器？

默认情况下，

unique_ptr

使用

delete

运算符来释放它所拥有的资源。但是，在某些情况下，你可能需要使用自定义的删除器。例如，你可能需要使用特定的函数来释放资源，或者你可能需要处理一些特殊的资源类型。

你可以通过在

unique_ptr

的模板参数中指定删除器类型来实现自定义删除器。删除器可以是函数指针、函数对象或lambda表达式。

#include 
#include 

// 使用函数指针作为删除器
void myDeleter(int* ptr) {
    std::cout << "Custom deleter called" << std::endl;
    delete ptr;
}

// 使用函数对象作为删除器
struct MyDeleter {
    void operator()(int* ptr) {
        std::cout << "Custom deleter functor called" << std::endl;
        delete ptr;
    }
};

int main() {
    std::unique_ptr ptr1(new int(10), myDeleter); // 使用函数指针
    std::unique_ptr ptr2(new int(20), MyDeleter()); // 使用函数对象

    // 使用lambda表达式作为删除器
    std::unique_ptr> ptr3(new int(30), [](int* ptr) {
        std::cout << "Custom deleter lambda called" << std::endl;
        delete ptr;
    });

    return 0; // 程序结束时，会调用自定义的删除器
}

unique_ptr

在实际项目中的应用场景有哪些？

unique_ptr

在现代C++项目中被广泛使用，主要用于以下场景：

管理动态分配的内存：这是
```
unique_ptr
```
最常见的用途。它可以确保动态分配的内存在使用完毕后被正确释放，避免内存泄漏。
实现RAII原则：
```
unique_ptr
```
可以与其他资源管理类结合使用，实现RAII原则，确保资源在使用完毕后被正确释放。例如，可以使用
```
unique_ptr
```
来管理文件句柄、网络连接等资源。
作为工厂函数的返回值：工厂函数通常用于创建对象。使用
```
unique_ptr
```
作为工厂函数的返回值可以确保资源的所有权被正确转移给调用者。
在容器中存储对象：
```
unique_ptr
```
可以存储在标准库容器中，例如
```
vector
```
、
```
list
```
等。这使得可以方便地管理动态分配的对象集合。