移动赋值运算符中为何用std::swap而非赋值处理内置类型？

为什么作者对内置类型使用std::swap？ #

1. 保证成员状态与资源的一致性 #

移动赋值的核心是接管对方的资源，同时让被移动对象处于合法可析构的状态。如果只swap指针objects、直接赋值size和capacity，会导致被移动对象的size/capacity与objects指向的内存不匹配——比如other原来的capacity是20，但swap后它的objects指向的是this原来的10容量内存，析构时会用20的容量去释放10的内存，触发未定义行为。

而对所有成员（包括size、capacity）执行std::swap，能让other完整接管this原来的所有状态（内存指针+对应的大小/容量），三者完全匹配，析构时可以正确清理this原来的旧资源，完全符合移动语义的要求。

2. 代码一致性与可维护性 #

统一对所有成员使用std::swap是C++移动操作的惯用法，不管成员是内置类型、指针还是自定义类型，写法保持一致。后续如果修改vector的成员（比如把capacity换成带统计功能的自定义计数器），不需要改动移动赋值的核心逻辑，降低出错概率。

3. 异常安全性的前瞻性 #

虽然int赋值不会抛异常，但如果未来扩展vector的成员，加入了可能抛异常的自定义类型，swap的写法天然能保证异常安全（只要成员的swap是noexcept的）。而直接赋值的写法，以后新增成员时就得重新评估异常安全，容易遗漏。

4. 性能差异可忽略 #

对int这类小内置类型，std::swap的三次赋值和直接赋值的一次操作，在现代编译器的优化下，生成的汇编代码几乎没有区别。实际场景中这种性能差异完全可以忽略，没必要为这点微末收益破坏代码的正确性和一致性。

能否用直接赋值替代swap？ #

可以，但必须修正状态不匹配的问题

如果坚持用直接赋值，你需要确保被移动对象的size、capacity和objects状态匹配，避免析构错误：

Vector& operator=(Vector&& other) noexcept {
    if (this != &other) {
        // 释放当前对象的旧资源（根据原实现逻辑调整）
        delete[] objects;
        
        // 接管other的资源
        size = other.size;
        capacity = other.capacity;
        objects = other.objects;
        
        // 重置other的状态，保证其可析构
        other.size = 0;
        other.capacity = 0;
        other.objects = nullptr;
    }
    return *this;
}

这种写法和swap所有成员的逻辑等价，但需要手动处理资源释放和状态重置，代码量更多，也不如swap写法简洁通用。

如果只是简单赋值size/capacity后只swapobjects，会导致被移动对象的状态与资源不匹配，触发未定义行为，这是绝对要避免的。

内容的提问来源于stack exchange，提问作者HyperionFrog