让STL算法支持解引用为包装类（右值）的迭代器交换操作

问题背景 #

你在为C库的“向量的向量”容器实现C++包装器时，希望迭代器解引用返回模拟引用行为的包装类而非原始C指针，但该包装类以右值形式返回，导致std::sort、std::reverse等依赖swap的STL算法无法正常工作——标准swap要求操作左值。你尝试在迭代器类中定义友元iter_swap，但标准库算法仍调用std::iter_swap而非自定义版本；手动通过using std::iter_swap; iter_swap(a,b);能正常运行，但主流标准库对ADL查找iter_swap的支持有限。目前发现提供swap(Foo&&, Foo&&)（Foo为你的引用包装类）可解决问题，想了解该方案的潜在隐患。

替代方案 #

除了右值引用版本的swap，还有两种更可靠的思路：

• 让包装类模拟左值特性：给Foo添加operator&重载以返回底层数据指针，同时实现赋值运算符（模拟引用的可修改性），这样标准std::swap就能通过包装类间接操作底层数据，适配所有依赖左值的STL算法。
• 特化std::swap：针对Foo类特化std::swap。尽管C++标准不鼓励随意特化std命名空间内的模板，但针对自定义类型特化std::swap是明确允许的，且兼容性优于ADL方式，能被所有标准库算法正确识别。

swap(Foo&&, Foo&&)的隐患 #

1. 语义混淆：标准swap的参数是左值引用（T&, T&），右值引用版本的swap会打破这种常规语义。用户看到该函数签名时，可能误以为是针对临时对象的移动交换，但你的场景是用右值包装类模拟引用、修改底层数据，这种语义错位会提升代码的理解和维护成本。
2. 匹配优先级问题：左值可以绑定到右值引用，当用户传入左值时，你的右值版本swap可能会被优先匹配，绕过标准std::swap或其他自定义左值版本，导致预期外的行为。
3. 兼容性局限：部分旧版标准库实现可能无法正确识别右值引用版本的swap，在复杂模板推导场景下可能出现匹配失败，导致算法依旧无法正常运行。
4. 无法覆盖所有场景：除了swap，部分STL算法（如std::for_each中修改元素）要求迭代器解引用返回左值，仅提供右值版本的swap无法解决这类问题，仍需让包装类具备左值特性。

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