如何在C++ STL中实现指针语义？以deque为例

核心结论 #

完全可以实现和C语言指针移动等价的无重复内存分配效果，推荐两种方案：利用移动语义转移对象，或存储智能指针管理对象所有权，二者都能避免不必要的对象拷贝。

先澄清场景2的误区 #

你在场景2中遇到的是未定义行为：当通过Clothes &c = washer.front();获取引用后，调用pop_front()会直接销毁deque容器内存储的那个Clothes对象，此时引用c就变成了悬垂引用。你能成功访问c.val只是巧合——内存暂未被覆盖，但这个操作本身是非法的，程序随时可能崩溃或出现不可预期的结果。析构函数销毁的就是deque中原本的那个Clothes对象，你的引用只是指向它，对象销毁后引用立即失效，绝对不能再使用。

推荐方案 #

方案1：C++11移动语义（首选） #

STL容器的push_back/push_front等方法支持移动语义，通过std::move可以将对象的资源所有权从一个容器转移到另一个，全程无需拷贝对象，内存仅分配一次，和C语言移动指针的逻辑一致。

示例代码：

#include <deque>

class Clothes {
    // 假设类包含动态分配资源（如堆内存）
public:
    // 让编译器自动生成移动构造/移动赋值（若类无自定义析构/拷贝函数）
    Clothes(Clothes&&) = default;
    Clothes& operator=(Clothes&&) = default;
};

std::deque<Clothes> washer;
std::deque<Clothes> dryer;

// 生产者直接在洗衣机队列中构造衣物，避免拷贝
washer.emplace_back();

// 转移衣物到干衣机：移动语义，无内存重复分配
dryer.push_back(std::move(washer.front()));
washer.pop_front(); // 此时销毁的是已转移资源的"空"对象

这里std::move将washer.front()的对象转为右值引用，触发Clothes的移动构造函数，把对象的资源（如堆内存）从洗衣机队列转移到干衣机队列，全程没有复制对象，内存开销和C语言指针移动完全一致。

方案2：存储智能指针（复杂对象场景） #

如果Clothes对象逻辑复杂，或需要更灵活的生命周期管理，可以用std::unique_ptr（独占所有权）或std::shared_ptr（共享所有权）存储在容器中，本质和C语言用指针的思路一致，但由智能指针自动处理内存释放，无需手动调用free。

示例代码：

#include <deque>
#include <memory>

class Clothes {};

std::deque<std::unique_ptr<Clothes>> washer;
std::deque<std::unique_ptr<Clothes>> dryer;

// 生产者创建衣物并加入洗衣机队列
washer.push_back(std::make_unique<Clothes>());

// 转移衣物所有权到干衣机：仅移动指针，不拷贝对象
dryer.push_back(std::move(washer.front()));
washer.pop_front(); // 干衣机的智能指针持有对象，洗衣机的指针已空，不会销毁对象

此方案中，容器存储的是指针，转移的是指针的所有权，对象始终仅在堆上分配一次，和C语言链表指针移动的逻辑完全匹配，且智能指针会在最后一个持有者销毁时自动释放内存，避免内存泄漏。

对场景1的补充 #

场景1的拷贝构造方式是可行的，但会生成对象副本，额外分配内存，不符合你“无重复分配”的需求，仅适合对象极小、拷贝成本可忽略的场景，并非最优解。

内容的提问来源于stack exchange，提问作者Ethan L.