为什么随机访问迭代器的算术运算符接受/返回int而不是size_t？

Question

由于对std：：vector的大多数操作都需要/返回size\t，这就是我用于索引的类型。但现在我已经启用了所有编译器警告，以修复我知道存在的一些有符号/无符号转换问题，这条消息让我感到惊讶：

警告C4365：“参数”：从“size\u t”转换为“\uu w64 int”，有符号/无符号不匹配

它是由以下代码生成的：

std::vector<int> v;
size_t idx = 0;
v.insert(v.begin() + idx + 1, 0);

我有很多其他类似的消息建议迭代器的算术运算符接受并返回int。为什么不size_t？修复所有这些消息是一种痛苦，并且不会使我的代码更漂亮！

Answer 1

它允许这样的事情：它=索引 其中索引可以是正的，也可以是负的（根据某些逻辑）。

对比如下：

if (some_condition)
    it += index;
else
    it -= index;

如果我们只能传递无符号值，这将是必要的。

Answer 2

我得到了许多其他类似的消息，建议迭代器的算术运算符接受并返回int。

不一定是int。它是由迭代器类型的迭代器特征定义的（有符号的）差异类型。对于大多数迭代器类型，这默认为ptrdiff\u t。

为什么不size\u t？

因为算术需要正确处理有符号的值；人们会期望it（-1）等价于it-1。