命名空间
变体
操作

std::unordered_multimap 的推导指南

来自 cppreference.com
 
 
 
 
定义在头文件 <unordered_map>
template< class InputIt,

          class Hash = std::hash<iter_key_t<InputIt>>,
          class Pred = std::equal_to<iter_key_t<InputIt>>,
          class Alloc = std::allocator<iter_to_alloc_t<InputIt>> >
unordered_multimap( InputIt, InputIt,
                    typename /*see below*/::size_type = /*see below*/,
                    Hash = Hash(), Pred = Pred(), Alloc = Alloc() )
    -> unordered_multimap<iter_key_t<InputIt>, iter_val_t<InputIt>,

                          Hash, Pred, Alloc>;
(1) (自 C++17)
template< class Key, class T, class Hash = std::hash<Key>,

          class Pred = std::equal_to<Key>,
          class Alloc = std::allocator<std::pair<const Key, T>> >
unordered_multimap( std::initializer_list<std::pair<Key, T>>,
                    typename /*see below*/::size_type = /*see below*/,
                    Hash = Hash(), Pred = Pred(), Alloc = Alloc() )

    -> unordered_multimap<Key, T, Hash, Pred, Alloc>;
(2) (自 C++17)
template< class InputIt, class Alloc >

unordered_multimap( InputIt, InputIt, typename /*see below*/::size_type, Alloc )
    -> unordered_multimap<iter_key_t<InputIt>, iter_val_t<InputIt>,
                          std::hash<iter_key_t<InputIt>>,

                          std::equal_to<iter_key_t<InputIt>>, Alloc>;
(3) (自 C++17)
template< class InputIt, class Alloc >

unordered_multimap( InputIt, InputIt, Alloc )
    -> unordered_multimap<iter_key_t<InputIt>, iter_val_t<InputIt>,
                          std::hash<iter_key_t<InputIt>>,

                          std::equal_to<iter_key_t<InputIt>>, Alloc>;
(4) (自 C++17)
template< class InputIt, class Hash, class Alloc >

unordered_multimap( InputIt, InputIt, typename /*see below*/::size_type, Hash, Alloc )
    -> unordered_multimap<iter_key_t<InputIt>, iter_val_t<InputIt>, Hash,

                          std::equal_to<iter_key_t<InputIt>>, Alloc>;
(5) (自 C++17)
template< class Key, class T, typename Alloc >

unordered_multimap( std::initializer_list<std::pair<Key, T>>,
                    typename /*see below*/::size_type, Alloc )

    -> unordered_multimap<Key, T, std::hash<Key>, std::equal_to<Key>, Alloc>;
(6) (自 C++17)
template< class Key, class T, typename Alloc >

unordered_multimap( std::initializer_list<std::pair<Key, T>>, Alloc )

    -> unordered_multimap<Key, T, std::hash<Key>, std::equal_to<Key>, Alloc>;
(7) (自 C++17)
template< class Key, class T, class Hash, class Alloc >

unordered_multimap( std::initializer_list<std::pair<Key, T>>,
                    typename /*see below*/::size_type, Hash, Alloc )

    -> unordered_multimap<Key, T, Hash, std::equal_to<Key>, Alloc>;
(8) (自 C++17)
template< ranges::input_range R,

          class Hash = std::hash<range_key_t<R>>,
          class Pred = std::equal_to<range_key_t<R>>,
          class Alloc = std::allocator<range_to_alloc_t<R>> >
unordered_multimap( std::from_range_t, R&&,
                    typename /* see description */::size_type = /* see description */,
                    Hash = Hash(), Pred = Pred(), Alloc = Alloc() )
    -> unordered_multimap<range_key_t<R>, range_mapped_t<R>,

                          Hash, Pred, Alloc>;
(9) (自 C++23)
template< ranges::input_range R, class Alloc >

unordered_multimap( std::from_range_t, R&&,
                    typename /* see description */::size_type, Alloc )
    -> unordered_multimap<range_key_t<R>, range_mapped_t<R>,
                          std::hash<range_key_t<R>>,

                          std::equal_to<range_key_t<R>>, Alloc>;
