Tại sao toán tử [] không phải là const cho bản đồ STL?

Ví dụ có sẵn, vì lợi ích của câu hỏi:

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

Điều này sẽ không biên dịch, vì toán tử [] không phải là const.

Điều này thật không may, vì cú pháp [] trông rất rõ ràng. Thay vào đó, tôi phải làm điều gì đó như sau:

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

Điều này đã luôn luôn làm phiền tôi. Tại sao toán tử [] không phải là const?

Đối với std::mapvà std::unordered_map, operator[]sẽ chèn giá trị chỉ mục vào vùng chứa nếu trước đó nó không tồn tại. Nó hơi không trực quan, nhưng đó là cách của nó.

Vì nó phải được phép không thành công và chèn một giá trị mặc định, nên toán tử không thể được sử dụng trên một constphiên bản của vùng chứa.

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

Bây giờ với C ++ 11, bạn có thể có một phiên bản sạch hơn bằng cách sử dụng tại ()

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

Lưu ý cho độc giả mới.
Câu hỏi ban đầu là về các vùng chứa STL (không cụ thể về std :: map)

Cần lưu ý rằng có một phiên bản const của toán tử [] trên hầu hết các vùng chứa.
Chỉ là std :: map và std :: set không có phiên bản const và đây là kết quả của cấu trúc bên dưới thực hiện chúng.

Từ std :: vector

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

Ngoài ra đối với ví dụ thứ hai của bạn, bạn nên kiểm tra lỗi không tìm thấy phần tử.

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

Vì toán tử [] có thể chèn một phần tử mới vào vùng chứa, nó không thể là một hàm thành viên const. Lưu ý rằng định nghĩa của toán tử [] cực kỳ đơn giản: m [k] tương đương với (* ((m.insert (value_type (k, data_type ()))). 1)). Thứ hai. Nói một cách chính xác, chức năng thành viên này là không cần thiết: nó chỉ tồn tại để thuận tiện

Toán tử chỉ mục chỉ nên là const cho một vùng chứa chỉ đọc (không thực sự tồn tại trong STL mỗi ngày).

Toán tử chỉ mục không chỉ được sử dụng để xem xét các giá trị.

Nếu bạn khai báo biến thành viên std :: map của mình là có thể thay đổi

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

bạn có thể sử dụng các hàm thành viên không phải const của std :: map trong các hàm thành viên const của bạn.