判断同一std::set<int>中两个迭代器的先后顺序

针对你提出的这个std::set迭代器顺序判断的问题，我有几个实用的方案，既能保证安全不触发未定义行为（UB），又能满足你的需求：

方案一：安全解引用+比较（推荐，高效优雅） #

虽然你提到了解引用的顾虑，但只要先判断迭代器是否为end()，就能完全安全地实现判断，而且这是O(1)复杂度的操作，完全符合set的高效特性。我们可以把逻辑封装成一个简洁的函数：

#include <set>

template <typename T>
bool iterator_is_before(const typename std::set<T>::iterator& it1, 
                        const typename std::set<T>::iterator& it2,
                        const std::set<T>& target_set) {
    if (it1 == target_set.end()) {
        return false; // end()迭代器始终在所有有效元素迭代器的后方
    }
    if (it2 == target_set.end()) {
        return true; // 所有有效元素迭代器都在end()的前方
    }
    // 利用set的key比较器判断元素顺序，等价于*it1 < *it2但更贴合set的内部逻辑
    return target_set.key_comp()(*it1, *it2);
}

这个函数完全规避了UB：只有确定迭代器不是end()时才会解引用，而且直接复用set内部的比较规则，不会出现和set排序逻辑不一致的问题。

方案二：纯迭代器遍历（无需解引用，但效率较低） #

如果一定要完全不碰元素值，只操作迭代器，那可以通过遍历的方式判断迭代器的先后关系——但要注意，这个方法是O(n)复杂度，对于大型set来说效率不高，仅适合小体量的场景：

#include <iterator>

template <typename BidirectionalIterator>
bool iterator_is_before(BidirectionalIterator it1, BidirectionalIterator it2) {
    if (it1 == it2) {
        return false;
    }
    BidirectionalIterator temp = it1;
    // 尝试从it1走到it2，如果能走到说明it1在it2前面
    while (true) {
        ++temp;
        if (temp == it2) {
            return true;
        }
        if (temp == it1) {
            // 环形迭代器才会出现这种情况，而set不是环形，直接返回false
            return false;
        }
    }
}

方案三：借助Boost库的工具 #

如果你可以使用Boost，那么boost::iterator_range可以帮你简化判断逻辑，不过本质上还是基于元素比较（但不需要你手动处理end()的判断）：

#include <boost/range/iterator_range.hpp>

template <typename T>
bool iterator_is_before(const typename std::set<T>::iterator& it1, 
                        const typename std::set<T>::iterator& it2,
                        const std::set<T>& target_set) {
    using Range = boost::iterator_range<typename std::set<T>::iterator>;
    return Range(target_set.begin(), it1) < Range(target_set.begin(), it2);
}

这个方法利用了Boost对迭代器范围的比较逻辑，自动处理了end()的情况，而且代码更简洁。

总结一下，方案一是最推荐的：它兼顾了安全性、效率和代码可读性，完全符合你使用set追求高效操作的初衷；方案二仅适合对元素解引用有严格限制的特殊场景；方案三则是借助Boost实现的优雅简化版。

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