实现一个类似智能指针的类核心在于利用raii原则绑定资源与对象生命周期,通过封装原始指针确保资源自动释放,解决内存泄漏和悬空指针等问题。1. 使用模板类包装原始指针并重载解引用与成员访问运算符;2. 在析构函数中释放资源以实现自动管理;3. 禁用拷贝构造与赋值操作确保独占所有权;4. 实现移动构造与赋值转移所有权;5. 提供get、release、reset等接口用于资源获取与替换;6. 通过operator bool支持空指针检查。相比标准库unique_ptr,该简化版本缺少自定义删除器、数组特化、make_unique支持及多态转换等功能,但已体现raii与移动语义的核心机制。

实现一个类似智能指针的类,核心在于利用C++的RAII(Resource Acquisition Is Initialization)原则,将资源的生命周期管理与对象的生命周期绑定。简单来说,就是用一个类来包装原始指针,确保当这个包装类对象被销毁时,它所持有的资源(比如动态分配的内存)也能被自动释放,从而避免内存泄漏和悬空指针等问题。

我一直觉得,理解智能指针,光看概念是远远不够的,得自己上手写一个,哪怕是简化版。你会发现,那些平时觉得有点玄乎的RAII原则,一下就变得具体起来了。

#include <iostream> // 仅用于示例中的输出
// 示例:一个简单的资源类,用于观察构造和析构
struct MyResource {
int value;
MyResource(int v) : value(v) {
std::cout << "MyResource(" << value << ") constructed.\n";
}
~MyResource() {
std::cout << "MyResource(" << value << ") destroyed.\n";
}
void do_something() {
std::cout << "MyResource(" << value << ") doing something.\n";
}
};
// 简化版智能指针:MyUniquePtr
// 模仿std::unique_ptr,实现独占所有权
template <typename T>
class MyUniquePtr {
private:
T* ptr; // 持有的原始指针
public:
// 构造函数:接受一个原始指针
// explicit关键字避免隐式类型转换
explicit MyUniquePtr(T* p = nullptr) : ptr(p) {
// std::cout << "MyUniquePtr constructed with ptr: " << ptr << "\n";
}
// 析构函数:确保在MyUniquePtr对象销毁时,其管理的资源也被释放
~MyUniquePtr() noexcept { // 析构函数应为noexcept
// std::cout << "MyUniquePtr destructed, deleting ptr: " << ptr << "\n";
delete ptr;
}
// 禁用拷贝构造函数和拷贝赋值运算符
// 独占所有权意味着不能复制,只能移动
MyUniquePtr(const MyUniquePtr&) = delete;
MyUniquePtr& operator=(const MyUniquePtr&) = delete;
// 移动构造函数:从另一个MyUniquePtr对象“窃取”所有权
MyUniquePtr(MyUniquePtr&& other) noexcept : ptr(other.ptr) {
other.ptr = nullptr; // 将原对象置空,防止其析构时误删资源
// std::cout << "MyUniquePtr move constructed.\n";
}
// 移动赋值运算符:同理,转移所有权
MyUniquePtr& operator=(MyUniquePtr&& other) noexcept {
if (this != &other) { // 避免自我赋值
delete ptr; // 先释放当前持有的资源
ptr = other.ptr;
other.ptr = nullptr;
}
// std::cout << "MyUniquePtr move assigned.\n";
return *this;
}
// 解引用运算符:允许像操作原始指针一样操作对象
T& operator*() const {
// 实际使用时,这里应该检查ptr是否为nullptr,避免空指针解引用
// 但为了简化,这里暂时省略
return *ptr;
}
// 成员访问运算符:允许通过->访问成员
T* operator->() const {
return ptr;
}
// 获取原始指针:通常不建议直接使用,除非必要
T* get() const noexcept {
return ptr;
}
// 释放所有权:返回原始指针,并将MyUniquePtr置空
// 调用者现在负责管理返回的原始指针
T* release() noexcept {
T* oldPtr = ptr;
ptr = nullptr;
return oldPtr;
}
// 重置:释放当前资源,并管理新的原始指针
void reset(T* p = nullptr) noexcept {
if (ptr != p) { // 避免删除自身(如果p就是当前ptr)
delete ptr;
ptr = p;
}
}
// 转换为bool:判断是否持有有效指针
explicit operator bool() const noexcept {
return ptr != nullptr;
}
};
// 示例用法
// int main() {
// std::cout << "--- Creating p1 ---\n";
// MyUniquePtr<MyResource> p1(new MyResource(10)); // 独占MyResource(10)
// p1->do_something();
// std::cout << "p1 value: " << (*p1).value << "\n";
// std::cout << "--- Attempting copy (will fail to compile) ---\n";
// // MyUniquePtr<MyResource> p2 = p1; // 编译错误:拷贝构造函数被禁用
// std::cout << "--- Moving p1 to p3 ---\n";
// MyUniquePtr<MyResource> p3 = std::move(p1); // 移动所有权,p1变空
// if (p1) {
// std::cout << "p1 is still valid (should not happen).\n";
// } else {
// std::cout << "p1 is now empty.\n";
// }
// p3->do_something();
// std::cout << "p3 value: " << p3->value << "\n";
// std::cout << "--- Resetting p3 ---\n";
// p3.reset(new MyResource(20)); // MyResource(10)被销毁,p3现在管理MyResource(20)
// p3->do_something();
// std::cout << "--- Releasing p3's ownership ---\n";
// MyResource* rawPtr = p3.release(); // p3放弃所有权,MyResource(20)未被销毁
// if (!p3) {
// std::cout << "p3 is now empty after release.\n";
// }
// std::cout << "Manually deleting released rawPtr...\n";
// delete rawPtr; // 必须手动删除,否则MyResource(20)会泄漏
// std::cout << "--- End of main ---\n";
// return 0;
// }说实话,刚开始写C++那会儿,内存泄漏简直是家常便饭。每次程序崩溃,都得花大量时间去排查是不是哪个
new
delete
传统C++内存管理中,我们经常会遇到几个让人头疼的问题。最常见的就是内存泄漏,当你
new
delete

