C ++ map access scarta qualificatori (const)

Il codice seguente dice che passando la mappa come constnel operator[]metodo scarta i qualificatori:

#include <iostream>
#include <map>
#include <string>

using namespace std;

class MapWrapper {
public:
    const int &get_value(const int &key) const {
        return _map[key];
    }

private:
    map<int, int> _map;
};

int main() {
    MapWrapper mw;
    cout << mw.get_value(42) << endl;
    return 0;
}

È a causa della possibile assegnazione che si verifica sull'accesso alla mappa? Nessuna funzione con accessi alla mappa può essere dichiarata const?

MapWrapper.cpp:10: error: passing ‘const std::map<int, int, std::less<int>, std::allocator<std::pair<const int, int> > >’ as ‘this’ argument of ‘_Tp& std::map<_Key, _Tp, _Compare, _Alloc>::operator[](const _Key&) [with _Key = int, _Tp = int, _Compare = std::less<int>, _Alloc = std::allocator<std::pair<const int, int> >]’ discards qualifiers

std::map's operator []non è dichiarato come const, e non può essere dovuto al suo comportamento:

T & operator [] (const Key & key)

Restituisce un riferimento al valore che è mappato a una chiave equivalente alla chiave, eseguendo l'inserimento se tale chiave non esiste già.

Di conseguenza, la tua funzione non può essere dichiarata conste usa quella della mappa operator[].

std::mapLafind() funzione di consente di cercare una chiave senza modificare la mappa.

find()restituisce un iterator, o const_iteratora un std::paircontenente sia la chiave ( .first) che il valore ( .second).

In C ++ 11, potresti anche usare at()per std::map. Se l'elemento non esiste, la funzione genera std::out_of_rangeun'eccezione, al contrario di operator [].

Poiché operator[]non dispone di un overload qualificato const, non può essere utilizzato in modo sicuro in una funzione qualificata const. Ciò è probabilmente dovuto al fatto che il sovraccarico corrente è stato creato con l'obiettivo di restituire e impostare valori chiave.

Puoi invece usare:

VALUE = map.find(KEY)->second;

oppure, in C ++ 11, puoi usare l' at()operatore:

VALUE = map.at(KEY);

Non è possibile utilizzare operator[]su una mappa in constquanto tale metodo non lo è constin quanto consente di modificare la mappa (è possibile assegnarla a _map[key]). Prova invece a usare il findmetodo.

Alcune versioni più recenti delle intestazioni GCC (4.1 e 4.2 sulla mia macchina) hanno funzioni membro non standard map :: at () che sono dichiarate const e lanciano std :: out_of_range se la chiave non è nella mappa.

const mapped_type& at(const key_type& __k) const

Da un riferimento nel commento della funzione, sembra che questo sia stato suggerito come una nuova funzione membro nella libreria standard.

Primo, non dovresti usare simboli che iniziano con _ perché sono riservati all'implementazione del linguaggio / autore del compilatore. Sarebbe molto facile per _map essere un errore di sintassi sul compilatore di qualcuno e non avresti nessuno da incolpare tranne te stesso.

Se vuoi usare un trattino basso, mettilo alla fine, non all'inizio. Probabilmente hai commesso questo errore perché hai visto del codice Microsoft farlo. Ricorda, scrivono il loro compilatore, quindi potrebbero essere in grado di farla franca. Anche così, è una cattiva idea.

l'operatore [] non solo restituisce un riferimento, ma crea effettivamente la voce nella mappa. Quindi non stai solo ottenendo una mappatura, se non ce n'è, ne stai creando una. Non è quello che volevi.