反向迭代器地址调整的直觉建立及调整时机判断方法问询

我们需要建立用正向迭代器和反向迭代器访问vector元素的直觉逻辑，首先记住cppreference的核心规则：

对于由迭代器i构造的反向迭代器r，始终满足&*r == &*(i - 1)

单个元素对齐：必须手动调整 #

如果要让反向迭代器和某一正向迭代器指向同一个元素，必须对构造出的反向迭代器做一次递减调整。示例代码如下：

std::vector i1{ 0,1,2,3,4 };
const int element_offset=3;
auto it_forward = i1.begin()+element_offset;
// 构造后调整，让反向迭代器对齐正向迭代器指向的元素
auto it_backward = std::make_reverse_iterator(it_forward)-1;

std::cout << std::endl << "*(it_forward) = " << *(it_forward);
std::cout << std::endl << "*(it_backward) = "  << *(it_backward);

更严谨的写法是使用标准库的std::prev函数：

auto it_backward = std::prev(std::make_reverse_iterator(it_forward));

范围操作：无需手动调整 #

当你需要反转整个范围（比如遍历、拷贝反转后的元素）时，不需要手动调整迭代器，这个过程对开发者完全透明。因为标准库算法基于左闭右开的范围模型，反向迭代器的构造刚好适配这种范围的反转映射：

// 拷贝并输出反转后的整个vector
std::copy(std::make_reverse_iterator(i1.end()),
          std::make_reverse_iterator(i1.begin()),
          std::ostream_iterator<int>(std::cout, ", "));

核心问题：何时调整？经验法则 #

判断是否需要调整反向迭代器，本质是看你要操作的是单个元素还是完整范围：

• 单个元素定位：只要你需要反向迭代器精准指向正向迭代器所指的元素，就必须对std::make_reverse_iterator(it)做一次递减操作。因为反向迭代器的构造逻辑是“指向原迭代器的前一个元素”，所以要回退一步才能对齐目标元素。
• 完整范围操作：当你需要用反向迭代器表示一个反转的完整范围时，直接用std::make_reverse_iterator(end)作为范围起点、std::make_reverse_iterator(begin)作为范围终点即可。标准库算法会自动处理迭代器的移动和解引用逻辑，完全不需要手动调整。

简单总结：单个元素要调整，范围操作直接用构造出来的反向迭代器就行。

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