(10) (自 C++23)
template< ranges::input_range R, class Alloc >

unordered_multimap( std::from_range_t, R&&, Alloc )
    -> unordered_multimap<range_key_t<R>, range_mapped_t<R>,
                          std::hash<range_key_t<R>>,

                          std::equal_to<range_key_t<R>>, Alloc>;
(11) (自 C++23)
template< ranges::input_range R, class Hash, class Alloc >

unordered_multimap( std::from_range_t, R&&, typename /* see description */::size_type,
                    Hash, Alloc )
    -> unordered_multimap<range_key_t<R>, range_mapped_t<R>, Hash,

                          std::equal_to<range_key_t<R>>, Alloc>;
(12) (自 C++23)
仅供说明的辅助类型别名
template< class InputIter >

using iter_val_t =

    typename std::iterator_traits<InputIter>::value_type;
(仅供说明*)
template< class InputIter >

using iter_key_t =

    std::remove_const_t< std::tuple_element_t<0, iter_val_t<InputIter>>>;
(仅供说明*)
template< class InputIter >

using iter_mapped_t =

    std::tuple_element_t<1, iter_val_t<InputIter>>;
(仅供说明*)
template< class InputIter >

using iter_to_alloc_t =
    std::pair<std::add_const_t<tuple_element_t<0, iter_val_t<InputIter>>>,

              std::tuple_element_t<1, iter_val_t<InputIter>>>;
(仅供说明*)
template< ranges::input_range Range >

using range_key_t =

    std::remove_const_t<typename ranges::range_value_t<Range>::first_type>;
(自 C++23)
(仅供说明*)
template< ranges::input_range Range >

using range_mapped_t =

    typename ranges::range_value_t<Range>::second_type;
(自 C++23)
(仅供说明*)
template< ranges::input_range Range >

using range_to_alloc_t =
    std::pair<std::add_const_t<typename ranges::range_value_t<Range>::first_type>,

              typename ranges::range_value_t<Range>::second_type>;
(自 C++23)
(仅供说明*)
1-8) 这些 推导指南 提供给 unordered_multimap 允许从迭代器范围 (重载 (1,3-5)) 和 std::initializer_list (重载 (2,6-8)) 推导。
9-12) 这些推导指南提供给 unordered_multimap 允许从 std::from_range_t 标签和 input_range 推导。

只有当 InputIt 满足 LegacyInputIteratorAlloc 满足 AllocatorHashPred 都不满足 Allocator,并且 Hash 不是整数类型时,这些重载才会参与重载解析。

注意:库确定类型是否不满足 LegacyInputIterator 的程度未指定,但至少整数类型不符合输入迭代器。同样地,它确定类型是否不满足 Allocator 的程度未指定,但至少成员类型 Alloc::value_type 必须存在,并且表达式 std::declval<Alloc&>().allocate(std::size_t{}) 必须在被视为未计算的操作数时是格式良好的。

这些指南中的 size_type 参数类型是指推导指南推导出的类型的 size_type 成员类型。

[编辑] 注释

功能测试 Std 功能
__cpp_lib_containers_ranges 202202L (C++23) 范围感知 构造和插入;重载 (9-12)

[编辑] 示例

#include <unordered_map>
 
int main()
{
    // std::unordered_multimap m1 = {{"foo", 1}, {"bar", 2}};
        // Error: braced-init-list has no type cannot
        // deduce pair<Key, T> from {"foo", 1} or {"bar", 2}
 
    std::unordered_multimap m1 = {std::pair{"foo", 2}, {"bar", 3}}; // guide #2
    std::unordered_multimap m2(m1.begin(), m1.end()); // guide #1
}

[编辑] 缺陷报告

以下行为更改缺陷报告已追溯应用于先前发布的 C++ 标准。

DR 应用于 已发布的行为 正确行为
LWG 3025 C++17 initializer-list 指南采用 std::pair<const Key, T> 使用 std::pair<Key, T>