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);
}

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

392.25ms for plain emplace (ratio: 1.00)
 97.15ms for emplace with correct hint (ratio: 4.04)
387.52ms for emplace with wrong hint (ratio: 1.01)
 84.80ms for corrected emplace (ratio: 4.63)
 83.67ms for emplace using returned iterator (ratio: 4.69)

См. также

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

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