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

Question

dụ giả tạo, vì lợi ích của câu hỏi:

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

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

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

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 const?

Answer 1

Đối std::map, operator[] sẽ chèn giá trị chỉ số vào container nếu nó đã làm trước đó không tồn tại. Đó là một chút không trực quan, nhưng đó là cách nó được.

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

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

Answer 2

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

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

Answer 3

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

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.
Nó 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 triển khai chúng.

Từ std :: vector

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

Cũng ví dụ thứ hai của bạn, bạn nên kiểm tra cho một thất bại để tìm nguyên tố này.

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

Nếu bạn khai báo biến thành viên std :: bản đồ của bạn 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 const của std :: bản đồ trong hàm thành viên const của bạn.

Answer 5

Vì toán tử [] có thể chèn phần tử mới vào vùng chứa nên nó không thể là hàm thành viên const. Lưu ý rằng định nghĩa toán tử [] cực kỳ đơn giản: m [k] tương đương với (* ((m.insert (giá trị_type (k, dữ liệu_type()))) trước tiên). Nói đúng ra, 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

Answer 6

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

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