std::set<Key,Compare,Allocator>::emplace_hint

template< class... Args >
iterator emplace_hint( const_iterator hint, Args&&... args );

(с C++11)

Вставляет новый элемент в контейнер как можно ближе к позиции, расположенной непосредственно перед hint. Элемент конструируется на месте, т.е. не выполняются операции копирования или перемещения.

Конструктор элемента вызывается ровно с теми же аргументами, что и переданы в функцию, переданные с std::forward<Args>(args)....

Ни один итератор или ссылка не становятся недействительными.

Параметры

hint	-	итератор на позицию перед которой будет вставлен новый элемент
args	-	аргументы для передачи в конструктор элемента

Возвращаемое значение

Возвращает итератор на только что вставленный элемент.

Если вставка не удалась из-за того, что элемент уже существует, возвращает итератор на уже существующий элемент с эквивалентным ключом.

Исключения

Если при любой операции произойдёт исключение, эта функция не имеет эффекта (сильная гарантия исключений).

Сложность

Логарифмическая по отношению к размеру контейнера в общем случае, но амортизированная константа, если новый элемент вставляется непосредственно перед hint.

Пример

#include <chrono>
#include <cstddef>
#include <functional>
#include <iomanip>
#include <iostream>
#include <set>
 
const int n_operations = 100'500'0;
 
std::size_t set_emplace()
{
    std::set<int> set;
    for (int i = 0; i < n_operations; ++i)
        set.emplace(i);
    return set.size();
}
 
std::size_t set_emplace_hint()
{
    std::set<int> set;
    auto it = set.begin();
    for (int i = 0; i < n_operations; ++i)
    {
        set.emplace_hint(it, i);
        it = set.end();
    }
    return set.size();
}
 
std::size_t set_emplace_hint_wrong()
{
    std::set<int> set;
    auto it = set.begin();
    for (int i = n_operations; i > 0; --i)
    {
        set.emplace_hint(it, i);
        it = set.end();
    }
    return set.size();
}
 
std::size_t set_emplace_hint_corrected()
{
    std::set<int> set;
    auto it = set.begin();
    for (int i = n_operations; i > 0; --i)
    {
        set.emplace_hint(it, i);
        it = set.begin();
    }
    return set.size();
}
 
std::size_t set_emplace_hint_closest()
{
    std::set<int> set;
    auto it = set.begin();
    for (int i = 0; i < n_operations; ++i)
        it = set.emplace_hint(it, i);
    return set.size();
}
 
double time_it(std::function<std::size_t()> set_test,
               const char* what = nullptr,
               double ratio = 0.0)
{
    const auto start = std::chrono::system_clock::now();
    const std::size_t setsize = set_test();
    const auto stop = std::chrono::system_clock::now();
    const std::chrono::duration<double, std::milli> time = stop - start;
    if (what != nullptr && setsize > 0)
        std::cout << std::setw(8) << time << " for " << what << " (ratio: "
                  << (ratio == 0.0 ? 1.0 : ratio / time.count()) << ")\n";
    return time.count();
}
 
int main()
{
    std::cout << std::fixed << std::setprecision(2);
    time_it(set_emplace); // cache warmup
    const auto x = time_it(set_emplace, "plain emplace");
    time_it(set_emplace_hint, "emplace with correct hint", x);
    time_it(set_emplace_hint_wrong, "emplace with wrong hint", x);
    time_it(set_emplace_hint_corrected, "corrected emplace", x);
    time_it(set_emplace_hint_closest, "emplace using returned iterator", x);
}

Возможный вывод:

379.92ms for plain emplace (ratio: 1.00)
 99.36ms for emplace with correct hint (ratio: 3.82)
374.33ms for emplace with wrong hint (ratio: 1.01)
 83.00ms for corrected emplace (ratio: 4.58)
 84.26ms for emplace using returned iterator (ratio: 4.51)

См. также

emplace (C++11)	конструирует элемент на месте (публичный член-функция)
insert	вставляет элементы или узлы(с C++17) (публичный член-функция)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/container/set/emplace_hint