std::map に対する推定ガイド

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ (C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

技術仕様書

 

コンテナライブラリ

array (C++11)

vector

deque

forward_list (C++11)

list

set

multiset

map

multimap

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

stack

queue

priority_queue

span (C++20)

 

std::map

メンバ関数

map::map

map::~map

map::operator=

map::get_allocator

要素アクセス

map::at

map::operator[]

イテレータ

map::beginmap::cbegin (C++11)

map::endmap::cend (C++11)

map::rbeginmap::crbegin (C++11)

map::rendmap::crend (C++11)

容量

map::empty

map::size

map::max_size

変更

map::clear

map::insert

map::insert_or_assign (C++17)

map::emplace (C++11)

map::emplace_hint (C++11)

map::try_emplace (C++17)

map::erase

map::swap

map::extract (C++17)

map::merge (C++17)

検索

map::count

map::find

map::contains (C++20)

map::equal_range

map::lower_bound

map::upper_bound

観察

map::key_comp

map::value_comp

推定ガイド(C++17)

 

<tbody> </tbody>

ヘッダ <map> で定義
template <class InputIt, class Comp = std::less<iter_key_t<InputIt>>, class Alloc = std::allocator<iter_to_alloc_t<InputIt>>> map(InputIt, InputIt, Comp = Comp(), Alloc = Alloc()) -> map<iter_key_t<InputIt>, iter_val_t<InputIt>, Comp, Alloc>;	(1)	(C++17以上)
template<class Key, class T, class Comp = std::less<Key>, class Alloc = std::allocator<std::pair<const Key, T>>> map(std::initializer_list<std::pair<Key, T>>, Comp = Comp(), Alloc = Alloc()) -> map<Key, T, Comp, Alloc>;	(2)	(C++17以上)
template<class InputIt, class Alloc> map(InputIt, InputIt, Alloc) -> map<iter_key_t<InputIt>, iter_val_t<InputIt>, std::less<iter_key_t<InputIt>>, Alloc>;	(3)	(C++17以上)
template<class Key, class T, class Allocator> map(std::initializer_list<std::pair<Key, T>>, Allocator) -> map<Key, T, std::less<Key>, Allocator>;	(4)	(C++17以上)

ただし、型エイリアス iter_key_t, iter_val_t, iter_to_alloc_t は以下の通りであるかのように定義されます。

<tbody> </tbody>

template<class InputIt> using iter_key_t = std::remove_const_t< typename std::iterator_traits<InputIt>::value_type::first_type>;		(説明専用)
template<class InputIt> using iter_val_t = typename std::iterator_traits<InputIt>::value_type::second_type;		(説明専用)
template<class InputIt> using iter_to_alloc_t = std::pair< std::add_const_t<typename std::iterator_traits<InputIt>::value_type::first_type>, typename std::iterator_traits<InputIt>::value_type::second_type >		(説明専用)

イテレータ範囲 (オーバーロード (1,3)) および std::initializer_list (オーバーロード (2,4)) からの推定を可能とするため map に対してこの推定ガイドが提供されます。 これらのオーバーロードは、InputIt が LegacyInputIterator を満たし、 Alloc が Allocator を満たし、 Comp が Allocator を満たさない場合場合にのみ、オーバーロード解決に参加します。

ノート: ある型が LegacyInputIterator を満たさないとライブラリが判断する範囲は、少なくとも整数型が入力イテレータとして適合しないことを除いて、未規定です。 同様に、ある型が Allocator を満たさないと判断される範囲も、少なくともメンバ型 Alloc::value_type が存在しなければならず、式 std::declval<Alloc&>().allocate(std::size_t{}) が評価されない被演算子として扱われたときに well-formed でなければならないことを除いて、未規定です。

例

Run this code

#include <map>
int main() {
// std::map m1 = {{"foo", 1}, {"bar", 2}}; // エラー、波括弧初期化子リストは型を持ちません。
        {{#pad:|3}}                                // {"foo", 1} や {"bar", 2} から
        {{#pad:|3}}                                // pair<Key, T> を推定することはできません。

   std::map m1 = {std::pair{"foo", 2}, {"bar", 3}}; // ガイド #2
   std::map 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>