std::map/std::set为何提供equal_range()成员函数？

云原生阿岚

2026-6-25

为什么std::map和std::set也提供equal_range()成员函数？

这个设计核心是为了接口一致性和泛型编程兼容性，具体原因可以从这几点理解：

统一容器接口，简化泛型代码
STL的设计理念之一是让不同容器提供尽可能一致的接口，这样开发者能写出不依赖具体容器类型的泛型代码。比如你写一个处理"键匹配元素范围"的函数，不管传入的是std::map/std::set还是std::multimap/std::multiset，都能直接调用equal_range()，不需要额外加分支判断区分容器类型。
举个泛型代码的例子：
```
template <typename OrderedContainer, typename Key>
void process_matching_elements(const OrderedContainer& container, const Key& target_key) {
    auto [range_begin, range_end] = container.equal_range(target_key);
    for (auto it = range_begin; it != range_end; ++it) {
        // 处理元素：单键容器这里只会循环0次或1次，多键容器则遍历所有匹配项
    }
}
```
这段代码对所有有序关联容器都生效，不用因为容器是单键还是多键版本做修改。
一次调用完成"存在性判断+元素定位"
对于std::map/std::set，equal_range()返回的范围要么是空（键不存在），要么是包含单个元素的范围（键存在）。你可以通过判断返回的两个迭代器是否相等，一次性完成"键是否存在"的检查和"获取元素迭代器"的操作，相比分开调用find()或者lower_bound()再做判断，代码更简洁。
示例：
```
std::set<int> my_set = {1, 3, 5};
auto [first, last] = my_set.equal_range(3);
if (first != last) {
    // 键存在，first指向对应的元素
    std::cout << *first << std::endl;
}
```
兼容多键容器的使用习惯
当你需要把原本基于std::multimap/std::multiset的代码改成单键版本时，不需要修改所有调用equal_range()的地方——代码依然能正常运行，只是返回的范围长度从"多个元素"变成"0或1个元素"，大幅降低代码迁移的成本。