为何解引用list.end()迭代器会返回值而非触发错误？

首先明确：C++标准规定，解引用end()迭代器属于未定义行为（Undefined Behavior）。这意味着标准没有要求程序必须触发错误、崩溃或抛出异常——程序可能表现出任何行为，包括看似“正常”返回某个值，这完全取决于编译器实现、运行环境等因素。

为什么会出现“返回值”的情况？ #

end()迭代器指向的是容器最后一个元素的下一个位置，这个位置本身并不对应任何有效的元素。但有些编译器的实现中，这个位置可能刚好存储了某个内存值（比如容器末尾的哨兵节点数据、相邻内存的垃圾值，甚至刚好是最后一个元素的副本），所以解引用时会读取到这块内存的内容，看起来像是“返回了值”。但这完全是偶然的，不属于合法行为。

你的代码具体分析 #

在你的代码里：

• *p[4]是合法操作：第二个循环遍历了li的全部5个元素，j从0递增到4，p[4]被赋值为指向li最后一个元素（值为8）的有效迭代器，所以解引用它会正常输出8。
• 真正属于未定义行为的是*li.end()：这行代码解引用了尾后迭代器，结果完全不可预测——这次可能输出某个值，下次运行可能崩溃，或者导致后续代码逻辑混乱，没有任何行为保障。

总结 #

未定义行为的可怕之处在于行为不可控，永远不要依赖它的结果。编写代码时必须确保只解引用有效的、指向实际元素的迭代器（即begin()到end()之间的迭代器，不包含end()本身）。

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