std::map<Key,T,Compare,Allocator>::operator[]

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

容器庫

序列

array (陣列) (C++11)

vector (向量)

vector<bool>

inplace_vector (C++26)

hive (蜂巢) (C++26)

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 (優先佇列)

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

檢視

span (C++20)

mdspan (C++23)

表格

迭代器失效

成員函式表格

非成員函式表格

 

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::size (大小) map::max_size (最大大小) map::empty (是否為空) 觀察器 map::key_comp (鍵比較器) map::value_comp (值比較器) 修改器 map::clear (清空) map::insert (插入) map::erase (擦除) map::swap (交換) map::extract (提取) (C++17) map::merge (合併) (C++17) map::insert_range (C++23) map::insert_or_assign (插入或賦值) (C++17) map::emplace (就位構造) (C++11) map::emplace_hint (帶提示就位構造) (C++11) map::try_emplace (嘗試就位構造) (C++17) 查詢 map::count (計數) map::find (查詢) map::contains (是否包含) (C++20) map::equal_range (等價範圍) map::lower_bound (下限) map::upper_bound (上限)

非成員函式

operator== (相等運算子)operator<=> (三路比較運算子) (C++20 起) std::swap(std::map) erase_if(std::map) (C++20 起)   operator!= (不相等運算子)operator< (小於運算子)operator> (大於運算子)operator<= (小於等於運算子)operator>= (大於等於運算子) (直至 C++20)(直至 C++20)(直至 C++20)(直至 C++20)(直至 C++20)

推導指引 (C++17)

 

T& operator[]( const Key& key );	(1)
T& operator[]( Key&& key );	(2)	(C++11 起)
template< class K > T& operator[]( K&& x );	(3)	(C++26 起)

返回與鍵 `key` 或 `x` 等效的鍵所對映的值的引用，如果該鍵不存在則執行插入操作。

1) 如果鍵不存在，則插入 value_type(key, T())。 - key_type 必須滿足 可複製構造 (CopyConstructible) 的要求。 - mapped_type 必須滿足 可複製構造 (CopyConstructible) 和 可預設構造 (DefaultConstructible) 的要求。 如果執行了插入操作，則對映值會被值初始化（對於類型別是預設構造，否則為零初始化），並返回其引用。

(C++11 前)

1) 如果鍵不存在，則插入一個透過 std::piecewise_construct, std::forward_as_tuple(key), std::tuple<>() 就地構造的 value_type 物件。 等價於 return this->try_emplace(key).first->second;。(C++17 起)當使用預設分配器時，這會導致鍵從 `key` 複製構造，並且對映值被值初始化。 - value_type 必須能從 std::piecewise_construct, std::forward_as_tuple(key), std::tuple<>() 進行 就地構造 (EmplaceConstructible)。當使用預設分配器時，這意味著 key_type 必須是 可複製構造 (CopyConstructible)，並且 mapped_type 必須是 可預設構造 (DefaultConstructible)。 2) 如果鍵不存在，則插入一個透過 std::piecewise_construct, std::forward_as_tuple(std::move(key)), std::tuple<>() 就地構造的 value_type 物件。 等價於 return this->try_emplace(std::move(key)).first->second;。(C++17 起) 當使用預設分配器時，這會導致鍵從 `key` 移動構造，並且對映值被值初始化。 - value_type 必須能從 std::piecewise_construct, std::forward_as_tuple(std::move(key)), std::tuple<>() 進行 就地構造 (EmplaceConstructible)。當使用預設分配器時，這意味著 key_type 必須是 可移動構造 (MoveConstructible)，並且 mapped_type 必須是 可預設構造 (DefaultConstructible)。

(C++11 起)

3) 如果沒有鍵能透明地與值 x 進行等效比較，則就地構造一個 value_type 物件。

等價於 return this->try_emplace(std::forward<K>(x)).first->second;。此過載僅在限定 ID Compare::is_transparent 有效且表示一個型別時才參與過載決議。它允許在不構造 Key 例項的情況下呼叫此函式。

