Pourquoi l'opérateur [] n'est-il pas affecté aux cartes STL?

Question

exemple Contrived, pour le bien de la question:

void MyClass::MyFunction(int x) const 
{ 
    std::cout << m_map[x] << std::endl 
} 

Ce ne compilera pas, puisque l'opérateur [] est non-const.

Ceci est regrettable, car la syntaxe [] semble très propre. Au lieu de cela, je dois faire quelque chose comme ceci:

void MyClass::MyFunction(int x) const 
{ 
    MyMap iter = m_map.find(x); 
    std::cout << iter->second << std::endl 
} 

Cela m'a toujours embêté. Pourquoi l'opérateur [] est-il non-const?

Answer 1

Pour std::map, operator[] insérera la valeur d'index dans le récipient si elle n'existait pas auparavant. C'est un peu inintéressant, mais c'est comme ça.

Puisqu'il doit être autorisé à échouer et insérer une valeur par défaut, l'opérateur ne peut pas être utilisé sur une instance const du conteneur.

http://en.cppreference.com/w/cpp/container/map/operator_at

Answer 2

Un opérateur d'index doit uniquement être const pour un conteneur en lecture seule (qui n'existe pas réellement en tant que STL).

Les opérateurs d'index ne sont pas seulement utilisés pour regarder des valeurs.

Answer 3

Note pour les nouveaux lecteurs.
La question originale portait sur les conteneurs STL (pas spécifiquement sur la std :: map)

Il convient de noter qu'il existe une version const de l'opérateur [] sur la plupart des conteneurs.
C'est juste que std :: map et std :: set n'ont pas de version const et c'est le résultat de la structure sous-jacente qui les implémente.

De std :: vector

reference  operator[](size_type n) 
const_reference operator[](size_type n) const 

également pour votre deuxième exemple vous devriez vérifier un défaut de trouver l'élément.

void MyClass::MyFunction(int x) const 
{ 
    MyMap iter = m_map.find(x); 
    if (iter != m_map.end()) 
    { 
     std::cout << iter->second << std::endl 
    } 
} 

Answer 4

Si vous déclarez votre std :: carte variable membre à être mutable

mutable std::map<...> m_map; 

vous pouvez utiliser les fonctions de membres non-const de std :: carte au sein de vos fonctions membres const.

Answer 5

Puisque l'opérateur [] peut insérer un nouvel élément dans le conteneur, il ne peut pas être une fonction membre const. Notez que la définition de operator [] est extrêmement simple: m [k] est équivalent à (* ((m.insert (type_valeur (k, type_données()))). First)). Second. Strictement parlant, cette fonction de membre est inutile: il existe seulement pour des raisons pratiques

Answer 6

Maintenant que avec 11 C++ vous pouvez avoir une version plus propre en utilisant at()

void MyClass::MyFunction(int x) const 
{ 
    std::cout << m_map.at(x) << std::endl; 
}