Spec-Zone.ru › C++

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

(1)
map();
(до C++11)
map()
   : map(Compare()) {}
(с C++11)
explicit map( const Compare& comp,
              const Allocator& alloc = Allocator() );
(2)
explicit map( const Allocator& alloc );
(3) (с C++11)
template< class InputIt >
map( InputIt first, InputIt last,
     const Compare& comp = Compare(),
     const Allocator& alloc = Allocator() );
(4)
template< class InputIt >
map( InputIt first, InputIt last,
     const Allocator& alloc )
   : map(first, last, Compare(), alloc) {}
(5) (с C++14)
map( const map& other );
(6)
map( const map& other, const Allocator& alloc );
(7) (с C++11)
map( map&& other );
(8) (с C++11)
map( map&& other, const Allocator& alloc );
(9) (с C++11)
map( std::initializer_list<value_type> init,
     const Compare& comp = Compare(),
     const Allocator& alloc = Allocator() );
(10) (с C++11)
map( std::initializer_list<value_type> init,
     const Allocator& alloc )
   : map(init, Compare(), alloc) {}
(11) (с C++14)
template< container-compatible-range<value_type> R >
map( std::from_range_t, R&& rg,
     const Compare& comp = Compare(),
     const Allocator& alloc = Allocator() );
(12) (с C++23)
template< container-compatible-range<value_type> R >
map( std::from_range_t, R&& rg,
     const Allocator& alloc )
   : map(std::from_range, std::forward<R>(rg), Compare(), alloc) {}
(13) (с C++23)

Создаёт новый контейнер из различных источников данных и необязательно с использованием предоставленного пользователем аллокатора alloc или объекта сравнения comp.

1-3) Создаёт пустой контейнер.
4,5) Создаёт контейнер с содержимым диапазона [first, last). Если несколько элементов в диапазоне имеют ключи, которые сравниваются как эквивалентные, то не определено, какой элемент будет вставлен (ожидается LWG2844).
Если [first, last) не является валидным диапазоном, поведение не определено.
6,7) Конструктор копирования. Создаёт контейнер с копией содержимого other.

Если alloc не предоставлен, аллокатор получается вызовом std::allocator_traits<allocator_type>::
select_on_container_copy_construction(other.get_allocator())
.

(с C++11)

Во время вывода параметров шаблона класса, только первый аргумент участвует в выводе параметра шаблона Allocator контейнера.

(с C++23)
8,9) Конструктор перемещения. Создаёт контейнер с содержимым other с помощью семантики перемещения. Если alloc не предоставлен, аллокатор получается перемещением из аллокатора, принадлежащего other.

Во время вывода параметров шаблона класса, только первый аргумент участвует в выводе параметра шаблона Allocator контейнера.

(с C++23)
10,11) Конструктор списка инициализации. Создаёт контейнер с содержимым списка инициализации init. Если несколько элементов в диапазоне имеют ключи, которые сравниваются как эквивалентные, то не определено, какой элемент будет вставлен (ожидается LWG2844).
12,13) Создаёт контейнер с содержимым rg. Если несколько элементов в диапазоне имеют ключи, которые сравниваются как эквивалентные, то не определено, какой элемент будет вставлен (ожидается LWG2844).

Параметры

alloc - аллокатор для всех выделений памяти этого контейнера
comp - объект-функция сравнения для всех сравнений ключей
first, last - диапазон для копирования элементов
other - другой контейнер, используемый как источник для инициализации элементов контейнера
init - список инициализации для инициализации элементов контейнера
rg - совместимый с контейнером диапазон, то есть input_range, элементы которого преобразуемы в value_type
Требования к типу
-InputIt должен соответствовать требованиям LegacyInputIterator.
-Compare должен соответствовать требованиям Compare.
-Allocator должен соответствовать требованиям Allocator.

Сложность

1-3) Постоянная.
4,5) \(\scriptsize N \cdot log(N)\)N·log(N), где \(\scriptsize N\)N — std::distance(first, last) в общем случае, линейная по \(\scriptsize N\)N, если [first, last) уже отсортирован по value_comp().
6,7) Линейная по размеру other.
8,9) Постоянная. Если alloc задан и alloc != other.get_allocator(), то линейная.
10,11) \(\scriptsize N \cdot log(N)\)N·log(N), где \(\scriptsize N\)N — init.size() в общем случае, линейная по \(\scriptsize N\)N, если init уже отсортирован по value_comp().
12,13) \(\scriptsize N \cdot log(N)\)N·log(N), где \(\scriptsize N\)N — ranges::distance(rg) в общем случае, линейная по \(\scriptsize N\)N, если rg уже отсортирован по value_comp().

Исключения

Вызовы Allocator::allocate могут генерировать исключения.

Примечания

