Namespaces
Variants

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

From cppreference.net

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

Retourne une référence à la valeur associée à une clé équivalente à key ou x respectivement, en effectuant une insertion si une telle clé n'existe pas déjà.

1) Insère value_type ( key, T ( ) ) si la clé n'existe pas.
-
key_type doit satisfaire aux exigences de CopyConstructible .
-
mapped_type doit satisfaire aux exigences de CopyConstructible et DefaultConstructible .
Si une insertion est effectuée, la valeur mappée est initialisée par valeur (construite par défaut pour les types de classe, initialisée à zéro sinon) et une référence vers celle-ci est renvoyée.
(jusqu'à C++11)
1) Insère un objet value_type construit en place à partir de std:: piecewise_construct , std:: forward_as_tuple ( key ) , std:: tuple <> ( ) si la clé n'existe pas.
Équivalent à return this - > try_emplace ( key ) . first - > second ; . (depuis C++17) Lorsque l'allocateur par défaut est utilisé, cela entraîne la construction par copie de la clé à partir de key et l'initialisation par défaut de la valeur mappée value-initialized .
-
value_type doit être EmplaceConstructible à partir de std:: piecewise_construct , std:: forward_as_tuple ( key ) , std:: tuple <> ( ) . Lorsque l'allocateur par défaut est utilisé, cela signifie que key_type doit être CopyConstructible et mapped_type doit être DefaultConstructible .
2) Insère un objet value_type construit en place à partir de std:: piecewise_construct , std:: forward_as_tuple ( std :: move ( key ) ) , std:: tuple <> ( ) si la clé n'existe pas.
Équivalent à return this - > try_emplace ( std :: move ( key ) ) . first - > second ; . (depuis C++17)
Lorsque l'allocateur par défaut est utilisé, cela entraîne la construction par déplacement de la clé à partir de key et la valeur mappée étant initialisée par défaut .
-
value_type doit être EmplaceConstructible à partir de std:: piecewise_construct , std:: forward_as_tuple ( std :: move ( key ) ) , std:: tuple <> ( ) . Lorsque l'allocateur par défaut est utilisé, cela signifie que key_type doit être MoveConstructible et mapped_type doit être DefaultConstructible .
(depuis C++11)
3) Insère un objet value_type construit in-place s'il n'existe aucune clé qui compare de manière transparente équivalente à la valeur x .
Équivalent à return this - > try_emplace ( std:: forward < K > ( x ) ) . first - > second ; . Cette surcharge participe à la résolution de surcharge uniquement si Compare est transparent . Elle permet d'appeler cette fonction sans construire une instance de Key .

Aucun itérateur ou référence n'est invalidé.

Table des matières

Paramètres

key - la clé de l'élément à trouver
x - une valeur de type quelconque pouvant être comparée de manière transparente avec une clé

Valeur de retour

1,2) Une référence à la valeur mappée du nouvel élément si aucun élément avec la clé key n'existait. Sinon, une référence à la valeur mappée de l'élément existant dont la clé est équivalente à key .
3) Une référence à la valeur mappée du nouvel élément si aucun élément avec une clé qui compare équivalente à la valeur x n'existait. Sinon, une référence à la valeur mappée de l'élément existant dont la clé compare équivalente à x .

Exceptions

Si une exception est levée par une opération quelconque, l'insertion n'a aucun effet.

Complexité

Logarithmique par rapport à la taille du conteneur.

Notes

Dans les normes publiées C++11 et C++14, cette fonction était spécifiée comme nécessitant que mapped_type soit DefaultInsertable et que key_type soit CopyInsertable ou MoveInsertable dans * this . Cette spécification était défectueuse et a été corrigée par LWG issue 2469 , et la description ci-dessus intègre la résolution de ce problème.

Cependant, une implémentation (libc++) est connue pour construire les key_type et mapped_type objets via deux appels séparés à l'allocateur construct() , comme requis par les standards publiés, plutôt que de construire directement un value_type objet.

operator [ ] n'est pas constant car il insère la clé si elle n'existe pas. Si ce comportement est indésirable ou si le conteneur est const , at peut être utilisé.

insert_or_assign renvoie plus d'informations que operator [ ] et ne nécessite pas la constructibilité par défaut du type mappé.

(depuis C++17)
Macro de test de fonctionnalité Valeur Std Fonctionnalité
__cpp_lib_associative_heterogeneous_insertion 202311L (C++26) Surcharges hétérogènes pour les fonctions membres restantes dans les conteneurs associatifs ordonnés et conteneurs associatifs non ordonnés . ( 3 )

Exemple

#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; // met à jour une valeur existante
    letter_counts['x'] = 9;  // insère une nouvelle valeur
    println("after modifications it contains: ", letter_counts);
    // compte le nombre d'occurrences de chaque mot
    // (le premier appel à operator[] initialise le compteur à zéro)
    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"]; // insère simplement la paire {"that", 0}
    for (const auto& [word, count] : word_map)
        std::cout << count << " occurrence(s) of word '" << word << "'\n";
}

Sortie :

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'

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

DR Applicable à Comportement publié Comportement corrigé
LWG 334 C++98 l'effet de la surcharge (1) était simplement de retourner
( * ( ( insert ( std:: make_pair ( x, T ( ) ) ) ) . first ) ) . second
fournit sa propre
description à la place

Voir aussi

accéder à l'élément spécifié avec vérification des limites
(fonction membre publique)
insère un élément ou assigne à l'élément courant si la clé existe déjà
(fonction membre publique)
insère en place si la clé n'existe pas, ne fait rien si la clé existe
(fonction membre publique)