unique_ptr通过禁止拷贝和允许移动来保证资源独占所有权，其核心机制包括：1. 显式删除拷贝构造函数和赋值运算符，防止多个unique_ptr指向同一资源；2. 提供移动构造函数和移动赋值运算符，允许资源所有权转移，原指针变为nullptr；3. 析构函数自动释放资源，确保资源只被释放一次。移动语义使资源可在不同unique_ptr间高效转移，而无需拷贝，是其实现独占语义的关键支撑。
unique_ptr
通过禁止拷贝，只允许移动，来保证独占所有权。C++的移动语义允许资源所有权的转移，避免了不必要的拷贝，在
unique_ptr
中起到了关键作用。
unique_ptr
如何保证资源的独占性，以及移动语义在其中的具体作用？
unique_ptr
unique_ptr
如何实现独占所有权？
unique_ptr
的设计哲学是“一个指针，一份资源”。为了实现这一点，它做了以下几件事：
立即学习“C++免费学习笔记（深入）”；
-
禁止拷贝构造和拷贝赋值：
unique_ptr
的拷贝构造函数和拷贝赋值运算符被显式删除（
= delete
）。这意味着你不能通过拷贝来创建新的
unique_ptr
实例，从而避免了多个
unique_ptr
指向同一块内存的情况。试图拷贝
unique_ptr
会导致编译错误。
#include <iostream> #include <memory> int main() { std::unique_ptr<int> ptr1(new int(10)); // std::unique_ptr<int> ptr2 = ptr1; // 错误：拷贝构造函数被删除 return 0; } -
允许移动构造和移动赋值：虽然不能拷贝，但
unique_ptr
支持移动操作。移动构造函数和移动赋值运算符会将资源的所有权从一个
unique_ptr
转移到另一个
unique_ptr
。转移后，原来的
unique_ptr
会变成空指针（
nullptr
），不再拥有任何资源。
#include <iostream> #include <memory> int main() { std::unique_ptr<int> ptr1(new int(10)); std::unique_ptr<int> 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
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
。
下面是一个更详细的例子，展示了移动语义在
unique_ptr
中的应用：
#include <iostream> #include <memory> class MyClass { public: MyClass() { std::cout << "MyClass constructor called" << std::endl; } ~MyClass() { std::cout << "MyClass destructor called" << std::endl; } }; int main() { std::unique_ptr<MyClass> ptr1(new MyClass()); // 构造MyClass对象 std::unique_ptr<MyClass> 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
最核心的优势在于其自动化的内存管理。使用裸指针时，程序员需要手动分配和释放内存，这很容易导致内存泄漏或悬挂指针。
unique_ptr
通过RAII（Resource Acquisition Is Initialization）原则，在对象构造时获取资源，在对象析构时自动释放资源，从而避免了这些问题。
另外，
unique_ptr
明确表达了所有权的概念。通过
unique_ptr
，可以清晰地知道哪个对象拥有资源，从而避免了多个对象同时拥有同一资源导致的潜在问题。
如何自定义
unique_ptr
unique_ptr
的删除器？
默认情况下，
unique_ptr
使用
delete
运算符来释放它所拥有的资源。但是，在某些情况下，你可能需要使用自定义的删除器。例如，你可能需要使用特定的函数来释放资源，或者你可能需要处理一些特殊的资源类型。
你可以通过在
unique_ptr
的模板参数中指定删除器类型来实现自定义删除器。删除器可以是函数指针、函数对象或lambda表达式。
#include <iostream> #include <memory> // 使用函数指针作为删除器 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<int, void(*)(int*)> ptr1(new int(10), myDeleter); // 使用函数指针 std::unique_ptr<int, MyDeleter> ptr2(new int(20), MyDeleter()); // 使用函数对象 // 使用lambda表达式作为删除器 std::unique_ptr<int, std::function<void(int*)>> ptr3(new int(30), [](int* ptr) { std::cout << "Custom deleter lambda called" << std::endl; delete ptr; }); return 0; // 程序结束时，会调用自定义的删除器 }
unique_ptr
unique_ptr
在实际项目中的应用场景有哪些？
unique_ptr
在现代C++项目中被广泛使用，主要用于以下场景：
-
管理动态分配的内存：这是
unique_ptr
最常见的用途。它可以确保动态分配的内存在使用完毕后被正确释放，避免内存泄漏。
-
实现RAII原则：
unique_ptr
可以与其他资源管理类结合使用，实现RAII原则，确保资源在使用完毕后被正确释放。例如，可以使用
unique_ptr
来管理文件句柄、网络连接等资源。
-
作为工厂函数的返回值：工厂函数通常用于创建对象。使用
unique_ptr
作为工厂函数的返回值可以确保资源的所有权被正确转移给调用者。
-
在容器中存储对象：
unique_ptr
可以存储在标准库容器中，例如
vector
、
list
等。这使得可以方便地管理动态分配的对象集合。
总之，
unique_ptr
是C++中管理动态分配内存的强大工具，它通过独占所有权和移动语义，有效地避免了内存泄漏和悬挂指针等问题，提高了代码的可靠性和安全性。
评论（已关闭）
评论已关闭