C ++ map access membuang qualifier (const)

Kode berikut mengatakan bahwa meneruskan peta constke dalam operator[]metode membuang qualifier:

#include <iostream>
#include <map>
#include <string>

using namespace std;

class MapWrapper {
public:
    const int &get_value(const int &key) const {
        return _map[key];
    }

private:
    map<int, int> _map;
};

int main() {
    MapWrapper mw;
    cout << mw.get_value(42) << endl;
    return 0;
}

Apakah ini karena kemungkinan alokasi yang terjadi pada akses peta? Apakah tidak ada fungsi dengan akses peta yang dideklarasikan sebagai const?

MapWrapper.cpp:10: error: passing ‘const std::map<int, int, std::less<int>, std::allocator<std::pair<const int, int> > >’ as ‘this’ argument of ‘_Tp& std::map<_Key, _Tp, _Compare, _Alloc>::operator[](const _Key&) [with _Key = int, _Tp = int, _Compare = std::less<int>, _Alloc = std::allocator<std::pair<const int, int> >]’ discards qualifiers

std::map's operator []tidak dideklarasikan sebagai const, dan tidak bisa karena perilakunya:

T & operator [] (Const Key & key)

Mengembalikan referensi ke nilai yang dipetakan ke kunci yang setara dengan kunci, melakukan penyisipan jika kunci tersebut belum ada.

Akibatnya, fungsi Anda tidak dapat dideklarasikan const, dan menggunakan peta operator[].

std::map'sfind() fungsi memungkinkan Anda untuk mencari kunci tanpa memodifikasi peta.

find()mengembalikan iterator, atau const_iteratorke yang std::pairberisi kunci ( .first) dan nilai ( .second).

Di C ++ 11, Anda juga bisa menggunakan at()untuk std::map. Jika elemen tidak ada, fungsi melontarkan std::out_of_rangepengecualian, berbeda dengan operator [].

Karena operator[]tidak memiliki kelebihan beban berkualifikasi const, kelebihan beban tidak dapat digunakan dengan aman dalam fungsi berkualifikasi const. Ini mungkin karena kelebihan beban saat ini dibuat dengan tujuan mengembalikan dan menetapkan nilai kunci.

Sebagai gantinya, Anda dapat menggunakan:

VALUE = map.find(KEY)->second;

atau, di C ++ 11, Anda dapat menggunakan at()operator:

VALUE = map.at(KEY);

Anda tidak dapat menggunakan operator[]pada peta constkarena metode itu tidak constmemungkinkan Anda untuk memodifikasi peta (Anda dapat menetapkannya _map[key]). Coba gunakan findmetode ini sebagai gantinya.

Beberapa versi terbaru dari header GCC (4.1 dan 4.2 pada mesin saya) memiliki fungsi anggota non-standar map :: at () yang dideklarasikan const dan membuang std :: out_of_range jika kuncinya tidak ada di peta.

const mapped_type& at(const key_type& __k) const

Dari referensi di komentar fungsi, tampaknya ini telah disarankan sebagai fungsi anggota baru di pustaka standar.

Pertama, Anda tidak boleh menggunakan simbol yang diawali dengan _ karena simbol tersebut disediakan untuk implementasi bahasa / penulis kompilator. Akan sangat mudah bagi _map untuk menjadi kesalahan sintaks pada kompilator seseorang, dan Anda tidak akan menyalahkan siapa pun kecuali diri Anda sendiri.

Jika Anda ingin menggunakan garis bawah, letakkan di akhir, bukan di awal. Anda mungkin melakukan kesalahan ini karena Anda melihat beberapa kode Microsoft melakukannya. Ingat, mereka menulis kompiler mereka sendiri, jadi mereka mungkin bisa lolos begitu saja. Meski begitu, itu ide yang buruk.

operator [] tidak hanya mengembalikan referensi, tetapi juga membuat entri di peta. Jadi, Anda tidak hanya mendapatkan pemetaan, jika tidak ada, Anda membuatnya. Bukan itu yang Anda inginkan.