c++ - 减少 begin() 迭代器然后再次增加它

Question

这样的陈述是否符合标准？

std::string str{"123"};
auto it = str.begin();
--it;
++it; // Does *it point to character '1' now?

我已经在 g++ 4.7.2 和 clang++ 3.5 上试过了 - *it 返回 '1'。这是 C++11 中的标准行为吗？

Answer 1

不，这是无效的。

这是未定义的行为，因为 24.2.6 [bidirectional.iterators] 指出 --it 的后置条件是结果必须是可取消引用的。由于它在您的示例中指向 begin() 之前，因此不满足此条件，因此该代码是非法的。

由于不需要诊断，它可能似乎有效，但您不能(也不应该)依赖它。