C++进阶实战：智能指针与内存管理精要

1. 项目概述

这个C++寒假营第五天的学习内容，主要面向有一定编程基础但希望系统提升C++实战能力的学习者。作为系列课程的中间阶段，Day05通常会聚焦在C++的核心进阶特性上，比如内存管理、模板编程或者面向对象设计的深入应用。

从多年C++教学经验来看，第五天往往是个关键转折点——基础语法已经熟悉，但真正能写出工业级代码还需要突破几个重要关卡。根据常见课程设计模式，我推测今天可能会涉及以下核心内容：

• 智能指针与资源管理（告别裸指针的必修课）
• 移动语义与完美转发（现代C++的标志性特性）
• 模板元编程入门（从泛型到编译期计算）
• 异常安全与RAII（写出健壮代码的基石）

提示：即使是"寒假营"这样的短期集训，第五天的内容也通常会开始触及C++真正区别于其他语言的核心竞争力，建议学习者做好反复调试的心理准备。

2. 内存管理进阶

2.1 从裸指针到智能指针

在C++11之前，手动管理内存是每个C++开发者的必修课。但现代C++已经提供了更安全的智能指针体系：

cpp复制// 传统方式（存在内存泄漏风险）
MyClass* obj = new MyClass();
// ...使用obj...
delete obj; // 容易忘记

// 现代方式（自动管理生命周期）
std::unique_ptr<MyClass> obj = std::make_unique<MyClass>();

三种智能指针的核心区别：

2.2 移动语义深度解析

移动语义是C++11最重要的革新之一，它允许资源所有权的转移而非复制：

cpp复制class Buffer {
public:
    // 移动构造函数
    Buffer(Buffer&& other) noexcept 
        : data_(other.data_), size_(other.size_) {
        other.data_ = nullptr; // 重要！确保源对象处于可析构状态
    }
    
    // 移动赋值运算符
    Buffer& operator=(Buffer&& other) noexcept {
        if (this != &other) {
            delete[] data_;
            data_ = other.data_;
            size_ = other.size_;
            other.data_ = nullptr;
        }
        return *this;
    }
    
private:
    int* data_;
    size_t size_;
};

关键注意事项：

1. 务必标记noexcept（标准库容器会优先调用noexcept的移动操作）
2. 移动后必须使源对象处于有效但可析构状态
3. 对于含有基类的类型，记得调用基类的移动操作

3. 模板与泛型编程

3.1 函数模板进阶技巧

模板参数不仅可以类型参数化，还可以接受非类型参数：

cpp复制template <typename T, size_t N>
class FixedArray {
public:
    T& operator[](size_t index) {
        if (index >= N) throw std::out_of_range("");
        return data_[index];
    }
    
private:
    T data_[N];
};

// 使用示例
FixedArray<double, 100> arr; // 编译期确定大小的数组

3.2 SFINAE与类型特征

SFINAE（Substitution Failure Is Not An Error）是模板元编程的核心机制：

cpp复制template <typename T>
auto print(const T& val) -> decltype(std::cout << val, void()) {
    std::cout << val;
}

template <typename T>
auto print