为何C++11后解引用std::basic_string的尾后迭代器仍为UB？

一、cppreference的说明没有错误，解引用std::basic_string的end()迭代器确实是未定义行为（UB） #

原因如下：

• 尽管C++11要求std::basic_string的底层存储必须包含一个额外的空终止符（不计入size()、length()的统计），但这个空终止符不属于string的元素序列。string的迭代器范围[begin(), end())仅覆盖那些计入size()的有效字符，end()是指向有效元素序列末尾的尾后迭代器，而非指向那个额外的空终止符。
• C++标准对所有容器的尾后迭代器都有统一规定：尾后迭代器不能被解引用，这是容器迭代器的通用语义，std::string也不例外。即使底层内存里恰好有一个空字符，标准也不允许通过尾后迭代器访问它——这属于超出迭代器合法范围的操作。

二、调试工具未检测到该行为的原因 #

• GNU C的__gnu_debug和Clang的sanitizer这类工具，其检查逻辑通常基于标准定义的合法操作边界。但由于std::string底层确实在尾后位置存储了一个空终止符，解引用end()迭代器不会触发内存访问错误（比如段错误），工具无法通过内存异常来识别这个UB。
• 这类工具的设计重点更多放在明显的内存越界（如访问size()+1及以后的位置），对于这种“语义上非法但内存上可访问”的情况，通常不会主动检测。

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