解引用std::span::end是否始终属于未定义行为？

问题背景与代码示例 #

在查阅cppreference时，发现std::span::end的说明指出：它返回指向span最后一个元素之后位置的迭代器，此位置仅作为占位符，尝试访问会导致未定义行为。但由于std::span不拥有自身元素，其end()未必指向实际容器的尾后位置，因此产生疑问：以下代码是否会触发未定义行为？

#include <vector>
#include <span>
#include <iostream>

int main() {
    std::vector<int> v{1,2,3,4,5};
    std::span<int> s{v.begin(),v.begin()+2};
    std::cout << *(s.end());
}

这段代码在简单实现下可能正常运行，但编译器可能基于“尾后迭代器永远不会被解引用”的假设进行优化，导致代码失效，需要确认C++标准是否将其定为未定义行为，或是cppreference的说明有误。

回答 #

这段代码明确属于未定义行为，cppreference的说明完全符合C++标准的规定：

• 从语义上看，std::span的end()返回的是其元素范围的尾后迭代器，这个迭代器指向的位置不属于span所覆盖的元素集合。无论底层容器的内存中该位置是否有实际数据，C++标准都禁止解引用任何容器、视图的尾后迭代器。
• 在你的例子中，s.end()对应v.begin()+2，虽然这个指针在vector的连续内存中确实指向v[2]，但从span的契约来说，这个位置已经超出了span的有效元素范围（span仅包含v[0]和v[1]）。解引用这个迭代器违反了span迭代器的使用规则，属于标准定义的未定义行为。
• 编译器有权基于“尾后迭代器不会被解引用”的假设进行优化，比如直接删除解引用的代码、导致内存访问异常，或者产生其他不可预测的结果。当前运行正常只是巧合，不能依赖这种行为。

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