Por que o operador [] não é constante para mapas STL?

90

Exemplo artificial, por causa da questão:

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

Isso não será compilado, pois o operador [] não é constante.

Isso é lamentável, pois a sintaxe [] parece muito limpa. Em vez disso, tenho que fazer algo assim:

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

Isso sempre me incomodou. Por que o operador [] não é constante?

c++ constants

— Runcible
fonte

5

O que deve operator[]render se o elemento dado não existir?

— Frerich Raabe

5

@Frerich Raabe: A mesma coisa que a função-membro at: throw std :: out_of_range

— Jean-Simon Brochu

91

Para std::mape std::unordered_map, operator[]irá inserir o valor do índice no contêiner se ele não existir anteriormente. É um pouco não intuitivo, mas é assim que as coisas são.

Uma vez que deve ter permissão para falhar e inserir um valor padrão, o operador não pode ser usado em uma constinstância do contêiner.

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

— Alan
fonte

3

std::setnão tem operator[].

— avakar,

2

Essa é a resposta certa, mas uma versão const pode fazer a mesma coisa que o membro "at". Isso é lançar um std :: out_of_range ...

— Jean-Simon Brochu

Quando usado para ler um valor, não há valor padrão a ser fornecido. std::vectortem um operador de leitura []que é const. mapdeve fazer o mesmo.

— wcochran

52

Agora que com C ++ 11 você pode ter uma versão mais limpa usando at ()

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

— Deqing
fonte

4

Se maptiver const e não const at()s - por que não o mesmo também operator[]? com a versão const não inserindo nada, mas sim jogando? (Ou retornando um opcional, quando std :: opcional o torna o padrão)

— einpoklum

@einpoklum O ponto de correção const é principalmente a verificação estática de tempo de compilação. Prefiro que o compilador reclame do que lançar uma exceção porque não usei objetos const corretamente.

— Millie Smith

@einpoklum Muito tarde, mas para outros leitores: ter duas sobrecargas fazendo coisas tão diferentes seria terrível. O único motivo atvem em dois sabores é porque ele faz um return *this;, e a única diferença entre as sobrecargas é o const-ness da referência retornada. Os efeitos reais de ambos atsão exatamente os mesmos (ou seja, nenhum efeito).

— HTNW de

28

Nota para novos leitores.
A pergunta original era sobre os contêineres STL (não especificamente sobre o std :: map)

Deve-se observar que há uma versão const do operador [] na maioria dos contêineres.
Acontece que std :: map e std :: set não têm uma versão const e isso é o resultado da estrutura subjacente que os implementa.

De std :: vector

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

Além disso, para o seu segundo exemplo, você deve verificar se não foi possível encontrar o elemento.

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

— Martin York
fonte

1

std::setnão tem operator[]nada.

— Todos,

2

Visto que operator [] pode inserir um novo elemento no contêiner, não pode ser uma função-membro const. Observe que a definição de operador [] é extremamente simples: m [k] é equivalente a (* ((m.insert (value_type (k, data_type ()))). First)). Second. Estritamente falando, esta função de membro é desnecessária: ela existe apenas por conveniência

— Satbir
fonte

0

Um operador de índice deve ser const apenas para um contêiner somente leitura (que realmente não existe no STL per se).

Os operadores de índice não são usados apenas para ver os valores.

— Nick Bedford
fonte

6

A questão é: por que ele não tem duas versões sobrecarregadas - uma const, outra não const- como, por exemplo, std::vectortem.

— Pavel Minaev,

-2

Se você declarar sua variável de membro std :: map como mutável

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

você pode usar as funções-membro não const de std :: map dentro de suas funções-membro const.

— Anthony Cramp
fonte

15

No entanto, esta é uma ideia terrível.

— GManNickG

7

A API para sua classe reside se você fizer isso. A função afirma que é const - o que significa que não modificará nenhuma variável de membro - mas na realidade pode estar modificando o membro de dados m_map.

— Runcible

2

mutablepode ser usado para membros como std::mutexcaches e auxiliares de depuração. Se o mapa for usado como um cache para acelerar uma constfunção "getter" muito cara , então mutableé aceitável. Você precisa ter cuidado, mas não é uma ideia terrível por si só.

— Mark Lakata