为何std::rotate()在边界条件下返回不同迭代器？

这个设计完全遵循了C++标准对std::rotate()返回值的统一语义约定：返回值必须是指向原*first元素新位置的迭代器，该位置可通过公式first + std::distance(middle, last)（针对随机访问迭代器）描述。

拆分两种边界情况具体分析：

• 当first == middle时，std::distance(middle, last)等于整个区间的长度，代入公式得到的结果就是last。哪怕此时没有实际旋转操作，也必须严格遵循标准约定返回last，否则会破坏接口语义的一致性。
• 当middle == last时，std::distance(middle, last)为0，代入公式得到的结果就是first，同样符合标准定义。

其次，这种设计保证了接口行为的可预测性。用户调用std::rotate()时，通常会依赖返回值定位原首元素的新位置，不管是否触发边界情况。如果在first == middle时返回first，会打破这种可预测性，用户需要额外判断边界情况才能正确使用返回值，增加了代码复杂度和出错概率。

最后，从实现角度看，这种设计无需额外分支判断来“修正”返回值——直接按通用逻辑计算即可，first == middle时自然得到last，middle == last时自然得到first，既简化了实现逻辑，又保持了语义统一。

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