¿El acceso a la interfaz at() es estándar de mapa en C++ 11?

Question

Estaba tratando de averiguar cómo devolver un valor desde un mapa en un método const y tropecé con el método at() para el mapa en gcc 4.6.

Cuando vi esto me di cuenta que era no estándar:

C++ map access discards qualifiers (const)

pero seguro que es mucho menos detallado que el método find(). Me preguntaba si el C++ 11 ha rectificado esto: ¿está en() para el mapa parte del nuevo estándar?

Answer 1

Sí. std::map tiene una función at miembro en C++ 11 con la siguiente especificación (23.4.4.3/9):

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

Devuelve: Una referencia a la mapped_type correspondiente a x en *this.

Throws: Objeto de excepción del tipo out_of_range si no hay ese elemento.

Complejidad: logarítmico.

Sin embargo, tenga en cuenta que esta función de miembro se ha agregado específicamente al std::map. No es requerido por el requisito más general de contenedor asociativo. Si está escribiendo código genérico que requiere algún tipo de contenedor asociativo, no puede usar este nuevo at. En su lugar, debe continuar utilizando find, que es parte de la asociativo concepto contenedor, o danos tu no miembros ayudante:

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"); 
} 

O, si usted tiene una aplicación que soporta referencias rvalue y decltype, usted no necesita dos sobrecargas:

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 algo parecido a eso, una cosa divertida de C++ 11 es que no hay dos compiladores tienen los mismos errores y todos parecen aceptar ligeramente diferentes subconjuntos de válida- -y no válido-código C++ 11)