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

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

 
C++
 
容器库
 
std::map
成员函数
map::map
元素访问
迭代器
容量
修改器
查找
观察器
非成员函数
(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20)
推导指引 (C++17)
 
(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) 初始化式列表构造函数。以 initializer_list init 的内容构造容器。如果范围中的多个元素的键比较相等，那么未指定哪个元素会被插入（参考待决的 LWG2844）。
12,13) 以 rg 的内容构造容器。如果范围中的多个元素的键比较相等，那么未指定哪个元素会被插入（参考待决的 LWG2844）。

参数

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

复杂度

1-3) 常数。
4,5) N·log(N)，其中 N 通常为 std::distance(first, last)，若 [first, last) 已按照 value_comp() 排序则与 N 成线性。
6,7) 与 other 的大小成线性。
8,9) 常数。若给定 alloc 且 alloc != 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 <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 comma{map.size()}; auto const& p : map)
        os << '\'' << p.first << "' 为 " << p.second << (--comma ? ", " : " ");
    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 被有意忽略
    }
};
 
int main()
{
    // (1) 默认构造函数
    std::map<std::string, int> map1;
    map1["something"] = 69;
    map1["anything"] = 199;
    map1["that thing"] = 50;
    std::cout << "map1 = " << map1;
 
    // (4) 范围构造函数
    std::map<std::string, int> iter(map1.find("anything"), map1.end());
    std::cout << "\niter = " << iter;
    std::cout << "map1 = " << map1;
 
    // (6) 复制构造函数
    std::map<std::string, int> copied(map1);
    std::cout << "\ncopied = " << copied;
    std::cout << "map1 = " << map1;
 
    // (8) 移动构造函数
    std::map<std::string, int> moved{std::move(map1)};
    std::cout << "\nmoved = " << moved;
    std::cout << "map1 = " << map1;
 
    // (10) 初始化式列表构造函数
    const std::map<std::string, int> init
    {
        {"this", 100},
        {"can", 100},
        {"be", 100},
        {"const", 100}
    };
    std::cout << "\ninit = " << init;
 
    std::cout << "\n自定义 Key 类的选项 1:\n";
    // 使用比较 struct
    std::map<Point, double, PointCmp> mag =
    {
        {{5, -12}, 13},
        {{3, 4}, 5},
        {{-8, -15}, 17}
    };
    std::cout << "mag = " << mag << '\n';
 
    std::cout << "自定义 Key 类的选项 2:\n";
    // 使用比较 lambda
    // 此 lambda 按照其模比较点，注意其中模取自局部变量 mag。
    auto cmpLambda = [&mag](const Point& lhs, const Point& rhs)
    {
        return mag[lhs] < mag[rhs];
    };
 
    // 你亦可使用不依赖局部变量的 lambda，像这样：
    // auto cmpLambda = [](const Point& lhs, const Point& rhs){ return lhs.y < rhs.y; };
    std::map<Point, double, decltype(cmpLambda)> magy(cmpLambda);
 
    // 各种插入元素的方式：
    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';
 
    std::cout << "从范围构造:\n";
    using PS = std::pair<const std::string, int>;
    const auto rg = {PS{"one", 1}, {"one", 101}, {"two", 2}, {"three", 3}};
#if __cpp_lib_containers_ranges
    std::map<std::string, int> nums(std::from_range, rg); // 重载 (12)
#else
    std::map<std::string, int> nums(rg.begin(), rg.end()); // 回退到 (4)
#endif
    std::cout << "nums = " << nums << '\n';
}

输出： 

map1 = { 'anything' 为 199, 'something' 为 69, 'that thing' 为 50, }
 
iter = { 'anything' 为 199, 'something' 为 69, 'that thing' 为 50, }
map1 = { 'anything' 为 199, 'something' 为 69, 'that thing' 为 50, }
 
copied = { 'anything' 为 199, 'something' 为 69, 'that thing' 为 50, }
map1 = { 'anything' 为 199, 'something' 为 69, 'that thing' 为 50, }
 
moved = { 'anything' 为 199, 'something' 为 69, 'that thing' 为 50, }
map1 = { }
 
init = { 'be' 为 100, 'can' 为 100, 'const' 为 100, 'this' 为 100, }
 
自定义 Key 类的选项 1:
mag = { '(-8, -15)' 为 17, '(3, 4)' 为 5, '(5, -12)' 为 13, }
 
自定义 Key 类的选项 2:
magy = { '(3, 4)' 为 5, '(5, -12)' 为 13, '(-8, -15)' 为 17, }
 
从范围构造:
nums = { 'one' 为 1, 'three' 为 3, 'two' 为 2 }

缺陷报告

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

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

参阅

 将值赋给容器
(公开成员函数)
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/container/map/map&oldid=47791”