После перемещения контейнера (перегрузка (8,9)), ссылки, указатели и итераторы (кроме итератора конца) на other остаются действительными, но ссылаются на элементы, которые теперь находятся в *this. Текущий стандарт гарантирует это посредством общего заявления в [container.reqmts]/67, и более прямое гарантия рассматривается в LWG issue 2321.

Хотя это не формально требуется до C++23, некоторые реализации уже поместили параметр шаблона Allocator в не выводимые контексты в более ранних режимах.

Макросы проверки наличия функции Значение Стандарт Функция
__cpp_lib_containers_ranges 202202L (C++23) Поддержка диапазонов при создании и вставке; перегрузки (12,13)

Пример

#include <iomanip>
#include <iostream>
#include <map>
#include <string>
 
template<typename Key, typename Value, typename Cmp>
std::ostream& operator<<(std::ostream& os, std::map<Key, Value, Cmp> const& map)
{
    os << "{ ";
    for (auto const& p : map)
        os << '\'' << p.first << "' is " << p.second << ", ";
    return os << "}\n";
}
 
struct Point
{
    double x, y;
 
    friend std::ostream& operator<<(std::ostream& os, Point pt)
    {
        return os << '(' << pt.x << ", " << pt.y << ')';
    }
};
 
struct PointCmp
{
    bool operator()(const Point& lhs, const Point& rhs) const
    {
        return lhs.x < rhs.x; // NB: y is intentionally ignored
    }
};
 
int main()
{
    // (1) Default constructor
    std::map<std::string, int> map1;
    map1["something"] = 69;
    map1["anything"] = 199;
    map1["that thing"] = 50;
    std::cout << "map1 = " << map1;
 
    // (4) Range constructor
    std::map<std::string, int> iter(map1.find("anything"), map1.end());
    std::cout << "\niter = " << iter;
    std::cout << "map1 = " << map1;
 
    // (6) Copy constructor
    std::map<std::string, int> copied(map1);
    std::cout << "\ncopied = " << copied;
    std::cout << "map1 = " << map1;
 
    // (8) Move constructor
    std::map<std::string, int> moved{std::move(map1)};
    std::cout << "\nmoved = " << moved;
    std::cout << "map1 = " << map1;
 
    // (10) Initializer list constructor
    const std::map<std::string, int> init
    {
        {"this", 100},
        {"can", 100},
        {"be", 100},
        {"const", 100}
    };
    std::cout << "\ninit = " << init;
 
    std::cout << "\nCustom Key class option 1:\n";
    // Use a comparison struct
    std::map<Point, double, PointCmp> mag =
    {
        {{5, -12}, 13},
        {{3, 4}, 5},
        {{-8, -15}, 17}
    };
 
    std::cout << "mag = " << mag << '\n';
 
    std::cout << "Custom Key class option 2:\n";
    // Use a comparison lambda
    // This lambda sorts points according to their magnitudes, where
    // these magnitudes are taken from the local variable mag.
    auto cmpLambda = [&mag](const Point& lhs, const Point& rhs)
    {
        return mag[lhs] < mag[rhs];
    };
 
    // You could also use a lambda that is not dependent on local variables, like this:
    // auto cmpLambda = [](const Point& lhs, const Point& rhs){ return lhs.y < rhs.y; };
    std::map<Point, double, decltype(cmpLambda)> magy(cmpLambda);
 
    // Various ways of inserting elements:
    magy.insert(std::pair<Point, double>({5, -12}, 13));
    magy.insert({{3, 4}, 5});
    magy.insert({Point{-8.0, -15.0}, 17});
 
    std::cout << "magy = " << magy << '\n';
}

Вывод:

map1 = { 'anything' is 199, 'something' is 69, 'that thing' is 50, }
 
iter = { 'anything' is 199, 'something' is 69, 'that thing' is 50, }
map1 = { 'anything' is 199, 'something' is 69, 'that thing' is 50, }
 
copied = { 'anything' is 199, 'something' is 69, 'that thing' is 50, }
map1 = { 'anything' is 199, 'something' is 69, 'that thing' is 50, }
 
moved = { 'anything' is 199, 'something' is 69, 'that thing' is 50, }
map1 = { }
 
init = { 'be' is 100, 'can' is 100, 'const' is 100, 'this' is 100, }
 
Custom Key class option 1:
mag = { '(-8, -15)' is 17, '(3, 4)' is 5, '(5, -12)' is 13, }
 
Custom Key class option 2:
magy = { '(3, 4)' is 5, '(5, -12)' is 13, '(-8, -15)' is 17, }

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

DR Применено к Поведение, опубликованное Правильное поведение
LWG 2076 C++11 перегрузка (4) условно требовала Keyи T быть CopyInsertable в *this не требуется
LWG 2193 C++11 конструктор по умолчанию был явным сделано неявно-явным

См. также

operator=
присваивает значения контейнеру
(публичный член-функция)

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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API