C++智能指针Unique_ptr核心实现与优化技巧

template <typename T>
class UniquePtr {
public:
    // 1. 构造函数：接管裸指针的所有权
    explicit UniquePtr(T* ptr = nullptr) : ptr_(ptr) {}

    // 2. 析构函数：自动释放资源
    ~UniquePtr() {
        delete ptr_;  // 若管理数组，需改用delete[]（标准库通过UniquePtr<T[]>支持）
        ptr_ = nullptr;
    }

    // 3. 禁用拷贝构造与拷贝赋值（独占所有权，不能拷贝）
    UniquePtr(const UniquePtr&) = delete;
    UniquePtr& operator=(const UniquePtr&) = delete;

    // 4. 移动构造：转移所有权（原对象指针置空）
    UniquePtr(UniquePtr&& other) noexcept : ptr_(other.ptr_) {
        other.ptr_ = nullptr;
    }

    // 5. 移动赋值：转移所有权（先释放当前资源，再接管other的资源）
    UniquePtr& operator=(UniquePtr&& other) noexcept {
        if (this != &other) {
            // 释放当前资源
            delete ptr_;
            // 接管other的资源
            ptr_ = other.ptr_;
            other.ptr_ = nullptr;
        }
        return *this;
    }

    // 6. 重载解引用/箭头运算符（模拟裸指针行为）
    T& operator*() const { return *ptr_; }
    T* operator->() const { return ptr_; }

    // 7. 获取裸指针（谨慎使用）
    T* get() const { return ptr_; }

    // 8. 释放所有权（将指针置空，不自动释放）
    void reset(T* new_ptr = nullptr) {
        delete ptr_;
        ptr_ = new_ptr;
    }

private:
    T* ptr_;  // 管理的裸指针
};

详解

模拟实现与标准库的区别

功能简化：标准库的智能指针支持定制删除器（如管理数组用delete[]、管理文件句柄用fclose），模拟实现仅用delete；

部分函数详解

noexcept

noexcept是 C++11 引入的异常说明符，核心作用是向编译器声明 “某个函数不会抛出任何异常”，同时影响编译器的优化逻辑与代码的异常安全性。我分核心定义、用法、实际价值三部分说明：

一、核心定义：告诉编译器 “这个函数不抛异常”

noexcept有两种使用形式：

1.无条件形式：函数声明 noexcept;表示该函数绝对不会抛出任何异常（若实际抛出，程序会直接调用std::terminate()终止）。

// 声明该移动构造函数不会抛异常
UniquePtr(UniquePtr&& other) noexcept : ptr_(other.ptr_) { ... }

2.条件形式：函数声明 noexcept(表达式);表达式是一个布尔值（编译期可确定），若为true则函数不抛异常，否则可能抛异常。

// 若T的移动构造是noexcept的，则当前函数也noexcept
template <class T>
void swap(T& a, T& b) noexcept(noexcept(a = std::move(b))) {
    T temp = std::move(a);
    a = std::move(b);
    b = std::move(temp);
}

二、关键作用：影响编译器优化 + 保证异常安全

让编译器做更激进的优化若函数标记了noexcept，编译器无需生成 “处理异常的额外代码”（比如栈展开、异常捕获的元数据），可以更高效地编译函数（性能接近裸函数）。
决定容器的 “异常安全策略”（核心实际价值）以 C++ 标准容器（如std::vector）为例：当容器需要扩容时，会选择 “移动元素” 还是 “拷贝元素”，完全依赖元素的移动构造是否标记了noexcept：

这也是为什么我们在写移动构造 / 移动赋值时，通常会加noexcept—— 比如字节的业务容器（如直播消息队列），标记noexcept后能大幅提升扩容时的性能。
- 若元素的移动构造是noexcept的：容器会用移动操作（高效，不拷贝内存）；
- 若元素的移动构造没有noexcept：容器会用拷贝操作（虽然低效，但能保证 “扩容失败时原数据不丢失” 的异常安全）。
析构函数默认是noexcept的C++11 后，所有类的析构函数默认隐含noexcept（除非手动声明为noexcept(false)）。这是因为析构函数若抛异常，会导致程序在 “栈展开清理资源” 时二次异常，直接触发std::terminate()。

