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

来自cppreference.com
< cpp‎ | container‎ | multimap

 
 
 
 
(1)
multimap();
(C++11 前)
multimap()
    : multimap(Compare()) {}
(C++11 起)
explicit multimap( const Compare& comp,
                   const Allocator& alloc = Allocator() );
(2)
explicit multimap( const Allocator& alloc );
(3) (C++11 起)
template< class InputIt >

multimap( InputIt first, InputIt last,
          const Compare& comp = Compare(),

          const Allocator& alloc = Allocator() );
(4)
template< class InputIt >

multimap( InputIt first, InputIt last,
          const Allocator& alloc )

    : multimap(first, last, Compare(), alloc) {}
(5) (C++14 起)
multimap( const multimap& other );
(6)
multimap( const multimap& other, const Allocator& alloc );
(7) (C++11 起)
multimap( multimap&& other );
(8) (C++11 起)
multimap( multimap&& other, const Allocator& alloc );
(9) (C++11 起)
multimap( std::initializer_list<value_type> init,

          const Compare& comp = Compare(),

          const Allocator& alloc = Allocator() );
(10) (C++11 起)
multimap( std::initializer_list<value_type> init,

          const Allocator& alloc )

    : multimap(init, Compare(), alloc) {}
(11) (C++14 起)
template< container-compatible-range<value_type> R >

multimap( std::from_range_t, R&& rg,
          const Compare& comp = Compare(),

          const Allocator& alloc = Allocator() );
(12) (C++23 起)
template< container-compatible-range<value_type> R >

multimap( std::from_range_t, R&& rg,
          const Allocator& alloc )

    : multimap(std::from_range, std::forward<R>(rg), Compare(), alloc) {}
(13) (C++23 起)

从各种数据源构造新容器,可选地使用用户提供的分配器 alloc 或比较函数对象 comp

1-3) 构造空容器。
4,5) 以范围 [firstlast) 的内容构造容器。
如果 [firstlast) 不是有效范围,则其行为未定义。
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) 初始化式列表构造函数。以 initializer_list init 的内容构造容器。
12,13)rg 的内容构造容器。

参数

alloc - 用于此容器所有内存分配的分配器
comp - 用于进行所有键比较的比较函数对象
first, last - 复制元素来源的范围
other - 要用作源以初始化容器元素的另一容器
init - 用以初始化容器元素的 initializer_list
rg - 容器兼容范围,即其元素可以转换为 value_typeinput_range
类型要求
-
InputIt 必须满足老式输入迭代器 (LegacyInputIterator)
-
Compare 必须满足比较 (Compare)
-
Allocator 必须满足分配器 (Allocator)

复杂度

1-3) 常数。
4,5) N·log(N),其中 N 通常为 std::distance(first, last),若 [firstlast) 已按照 value_comp() 排序则与 N 成线性。
6,7)other 的大小成线性。
8,9) 常数。若给定 allocalloc != other.get_allocator() 则为线性。
10,11) N·log(N),其中 N 通常为 init.size(),若 init 已按照 value_comp() 排序则与 N 成线性。
12,13) N·log(N),其中 N 通常为 ranges::distance(rg),若 rg 已按照 value_comp() 排序则与 N 成线性。

异常

Allocator::allocate 的调用可能抛出。

注解

在容器移动构造(重载 (8,9))后,指向 other 的引用及迭代器(除了尾迭代器)保持合法,但将指代现于 *this 中的元素。当前标准由 [container.requirements.general]/12 中的总括陈述作出此保证,而 LWG 问题 2321 正在考虑更严格的保证。

尽管在 C++23 前未正式要求,一些实现已经在较早的模式中将 Allocator 放入非推导语境

功能特性测试 标准 功能特性
__cpp_lib_containers_ranges 202202L (C++23) 按范围构造和插入; 重载 (12,13)

示例

#include <iostream>
#include <map>
#include <utility>
 
struct Point { double x, y; };
 
struct PointCmp
{
    bool operator()(const Point& lhs, const Point& rhs) const
    {
        return lhs.x < rhs.x; // NB: y 被有意忽略
    }
};
 
template <typename Key, typename Value, typename Cmp>
void println(auto rem, std::multimap<Key, Value, Cmp> const& map)
{
    std::cout << rem << "{ ";
    for (auto n{map.size()}; auto const& p : map)
        std::cout << '[' << p.first << ":" << p.second << (--n ? "], " : "]");
    std::cout << " }\n";
}
 
int main()
{
    std::multimap<int, int> m1 =
    {
        {1, 1}, {2, 2}, {3, 3}, {4, 4}, {4, 4}, {3, 3}, {2, 2}, {1, 1}
    };
    println("m1 = ", m1);
 
    // 自定义比较
    std::multimap<Point, double, PointCmp> mag
    {
        {{5, 12}, 13},
        {{3, 4}, 5},
        {{8, 15}, 17},
        {{3, -3}, -1}
    };
    for (auto p : mag)
        std::cout << "(" << p.first.x << ", " << p.first.y << ")"
                     " 的幅值为 " << p.second << '\n';
 
    std::cout << "从范围构造:\n";
    using PS = std::pair<int, std::string>;
    const auto rg = {PS{3, "Earth"}, {2, "Venus"}, {1, "Mercury"}, {3, "Moon"}};
#if __cpp_lib_containers_ranges
    std::multimap<int, std::string> m2(std::from_range, rg); // 重载 (12)
#else
    std::multimap<int, std::string> m2(rg.begin(), rg.end()); // 回退到 (4)
#endif
    println("m2 = ", m2);
}

输出:

m1 = { [1:1], [1:1], [2:2], [2:2], [3:3], [3:3], [4:4], [4:4] }
(3, 4) 的幅值为 5
(3, -3) 的幅值为 -1
(5, 12) 的幅值为 13
(8, 15) 的幅值为 17
从范围构造:
m2 = { [1:Mercury], [2:Venus], [3:Earth], [3:Moon] }

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 2076 C++11 重载 (4) 条件性要求 KeyT 可复制插入 (CopyInsertable) *this 不要求
LWG 2193 C++11 默认构造函数为 explicit 使之为非 explicit

参阅

将值赋给容器
(公开成员函数)