C++迭代器是否有与`at`函数等效的越界检查方法？

在C++中，std::vector的at()成员函数会主动做越界检查，当索引超出容器有效范围时抛出std::out_of_range异常，示例如下：

example.at(10); // 若容器大小不足11，直接抛出异常

但直接对迭代器执行偏移操作（如it + n）不会触发任何越界检查，哪怕偏移后的迭代器指向容器范围外的位置：

std::vector<int> example(10, 0);
const auto it = example.cbegin();
const auto it2 = it + 10; // 指向end()之后的非法位置，无检查
std::cout << *it2 << std::endl; // 未定义行为，不会抛出异常

迭代器是否有等效at()的安全偏移操作？ #

C++标准库本身没有提供直接和at()完全等效的迭代器偏移检查接口，但可以通过以下几种方式实现类似的安全行为：

• 借助at()验证后再偏移
  先通过at()确认索引的合法性，再基于合法索引获取迭代器，利用at()的异常机制实现检查：

  std::vector<int> example(10, 0);
  size_t idx = 10;
  example.at(idx); // 越界时抛出std::out_of_range
  const auto it = example.cbegin() + idx;
  

• 自定义安全偏移函数
  封装一个通用函数，手动检查偏移后的迭代器是否在容器合法范围内，超出则抛出异常：

  #include <stdexcept>
  #include <iterator>
  
  template <typename Iter, typename Diff>
  Iter safe_offset(Iter begin, Iter end, Diff offset) {
      const auto dist = std::distance(begin, end);
      if (offset < 0 || static_cast<size_t>(offset) > static_cast<size_t>(dist)) {
          throw std::out_of_range("Iterator offset out of bounds");
      }
      return begin + offset;
  }
  
  // 使用示例
  std::vector<int> example(10, 0);
  const auto it = example.cbegin();
  try {
      const auto it2 = safe_offset(it, example.cend(), 10);
  } catch (const std::out_of_range& e) {
      // 处理越界异常
  }
  

• 结合std::next做前置检查
  使用std::next前先判断偏移量是否在合法范围内，超出则主动抛出异常：

  #include <iterator>
  #include <stdexcept>
  
  std::vector<int> example(10, 0);
  const auto it = example.cbegin();
  size_t offset = 10;
  if (offset > static_cast<size_t>(std::distance(it, example.cend()))) {
      throw std::out_of_range("Offset exceeds valid iterator range");
  }
  const auto it2 = std::next(it, offset);
  

注意：std::distance对于随机访问迭代器（如std::vector的迭代器）是O(1)操作，不会带来性能开销；但对于非随机访问迭代器（如std::list的迭代器）是O(n)操作，使用时需结合场景权衡。

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