Neden STL haritaları için [] operatör const değil mi?

Question

Yapmacık örneğin, söz uğruna: [] operatör const olmayan olduğu

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

Bu, derlenmez. [] Sözdizimi çok temiz görünüyor beri

Bu, talihsizliktir. Bunun yerine, böyle bir şey yapmak zorunda:

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

Bu her zaman beni rahatsız etti. [] Operatörü neden-olmayan yapılıyor?

Answer 1

std::map için, operator[] kabın içine endeksi değerini ekler. Bu biraz kasıtsız, ama işte böyle. başarısız ve bir varsayılan değer eklemek için izin verilmesi gerektiğinden

, operatör kabın bir const örneğinde kullanılamaz. Eğer

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

Eğer const üye işlevler içinde std :: haritanın const olmayan üye işlevlerini kullanabilirsiniz değişken olmasını std :: map üye değişken bildirirseniz

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

Answer 2

bir dizin operatörü sadece (gerçekten başlı başına STL içinde yok) salt okunur bir kap için const olmalıdır.

Endeksi operatörleri sadece değerlere bakmak kullanılmaz. Yeni okuyucular için

Answer 3

Not.
orijinal soru STL kapları ilgiliydi (değil özellikle std :: map hakkında)

Çoğu konteynerleri operatörü [] bir const sürümü var unutulmamalıdır.
Yalnızca std :: map ve std :: set'in bir const sürümü yoktur ve bu, bunları uygulayan temel yapının bir sonucudur. std itibaren

:: vector

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

Ayrıca ikinci örneğin sen elemanı bulmak için bir başarısızlık kontrol etmelidir. daha önce var olmayan yapsam

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

.

Answer 5

Operatör [] kabın içine yeni bir öğe ekleyebileceğinden, muhtemelen bir const üye işlevi olamaz. Operatörün [] tanımının son derece basit olduğunu unutmayın: m [k], (* ((m.insert (value_type (k, data_type()))) ilk)) değerine eşdeğerdir. Açıkçası, bu üye işlevi gereksiz şudur: Şimdi yalnızca kolaylık

Answer 6

için var olduğunu C++ 11 durumunda at()

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