另一个痛点是悬空指针和重复释放。当你
delete
delete
此外,异常安全也是个大问题。如果在函数内部
new
delete
设计这东西,很多时候都是在权衡。比如,我们这个简化版,为了突出核心的RAII和所有权,就没去考虑多线程下的引用计数(那是
shared_ptr
实现一个简化版智能指针,主要有以下几个关键设计考量:
所有权语义(Ownership Semantics):这是智能指针的核心。我们选择实现的是独占所有权(
unique_ptr
RAII原则的体现:这是自动管理资源的关键。智能指针的构造函数负责获取资源(接收一个原始指针),而析构函数则负责释放资源(调用
delete
操作符重载:为了让智能指针的行为尽可能接近原始指针,我们需要重载
*
->
移动语义(Move Semantics):虽然我们禁用了拷贝,但为了实现所有权的转移(比如从一个函数返回智能指针,或者将智能指针放入容器),移动构造函数和移动赋值运算符是必不可少的。移动操作会将资源的所有权从一个智能指针转移到另一个,同时将原智能指针置空,避免资源被多次管理。
空指针处理:智能指针应该能够安全地处理空指针。例如,当智能指针不持有任何资源时(即内部的
ptr
nullptr
reset()
operator bool()
release()
reset()
release()
reset()
std::unique_ptr
写完这个简化版,你会发现,标准库里的
std::unique_ptr
我们的
MyUniquePtr
std::unique_ptr
相同点:
*
->
get()
release()
reset()
不同点(MyUniquePtr
std::unique_ptr
unique_ptr
FILE*
MyUniquePtr
delete
std::unique_ptr
std::unique_ptr<T[]>
delete[]
MyUniquePtr<T>
delete ptr;
make_unique
std::make_unique
unique_ptr
new
unique_ptr
std::unique_ptr
noexcept
std::unique_ptr
noexcept
MyUniquePtr
以上就是怎样实现类似智能指针的类 手写简化版智能指针教学示例的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号