为何-fsanitize=undefined未检测到我认为的UB行为？

问题代码 #

auto vec = std::vector<int>({1, 2, 3});
std::cout << *vec.end() << std::endl;

编译步骤 #

g++ -std=c++23 -Wall -Wextra -g -fsanitize=undefined -o ./target/src/main.cpp.o src/main.cpp
g++ -fsanitize=undefined -o ./target/main ./target/src/main.cpp.o  

现象 #

启用Undefined Behavior Sanitizer（UBSan）后，程序未触发任何报错，输出结果为0。

我的理解 #

我认为C++中连续容器的尾后迭代器指向首个越界内存位置，示意图如下：

{1, 2, 3} ?, ?, ?, ...
 ^ begin  ^ end

创建尾后迭代器本身是安全的，但解引用该迭代器属于不安全操作，因此疑惑为何UBSan未检测到该未定义行为。

解答 #

解引用vec.end()确实属于未定义行为，你对尾后迭代器的核心理解是正确的——尾后迭代器可用于比较操作，但解引用、递增/递减这类操作完全违反标准，属于UB范畴。UBSan未报错的原因主要有两点：

1. UBSan的检测局限性：UBSan只能覆盖部分未定义行为场景，对于容器尾后迭代器的解引用，它需要编译器精准跟踪容器的内存边界。如果vec的尾后位置刚好落在堆分配时默认零初始化的内存区域，或者容器预留的扩容空间内，此时访问不会触发内存错误，UBSan无法识别这是非法解引用。

2. 输出结果的偶然性：程序输出0只是巧合——堆内存分配时可能会对未使用的区域做零初始化，或者容器的尾后位置刚好指向了这部分内存。换个编译器、操作系统或优化等级，结果可能变成随机值、程序崩溃，甚至触发其他不可预测的行为。

如果需要更精准地检测这类内存越界问题，可以尝试启用Address Sanitizer（-fsanitize=address），它对内存边界的检测更严格，大概率能捕捉到解引用尾后迭代器的非法操作。

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