迭代器算术类型

Question

我看到很多人决定使用签名 int，但在我看来，这似乎是出于无知，因为这会导致使用未签名 size_types 的容器类型出现签名/未签名不匹配。

由于无法获取所提供迭代器的容器类型，因此我看不到获取假定容器的size_type 以执行准确算术的方法。

在迭代器上执行算术运算时应该使用什么类型？或者更好的是，由于迭代器不知道其父容器，如何获得容器的底层size_type？

编辑2：

我所说的基本尺寸类型是指，例如：

std::vector<some_type>::size_type

对于一些容器类型为std::vector<some_type>的迭代器

编辑1：

我认为 C++17 正在通过一些容器访问函数来解决这个问题：

这些非成员函数为容器、普通数组和 std::initializer_list 提供通用接口。

• (function) size (C++17) 返回容器或数组的大小
• (function) empty (C++17) 检查容器是否为空
• （函数）数据（C++17）获取指向底层数组的指针

更具体地说，size 给出了父容器的 size 字段的声明类型。

Answer 1

我的建议是使用std::iterator_traits<It>::difference_type（It 是迭代器类型），通常是（但不是强制）std::ptrdiff_t。 std::ptrdiff_t 是签名类型的别名。

我推荐这个是因为以下事实：

1. std::distance 返回std::iterator_traits<It>::difference_type。
2. std::next 和 std::prev 以 std::iterator_traits<It>::difference_type 为参数。
3. 双向迭代器的算术可能会倒退。