std::multimap に対する推定ガイド
ヘッダ <map> で定義 | ||
template<class InputIt, class Comp =std::less<iter_key_t<InputIt>>, | (1) | (C++17以上) |
template<class Key, class T, | (2) | (C++17以上) |
template<class InputIt, class Alloc> multimap(InputIt, InputIt, Alloc) | (3) | (C++17以上) |
template<class Key, class T, class Allocator> multimap(std::initializer_list<std::pair<Key, T>>, Allocator) | (4) | (C++17以上) |
ただし、型エイリアス iter_key_t, iter_val_t, iter_to_alloc_t は以下の通りであるかのように定義されます。
template<class InputIt> using iter_key_t =std::remove_const_t< | (説明専用) | |
template<class InputIt> using iter_val_t =typenamestd::iterator_traits<InputIt>::value_type::second_type; | (説明専用) | |
template<class InputIt> using iter_to_alloc_t =std::pair< | (説明専用) | |
イテレータ範囲 (オーバーロード (1,3)) および std::initializer_list (オーバーロード (2,4)) からの推定を可能とするため multimap に対してこの推定ガイドが提供されます。 これらのオーバーロードは、InputIt が LegacyInputIterator を満たし、 Alloc が Allocator を満たし、 Comp が Allocator を満たさない場合場合にのみ、オーバーロード解決に参加します。
ノート: ある型が LegacyInputIterator を満たさないとライブラリが判断する範囲は、少なくとも整数型が入力イテレータとして適合しないことを除いて、未規定です。 同様に、ある型が Allocator を満たさないと判断される範囲も、少なくともメンバ型 Alloc::value_type が存在しなければならず、式 std::declval<Alloc&>().allocate(std::size_t{}) が評価されない被演算子として扱われたときに well-formed でなければならないことを除いて、未規定です。
[編集]例
#include <map>int main(){// std::multimap m1 = {{"foo", 1}, {"bar", 2}}; // エラー、波括弧初期化子リストは型を持ちません。// {"foo", 1} や {"bar", 2} から// pair<Key, T> を推定することはできません。 std::multimap m1 ={std::pair{"foo", 2}, {"bar", 3}};// ガイド #2std::multimap m2(m1.begin(), m1.end());// ガイド #1}
[編集]欠陥報告
以下の動作変更欠陥報告は以前に発行された C++ 標準に遡って適用されました。
| DR | 適用先 | 発行時の動作 | 正しい動作 |
|---|---|---|---|
| LWG 3025 | C++17 | initializer-list guides take std::pair<const Key, T> | use std::pair<Key, T> |
