如何在C++ std::set中获取指定元素的前驱与后继元素？

你的代码问题出在每次调用lower_bound(X)或find(X)都会返回一个全新的迭代器，直接在函数调用后使用--或++完全无效——后置运算符会先返回当前迭代器的值，再修改迭代器，而且两次独立调用会重新执行查找，导致你始终操作的是指向X的新迭代器，自然输出都是8。

正确的做法是先获取指向X的迭代器，再基于这个迭代器去获取前驱和后继：

完整示例代码 #

#include <iostream>
#include <set>
#include <iterator> // 用于prev()和next()函数

int main() {
    int X = 8;
    std::set<int> s;
    s.insert(0);
    s.insert(X);
    s.insert(10);

    // 先定位到X的迭代器
    auto it = s.find(X);
    if (it == s.end()) {
        std::cout << "X不在集合中" << std::endl;
        return 1;
    }

    // 获取前驱元素（小于X且最接近的元素）
    if (it != s.begin()) {
        auto prev_it = std::prev(it);
        std::cout << "前驱元素: " << *prev_it << std::endl;
    } else {
        std::cout << "X是集合首元素，无前驱" << std::endl;
    }

    // 获取后继元素（大于X且最接近的元素）
    auto next_it = std::next(it);
    if (next_it != s.end()) {
        std::cout << "后继元素: " << *next_it << std::endl;
    } else {
        std::cout << "X是集合尾元素，无后继" << std::endl;
    }

    return 0;
}

关键细节说明 #

• 定位迭代器：用std::set::find()直接定位X，因为set元素唯一，这个方法语义比lower_bound()更清晰（lower_bound(X)也能找到，但find专门用于精确匹配）。
• 前驱处理：使用std::prev(it)获取前一个迭代器，但必须先判断当前迭代器不是begin()——双向迭代器在begin()位置递减会触发未定义行为。
• 后继处理：使用std::next(it)获取后一个迭代器，同时要判断是否等于end()，解引用end()同样会触发未定义行为。

如果X不在集合中，想找到小于X的最大元素，可以用lower_bound配合递减：

auto it = s.lower_bound(X);
if (it != s.begin()) {
    --it;
    std::cout << "小于X的最大元素: " << *it << std::endl;
} else {
    std::cout << "没有小于X的元素" << std::endl;
}

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