std::unordered_map<Key,T,Hash,KeyEqual,Allocator>::unordered_map

来自cppreference.com

 
 
 
 
unordered_map() : unordered_map( size_type(/*implementation-defined*/) ) {}

explicit unordered_map( size_type bucket_count,
                        const Hash& hash = Hash(),
                        const key_equal& equal = key_equal(),

                        const Allocator& alloc = Allocator() );
(1) (C++11 起)
unordered_map( size_type bucket_count,

               const Allocator& alloc )
              : unordered_map(bucket_count, Hash(), key_equal(), alloc) {}
unordered_map( size_type bucket_count,
               const Hash& hash,
               const Allocator& alloc )

              : unordered_map(bucket_count, hash, key_equal(), alloc) {}
(1) (C++14 起)
explicit unordered_map( const Allocator& alloc );
(1) (C++11 起)
template< class InputIt >

unordered_map( InputIt first, InputIt last,
               size_type bucket_count = /*implementation-defined*/,
               const Hash& hash = Hash(),
               const key_equal& equal = key_equal(),

               const Allocator& alloc = Allocator() );
(2) (C++11 起)
template< class InputIt >

unordered_map( InputIt first, InputIt last,
               size_type bucket_count,
               const Allocator& alloc )
              : unordered_map(first, last,

                  bucket_count, Hash(), key_equal(), alloc) {}
(2) (C++14 起)
template< class InputIt >

unordered_map( InputIt first, InputIt last,
               size_type bucket_count,
               const Hash& hash,
               const Allocator& alloc )
              : unordered_map(first, last,

                  bucket_count, hash, key_equal(), alloc) {}
(2) (C++14 起)
unordered_map( const unordered_map& other );
(3) (C++11 起)
unordered_map( const unordered_map& other, const Allocator& alloc );
(3) (C++11 起)
unordered_map( unordered_map&& other );
(4) (C++11 起)
unordered_map( unordered_map&& other, const Allocator& alloc );
(4) (C++11 起)
unordered_map( std::initializer_list<value_type> init,

               size_type bucket_count = /*implementation-defined*/,
               const Hash& hash = Hash(),
               const key_equal& equal = key_equal(),

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

               size_type bucket_count,
               const Allocator& alloc )
              : unordered_map(init, bucket_count,

                  Hash(), key_equal(), alloc) {}
(5) (C++14 起)
unordered_map( std::initializer_list<value_type> init,

               size_type bucket_count,
               const Hash& hash,
               const Allocator& alloc )
              : unordered_map(init, bucket_count,

                  hash, key_equal(), alloc) {}
(5) (C++14 起)

从各种数据源构造新容器。可选的以用户提供的 bucket_count 为用于创建的最小桶数,以 hash 为哈希函数,以 equal 为比较关键的函数,和以 alloc 为分配器。

1) 构造空容器。设置 max_load_factor() 为 1.0 。对于默认构造函数,桶数是实现定义的。
2) 构造拥有范围 [first, last) 的内容的容器。设置 max_load_factor() 为 1.0 。如果范围中的多个元素的键比较相等,那么未指定哪个元素会被插入(参考待决的 LWG2844)。
3) 复制构造函数。构造拥有 other 内容副本的容器,一同复制加载因子、谓词和哈希函数。若不提供 alloc ,则通过调用 std::allocator_traits<allocator_type>::select_on_container_copy_construction(other.get_allocator()) 获得分配器。

在用于类模板实参推导时,仅从首个实参推导模板形参 Allocator

(C++23 起)
4) 移动构造函数。用移动语义构造拥有 other 内容的容器。若不提供 alloc ,则通过从属于 other 的分配器移动构造获得分配器。

在用于类模板实参推导时,仅从首个实参推导模板形参 Allocator

(C++23 起)
5) 构造拥有 initializer_list init 内容的容器,同 unordered_map(init.begin(), init.end())

参数

alloc - 用于此容器所有内存分配器的分配器
bucket_count - 初始化时用的最小桶数。若不指定,则使用实现定义的默认值
hash - 要用的哈希函数
equal - 用于此容器所有关键比较的比较函数
first, last - 复制元素来源的范围
other - 用作源以初始化容器元素的另一容器
init - 用以初始化容器元素的 initializer_list
类型要求
-
InputIt 必须符合老式输入迭代器 (LegacyInputIterator) 的要求。

复杂度

1) 常数
2) 平均情况与 firstlast 间的距离成线性,最坏情况成平方。
3)other 的大小成线性。
4) 常数。若给定 allocalloc != other.get_allocator() 则为线性。
5) 平均情况与 init 的大小成线性,最坏情况成平方。

异常

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

注解

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

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

示例

#include <unordered_map>
#include <vector>
#include <bitset>
#include <string>
#include <utility>
 
struct Key {
    std::string first;
    std::string second;
};
 
struct KeyHash {
 std::size_t operator()(const Key& k) const
 {
     return std::hash<std::string>()(k.first) ^
            (std::hash<std::string>()(k.second) << 1);
 }
};
 
struct KeyEqual {
 bool operator()(const Key& lhs, const Key& rhs) const
 {
    return lhs.first == rhs.first && lhs.second == rhs.second;
 }
};
 
struct Foo {
    Foo(int val_) : val(val_) {}
    int val;
    bool operator==(const Foo &rhs) const { return val == rhs.val; }
};
 
namespace std {
    template<> struct hash<Foo> {
        std::size_t operator()(const Foo &f) const {
            return std::hash<int>{}(f.val);
        }  
    };
}
 
int main()
{
    // 默认构造函数:空 unordered_map
    std::unordered_map<std::string, std::string> m1;
 
    // 列表构造函数
    std::unordered_map<int, std::string> m2 =
    {
        {1, "foo"},
        {3, "bar"},
        {2, "baz"},
    };
 
    // 复制构造函数
    std::unordered_map<int, std::string> m3 = m2;
 
    // 移动构造函数
    std::unordered_map<int, std::string> m4 = std::move(m2);
 
    // 范围构造函数
    std::vector<std::pair<std::bitset<8>, int>> v = { {0x12, 1}, {0x01,-1} };
    std::unordered_map<std::bitset<8>, double> m5(v.begin(), v.end());
 
    // 带定制 Key 类型的构造函数的选项 1
    // 定义 KeyHash 与 KeyEqual 结构体并在模板中使用它们
    std::unordered_map<Key, std::string, KeyHash, KeyEqual> m6 = {
            { {"John", "Doe"}, "example"},
            { {"Mary", "Sue"}, "another"}
    };
 
    // 带定制 Key 类型的构造函数的选项 2
    // 为 class/struct 定义 const == 运算符并于 std 命名空间特化 std::hash 结构体
    std::unordered_map<Foo, std::string> m7 = {
        { Foo(1), "One"}, { 2, "Two"}, { 3, "Three"}
    };
 
    // 选项 3 :用 lambdas
    // 注意必须将初始桶数传递给构造函数
    struct Goo {int val; };
    auto hash = [](const Goo &g){ return std::hash<int>{}(g.val); };
    auto comp = [](const Goo &l, const Goo &r){ return l.val == r.val; };
    std::unordered_map<Goo, double, decltype(hash), decltype(comp)> m8(10, hash, comp);
}

缺陷报告

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

缺陷报告 应用于 出版时的行为 正确行为
LWG 2193 C++11 默认构造函数为 explicit 使之为非 explicit

参阅

(C++11)
赋值给容器
(公开成员函数)