为啥 std::set::find 不提供提示迭代器？

Posted 2023-02-17

【中文标题】为啥 std::set::find 不提供提示迭代器？

【英文标题】：Why does std::set::find not provide a hint iterator?为什么 std::set::find 不提供提示迭代器？

【发布时间】：2021-05-23 08:46:48

【问题描述】：

#include <set>
#include <vector>

using Value = std::vector<int>;

int main()

    auto coll = std::set<Value>;

    // ......
    // Insert many values here.
    // ......

    auto new_value = Value1, 2, 3;
    auto const pos = coll.find(new_value);

    if (pos != coll.end())
    
        // Good
        coll.emplace_hint(coll.erase(pos), std::move(new_value));
    
    else
    
        // Performance penalty!
        // No hint here, though coll.find(new_value) knows that.
        coll.emplace(std::move(new_value));
    

为什么std::set::find不提供提示迭代器？

【问题讨论】：

我不确定该迭代器的外观。您或许可以改用std::set::lower_bound。

【参考方案1】：

std::set::lower_bound() 的结果可用作emplace_hint() 的提示。所以只需使用lower_bound() 而不是find()，并检查lower_bound() 返回的键是否与您要查找的匹配，而不是检查find() 返回的迭代器是否为end()。

【参考方案2】：

在考虑迭代器的 == 运算符的传递性和对称性时，这会很麻烦。

让i1 和i2 成为通过find 检索到的针对set 中不存在的不同对象的提示。

我们有

i1 == set.end() set.end() == i2

因此i1 == i2，所以我们希望这种提示在插入时具有相同的行为，但您描述的所需行为是不同的行为（在传递通过@检索的迭代器时提高emplace的性能987654330@ 与您放置的值相同）。