旧式随机访问迭代器中difference_type取值及安全转换疑问

能否假设STL算法始终传入正值n？ #

不能。虽然常规使用场景里STL算法传入的n多为正值，但C++标准并未禁止传入负值，部分合法场景下确实会出现负的difference_type参数：

• 反向迭代器的偏移操作：使用reverse_iterator时，传入负数偏移会映射到底层迭代器的反向逻辑。例如：

  std::vector<int> v = {1,2,3,4,5};
  std::reverse_iterator<std::vector<int>::iterator> rev_it(v.end());
  // 传入负n，等价于底层迭代器向前移动
  auto it = rev_it + (-2);
  

• 自定义/第三方算法适配：自己实现兼容STL的算法，或使用第三方库适配器时，可能会根据逻辑传入负偏移量，只要符合随机访问迭代器规范就是合法操作。

标准要求随机访问迭代器必须支持正负difference_type的偏移，因此不能假设n一定为正，迭代器实现必须处理负值场景。

安全转换difference_type到size_type的方法 #

直接用size_type(-n)存在溢出风险（比如n是difference_type最小值时，-n会触发未定义行为），也可能出现符号扩展问题。可以通过以下方式安全处理：

1. 先检查符号再转换：

   template <typename Diff, typename Size>
   Size safe_diff_to_size(Diff n) {
       if (n < 0) {
           // 根据业务场景选择处理方式：抛出异常、断言或取绝对值（需确保n不是类型最小值）
           throw std::invalid_argument("Negative value cannot be converted to size_type");
       }
       return static_cast<Size>(n);
   }
   

2. 利用无符号类型特性计算绝对值：
   借助无符号类型的模运算特性规避溢出：

   template <typename Diff, typename Size>
   Size safe_abs_diff_to_size(Diff n) {
       using UnsignedDiff = typename std::make_unsigned<Diff>::type;
       UnsignedDiff abs_n = (n < 0) ? static_cast<UnsignedDiff>(-n) : static_cast<UnsignedDiff>(n);
       return static_cast<Size>(abs_n);
   }
   

   这种方式在n为Diff类型最小值时，也能通过无符号转换得到正确的绝对值。

3. C++20及以上使用标准库工具：
   C++20引入的std::cmp_abs可安全计算绝对值且不触发溢出：

   #include <utility>
   template <typename Diff, typename Size>
   Size safe_diff_to_size(Diff n) {
       return static_cast<Size>(std::cmp_abs(n));
   }
   

注意：转换的前提是n的绝对值不超过size_type的范围，否则仍会有截断风险，需额外添加范围检查。

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