std::map<Key,T,Compare,Allocator>::emplace_hint

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

(since C++11)

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

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

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

Параметры

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

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

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

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

Исключения

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

Сложность

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

Пример

#include <chrono>
#include <cstddef>
#include <functional>
#include <iomanip>
#include <iostream>
#include <map>
 
const int n_operations = 100'500'0;
 
std::size_t map_emplace()
{
    std::map<int, char> map;
    for (int i = 0; i < n_operations; ++i)
        map.emplace(i, 'a');
 
    return map.size();
}
 
std::size_t map_emplace_hint()
{
    std::map<int, char> map;
    auto it = map.begin();
    for (int i = 0; i < n_operations; ++i)
    {
        map.emplace_hint(it, i, 'b');
        it = map.end();
    }
    return map.size();
}
 
std::size_t map_emplace_hint_wrong()
{
    std::map<int, char> map;
    auto it = map.begin();
    for (int i = n_operations; i > 0; --i)
    {
        map.emplace_hint(it, i, 'c');
        it = map.end();
    }
    return map.size();
}
 
std::size_t map_emplace_hint_corrected()
{
    std::map<int, char> map;
    auto it = map.begin();
    for (int i = n_operations; i > 0; --i)
    {
        map.emplace_hint(it, i, 'd');
        it = map.begin();
    }
    return map.size();
}
 
std::size_t map_emplace_hint_closest()
{
    std::map<int, char> map;
    auto it = map.begin();
    for (int i = 0; i < n_operations; ++i)
        it = map.emplace_hint(it, i, 'e');
 
    return map.size();
}
 
double time_it(std::function<std::size_t()> map_test,
               std::string what = "", double ratio = 0.0)
{
    auto start = std::chrono::system_clock::now();
    std::size_t mapsize = map_test();
    auto stop = std::chrono::system_clock::now();
    std::chrono::duration<double, std::milli> time = stop - start;
    if (what.size() > 0 && mapsize > 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(map_emplace); // cache warmup
    const auto x = time_it(map_emplace, "plain emplace");
    time_it(map_emplace_hint, "emplace with correct hint", x);
    time_it(map_emplace_hint_wrong, "emplace with wrong hint", x);
    time_it(map_emplace_hint_corrected, "corrected emplace", x);
    time_it(map_emplace_hint_closest, "emplace using returned iterator", x);
}

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

347.88ms for plain emplace (ratio: 1.00)
104.98ms for emplace with correct hint (ratio: 3.31)
388.57ms for emplace with wrong hint (ratio: 0.90)
 85.50ms for corrected emplace (ratio: 4.07)
 85.25ms for emplace using returned iterator (ratio: 4.08)

См. также

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/map/emplace_hint