c++ - `std::string::begin()`/`std::string::end()` 迭代器失效？

Question

#include <string>
#include <iostream>

int main() {
    std::string s = "abcdef";

    std::string s2 = s;

    auto begin = const_cast<std::string const &>(s2).begin();
    auto end = s2.end();

    std::cout << end - begin << '\n';
}

此代码将 begin() const 的结果与 end() 的结果混合在一起。这些函数都不允许使任何迭代器失效。但是我很好奇 end() 不使迭代器变量 begin 无效的要求是否实际上意味着变量 begin 可用于 结束。

考虑一个 C++98，std::string 的写时复制实现；非常量 begin() 和 end() 函数导致复制内部缓冲区，因为这些函数的结果可用于修改字符串。所以上面的 begin 开始对 s 和 s2 都有效，但是使用非常量 end() 成员导致它不再对生成它的容器 s2 有效。

上述代码通过写时复制实现(例如 libstdc++)产生了“意外”结果。而不是 end - begin 与 s2.size() 相同，libstdc++ produces another number .

• 是否导致 begin 不再是 s2 中的有效迭代器，它是从中检索到的容器，是否构成“无效”迭代器？如果您查看迭代器的要求，在调用 .end() 之后，它们似乎都适用于此迭代器，因此也许 begin 仍然有资格作为有效的迭代器，并且这样还没有失效？

• 上面的代码在C++98中定义的好吗？在 C++11 中，哪些禁止写时复制实现？

根据我自己对规范的简要阅读，它似乎未指定，因此可能无法保证 begin() 和 end() 的结果> 可以一起使用，即使不混合 const 和非 const 版本。

Answer 1

如您所说，C++11 在这方面与早期版本不同。在 C++11 中没有问题，因为所有允许写时复制的尝试都被删除了。在 C++11 之前的版本中，您的代码会导致未定义的行为；允许调用 s2.end() 使现有的迭代器无效(在 g++ 中确实如此，也许仍然如此)。

请注意，即使 s2 不是拷贝，标准也会允许它使迭代器无效。事实上，C++98 的 CD 甚至制作了类似 f( s.begin(), s.end() ) 或 s[i] == s[j] 未定义的行为。这只是在最后一刻才意识到，并已更正，以便只有第一次调用 begin()、end() 或 [] 可以使迭代器无效。