std::exchange不能用于移动构造函数，因其会破坏移动语义、引发未定义行为；移动构造应直接转移资源并置空源对象，而非交换或赋值。
std::exchange 不能简化移动构造函数的实现，强行用它反而会破坏移动语义、引发未定义行为。
为什么移动构造函数里不该用 std::exchange
移动构造函数的核心是“接管资源”，不是“交换资源”。std::exchange 的语义是：把左值对象的值换成新值，并返回旧值。它内部依赖拷贝或移动赋值，且要求目标对象处于可赋值状态——但移动构造函数的参数（other）在移动后本应进入有效但未指定状态，而 std::exchange 可能隐式触发其析构前的再次访问或赋值，尤其当类型没有正确实现移动赋值时，极易导致双重释放或悬垂指针。
- 移动构造函数签名是
T(T&& other)，不涉及对other的赋值操作，只应直接转移成员（如ptr_ = other.ptr_; other.ptr_ = nullptr;） -
std::exchange(other.ptr_, nullptr)看似简洁，实则多了一次对other.ptr_的读取+写入，且掩盖了“置空”意图 - 若
other是临时对象（如T{...}），编译器可能已启用返回值优化（RVO）或强制移动，插入exchange反而干扰优化路径
std::exchange 真正适合的场景
它适用于需要“原子性地替换并获取旧值”的普通赋值上下文，比如实现自定义容器的 clear()、交换缓存、或重置智能指针持有者。
- 替换成员并回收旧资源：
auto old_ptr = std::exchange(ptr_, new_ptr); delete old_ptr; - 实现非侵入式 swap：
std::exchange(a_, b_); std::exchange(b_, a_);（仅限 trivially copyable 类型，否则应优先用 ADLswap） - 避免重复计算的中间状态保存：
int prev = std::exchange(counter_, counter_ + 1);
注意：std::exchange 要求类型支持移动或拷贝构造（取决于右值/左值），对不可复制、不可移动的类型（如 std::unique_lock）慎用——它会尝试调用移动构造，失败则编译报错。
移动构造函数的正确写法 vs 错误写法对比
假设类持有裸指针资源：
// ✅ 正确：显式转移，意图清晰，无副作用
MyClass(MyClass&& other) noexcept : ptr_(other.ptr_) {
other.ptr_ = nullptr;
}
// ❌ 错误：用 exchange 掩盖逻辑，且对 other.ptr_ 多做一次写入
MyClass(MyClass&& other) noexcept : ptr_(std::exchange(other.ptr_, nullptr)) {}
// ⚠️ 更糟：若 ptr_ 是 std::unique_ptr，则上述 exchange 写法虽能编译，但语义冗余，
// 因为 unique_ptr 移动构造本身已保证原对象为空；额外 exchange 只是徒增一次 move-assign
真正容易被忽略的是：移动构造函数中任何对 other 成员的写操作（包括 std::exchange）都不是必须的，只要确保当前对象获得资源、other 不再持有即可。标准库类型（如 std::vector、std::string）的移动构造函数从不调用 exchange，它们直接接管内部指针并置空源对象——这才是最轻量、最安全的做法。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
