如何用RandomAccessIterator判断std::vector是否为空及迭代器问题

迭代器操作的未定义行为问题 #

你遇到的核心问题是对空vector的end()迭代器执行-1操作属于未定义行为。

C++标准规定，只有当迭代器指向容器中的有效元素，或是合法的尾后迭代器时，才能对随机访问迭代器执行加减法操作。但空vector的begin()和end()完全相等，此时对end()做减1操作，相当于试图访问一个不存在的元素的前序位置，直接违反了标准要求，属于未定义行为。

未定义行为意味着编译器可以生成任意代码，可能出现看似反常的结果（比如你这里输出1），也可能直接崩溃，或是在不同编译环境下表现各异。所以你不能依赖这个操作的结果，断言自然也不会按预期触发。

你的测试代码中，这两行的结果都是未定义行为导致的不可预测输出：

assert(testing.begin() <= (testing.end()-1)); // 未定义行为，断言不触发是随机结果
std::cout << (testing.begin() <= (testing.end()-1)); // 输出1也是未定义行为的产物

空vector的处理建议 #

对于接收迭代器对的排序函数，遵循STL算法的设计惯例即可：

• 如果函数语义是对[first, last)区间排序，空区间（first == last）是合法输入，应该直接返回，不执行任何排序操作。这和std::sort的行为一致——输入区间为空时，std::sort直接返回，不会抛出异常或触发断言。
• 除非你的函数有明确业务规则要求输入区间必须非空，这种情况下可选择：
  • 使用assert在调试模式下检查区间非空，帮助开发阶段发现错误；
  • 抛出异常（比如std::invalid_argument），但这种方式不符合STL算法的常规设计，会增加调用方的异常处理成本。

总的来说，优先选择直接返回的处理方式，让函数行为和标准库算法保持一致，降低用户学习成本，同时避免不必要的异常或断言。

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