iter_swap：不是“交换值”，而是“交换位置”的精准手术刀

写C++时，你有没有遇到过这种场景：手头有两个迭代器，分别指向容器里两个元素，你想把它们“物理位置”上的内容对调——比如把 vec[3] 和 vec[7] 的值互换，但又不想手动写三行临时变量？这时候，std::iter_swap 就不是个可有可无的冷门函数，而是一把被低估的、带定位功能的手术刀。

它不负责计算、不参与逻辑判断，只做一件事：用最轻量的方式，完成两个迭代器所指对象的原地交换。关键在于——它交换的是“被指向的对象”，而不是“迭代器本身”，更不是“值的拷贝”。

先看最直白的用法：

std::vector<int> v = {10, 20, 30, 40, 50};
auto it1 = v.begin() + 1; // 指向20
auto it2 = v.begin() + 3; // 指向40
std::iter_swap(it1, it2);
// v 变成 {10, 40, 30, 20, 50}

这段代码背后没魔法，但有设计意图：iter_swap 内部调用的是 std::swap(*a, *b)，也就是解引用后再交换。所以它要求两个迭代器必须是 可解引用、可赋值、且类型兼容 的——这恰恰是很多初学者踩坑的起点：拿一个 const_iterator 去参与 iter_swap？编译器会立刻拉响警报，因为 *it 是 const int&，无法作为 swap 的左值参数。

这点很实在：iter_swap 不是语法糖，它是类型安全的交换契约。它强迫你确认——这两个位置，真的允许被修改吗？

再进一步，它的价值在泛型代码里才真正浮现。比如写一个自定义排序片段，想把最小元素“冒泡”到开头：

template <typename It>
void move_min_to_front(It first, It last) {
    if (first == last) return;
    auto min_it = first;
    for (auto it = std::next(first); it != last; ++it) {
        if (*it < *min_it) min_it = it;
    }
    std::iter_swap(first, min_it); // 这里干净利落，不关心容器类型
}

你看，这段逻辑完全不依赖 vector 或 list，甚至能跑在 std::deque 或你自己写的随机访问容器上。只要迭代器支持 *it 和 swap，它就成立。iter_swap 是泛型交换的最小可行接口——比手写 T tmp = *a; *a = *b; *b = tmp; 更简洁，比直接调用 swap(*a, *b) 更明确表达了“这是两个位置间的交换”这一语义。

有意思的是，很多人以为 iter_swap 只适合内置类型或 POD。其实不然。只要你的自定义类型重载了 swap（最好是 noexcept 版本），iter_swap 就能高效工作。比如一个管理动态内存的类：

struct Buffer {
    std::unique_ptr<int[]> data;
    size_t size;
    void swap(Buffer& other) noexcept {
        data.swap(other.data);
        std::swap(size, other.size);
    }
};
// 有了这个成员 swap，std::swap<Buffer> 自动获得特化
// 那么 iter_swap(it1, it2) 就能零拷贝交换两个 Buffer 对象

这才是 iter_swap 的隐藏能力：它天然适配移动语义。当 swap 被正确实现为 noexcept 且基于资源转移时，iter_swap 就不会触发深拷贝——它交换的是“所有权”，不是“内容副本”。

顺便提一句，别把它和 std::swap_ranges 搞混。后者是交换两段等长区间的对应元素，是批量操作；而 iter_swap 永远只动两个点。混淆它们，就像用螺丝刀拧螺母——能凑合，但不是为这事设计的。

最后说个实战提醒：在算法实现中，优先用 iter_swap 替代手动解引用交换，不只是为了少写两行，更是为了统一语义、降低出错概率。比如你在调试时发现某个位置值没换成功，直接搜 iter_swap 就能定位全部交换点；而如果代码里散落着十几处 std::swap(*a, *b) 或临时变量写法，排查成本会指数上升。

它不炫技，不造概念，只是安静地把“交换两个位置”这件事，做到精确、安全、可推演。C++里很多好东西都这样——不在文档首页闪耀，却在你写第100个模板函数时，悄悄省下一次调试时间。

下次看到两个迭代器并排站着，别急着解引用再 swap。停下来，说一句：iter_swap(a, b)——然后继续写你真正关心的逻辑。