È l'accessore const() per lo standard di mappa in C++ 11?

Question

Stavo cercando di capire come restituire un valore da una mappa in un metodo const e mi sono imbattuto nel metodo at() per la mappa in gcc 4.6.

Quando ho guardato questo in su ho capito che era non standard:

C++ map access discards qualifiers (const)

Ma di sicuro è un bel po 'meno prolissa rispetto all'approccio find(). Mi chiedevo se il C++ 11 ha rettificato questo - è a() per la parte mappa del nuovo standard?

Answer 1

Sì. std::map ha una funzione at membro in C++ 11 con la seguente specifica (23.4.4.3/9):

T&  at(const key_type& x); 
const T& at(const key_type& x) const; 

ritorni: Un riferimento mapped_type corrispondente al x in *this.

Quantità: Un oggetto di eccezione di tipo out_of_range se questo elemento non è presente.

Complessità: logaritmico.

Si noti tuttavia che questa funzione membro è stata aggiunta in modo specifico a std::map. Non è richiesto dal più generale contenitore associativo requisito. Se stai scrivendo un codice generico che richiede un tipo di contenitore associativo, non puoi utilizzare questo nuovo at. Invece, si dovrebbe continuare a utilizzare find, che fa parte del associativa contenitore concetto , o lascia la tua aiutante non membro:

template <typename AssociativeContainer> 
typename AssociativeContainer::mapped_type& 
get_mapped_value(AssociativeContainer&       container, 
       typename AssociativeContainer::key_type const& key) 
{ 
    typename AssociativeContainer::iterator it(container.find(key)); 
    return it != container.end() ? it->second : throw std::out_of_range("key"); 
} 

template <typename AssociativeContainer> 
typename AssociativeContainer::mapped_type const& 
get_mapped_value(AssociativeContainer const&     container, 
       typename AssociativeContainer::key_type const& key) 
{ 
    typename AssociativeContainer::const_iterator it(container.find(key)); 
    return it != container.end() ? it->second : throw std::out_of_range("key"); 
} 

Oppure, se si dispone di un'implementazione che supporta i riferimenti rvalue e decltype, non avete bisogno di due overload:

template <typename AssociativeContainer, typename Key> 
auto get_mapped_value(AssociativeContainer&& container, Key const& key) 
    -> decltype(std::declval<AssociativeContainer>().begin()->second)& 
{ 
    auto const it(container.find(key)); 
    return it != container.end() ? it->second : throw std::out_of_range("key"); 
} 

(o qualcosa di simile a quello, una cosa divertente di C++ 11 è che non esistono due compilatori hanno gli stessi bug e tutti sembrano accettare leggermente diversi sottoinsiemi di valid- -e non valido - codice C++ 11)