三、注意事项

不能随便给函数加noexcept：若标记了noexcept的函数实际抛出了异常，程序会直接终止（无法捕获），所以只有确定 100% 不会抛异常的函数才适合加。
替代了 C++98 的throw()：C++98 用throw()声明不抛异常，但规则更严格（若抛异常会调用std::unexpected()），现在noexcept是标准推荐的写法。

为什么要模拟裸指针

智能指针 “模拟裸指针行为” 的核心作用是 “降低使用成本、保持代码直观性，同时兼容依赖裸指针的场景” —— 本质是在不丢失 “自动内存管理” 核心优势的前提下，让开发者像用裸指针一样用智能指针，避免因 “用法太特殊” 导致的学习成本、代码重构成本，这也是智能指针能被广泛应用的关键原因之一。

先明确：智能指针模拟的 “裸指针核心行为”，主要是 重载operator*（解引用）、operator->（成员访问），以及提供get()方法获取裸指针 —— 这些都是开发者使用裸指针时最常用的操作。

一、核心作用 1：降低学习与迁移成本，贴合开发者使用习惯

C/C++ 开发者长期习惯用裸指针的语法操作数据，比如：

// 裸指针用法（直觉式操作）
MyClass* ptr = new MyClass();
ptr->func();  // 访问成员函数
(*ptr).num = 10;  // 解引用访问成员变量

如果智能指针不模拟这种行为，可能需要用类似ptr.get()->func()、(*ptr.get()).num的繁琐写法 —— 开发者需要记忆全新的接口，旧代码迁移时也需要大面积修改（比如把所有->改成get()->）。

二、核心作用 2：兼容依赖裸指针的场景，避免 “接口割裂”

很多 C/C++ 接口（尤其是底层库、系统调用、第三方组件）的参数 / 返回值是裸指针（比如字节内部的日志库接口log(const char* msg)、网络库的send(void* data, size_t len)）。

智能指针通过 “模拟裸指针行为”+get()方法，能无缝适配这些接口，避免因 “智能指针和裸指针接口不兼容” 导致的代码冗余：

// 智能指针兼容裸指针接口的场景（字节日志库举例）
shared_ptr<string> logMsg = make_shared<string>("直播房间创建成功");

// 1. 直接用->访问成员（模拟裸指针），获取C风格字符串
log(logMsg->c_str());  // 等价于裸指针的 logMsg_ptr->c_str()

// 2. 用get()获取裸指针，适配需要直接操作裸指针的接口
send(sock, logMsg.get(), logMsg->size(), 0);  // get()返回裸指针，兼容send接口

三、核心作用 3：保持代码直观性，降低团队协作成本

在复杂业务逻辑中，代码的 “可读性” 直接影响协作效率。

// 智能指针模拟裸指针行为，代码直观易懂
shared_ptr<RoomState> roomState = getRoomState(roomId);
if (roomState) {  // 智能指针重载了operator bool()，模拟裸指针的“空指针判断”
    roomState->userCount++;  // 成员访问，和裸指针写法一致
    (*roomState).isLive = true;  // 解引用，和裸指针写法一致
    broadcast(roomState->getStateData());  // 链式调用，直观无冗余
}

如果没有模拟裸指针行为，代码会变成：

// 无模拟的繁琐写法（反例）
shared_ptr<RoomState> roomState = getRoomState(roomId);
if (roomState.get() != nullptr) {
    roomState.get()->userCount++;
    (*roomState.get()).isLive = true;
    broadcast(roomState.get()->getStateData());
}

这种写法不仅冗余，还容易因漏写get()导致编译错误，团队协作时需要额外关注 “智能指针的特殊用法”—— 而模拟裸指针行为后，代码和裸指针逻辑几乎一致，新人上手快、代码 review 成本低。