迭代器或引用均未失效。

引數

key	-	要查詢的元素的鍵
x	-	可與鍵透明比較的任何型別的值

返回值

1,2) 如果不存在鍵為 key 的元素，則返回新元素對映值的引用。否則，返回現有鍵與 key 等效的元素對映值的引用。

3) 如果不存在鍵與值 x 比較等效的元素，則返回新元素對映值的引用。否則，返回現有鍵與 x 比較等效的元素對映值的引用。

異常

如果任何操作丟擲異常，則插入無效。

複雜度

容器大小的對數級別。

注意

在已釋出的 C++11 和 C++14 標準中，此函式被規定要求 mapped_type 滿足 可預設插入 (DefaultInsertable)，並且 key_type 滿足 可複製插入 (CopyInsertable) 或 可移動插入 (MoveInsertable) 到 *this 中。此規範存在缺陷，已由 LWG issue 2469 修復，上述描述已包含該問題的解決方案。

然而，已知有一個實現 (libc++) 透過兩次獨立的分配器 construct() 呼叫來構造 key_type 和 mapped_type 物件，這可以說符合已釋出標準的要求，而不是就地構造一個 value_type 物件。

operator[] 是非 const 的，因為它在鍵不存在時會插入鍵。如果此行為不理想或容器是 const 的，則可以使用 at。

insert_or_assign 返回的資訊比 operator[] 更多，並且不要求對映型別可預設構造。

(C++17 起)

特性測試宏	值	標準	特性
__cpp_lib_associative_heterogeneous_insertion	202311L	(C++26)	有序關聯容器和無序關聯容器中剩餘成員函式的異構過載。(3)

示例

執行此程式碼

#include <iostream>
#include <string>
#include <map>
 
void println(auto const comment, auto const& map)
{
    std::cout << comment << '{';
    for (const auto& pair : map)
        std::cout << '{' << pair.first << ": " << pair.second << '}';
    std::cout << "}\n";
}
 
int main()
{
    std::map<char, int> letter_counts{{'a', 27}, {'b', 3}, {'c', 1}};
 
    println("letter_counts initially contains: ", letter_counts);
 
    letter_counts['b'] = 42; // updates an existing value
    letter_counts['x'] = 9;  // inserts a new value
 
    println("after modifications it contains: ", letter_counts);
 
    // count the number of occurrences of each word
    // (the first call to operator[] initialized the counter with zero)
    std::map<std::string, int>  word_map;
    for (const auto& w : {"this", "sentence", "is", "not", "a", "sentence",
                          "this", "sentence", "is", "a", "hoax"})
        ++word_map[w];
    word_map["that"]; // just inserts the pair {"that", 0}
 
    for (const auto& [word, count] : word_map)
        std::cout << count << " occurrence(s) of word '" << word << "'\n";
}

輸出

letter_counts initially contains: {{a: 27}{b: 3}{c: 1}}
after modifications it contains: {{a: 27}{b: 42}{c: 1}{x: 9}}
2 occurrence(s) of word 'a'
1 occurrence(s) of word 'hoax'
2 occurrence(s) of word 'is'
1 occurrence(s) of word 'not'
3 occurrence(s) of word 'sentence'
0 occurrence(s) of word 'that'
2 occurrence(s) of word 'this'

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 334	C++98	過載 (1) 的效果只是返回 (*((insert(std::make_pair(x, T()))).first)).second	提供了自己的 描述代替

另請參閱

at (訪問元素)	訪問指定的元素，帶邊界檢查 (公共成員函式)
insert_or_assign (插入或賦值) (C++17)	插入元素或如果鍵已存在則賦值給當前元素 (公共成員函式)
try_emplace (嘗試就位構造) (C++17)	如果鍵不存在則原地插入，如果鍵存在則不執行任何操作 (公共成員函式)