Как добавить в `std::map` объект с константными полями?

Question

[Eugene-123]

Допустим у меня есть следующий код:

#include <string>
#include <map>

struct A {
    const int value;
    A(int value) : value{value} {}
};

int main() {
    A a{3};
    std::map<std::string, A> myMap;
    myMap["Hello"] = a; // Error: Copy assignment operator of 'A' is implicitly deleted 
                        // because field 'value' is of const-qualified type 'const int'.
    return 0;
}

В данном случае я не могу перегрузить `operator=`

Мне нужно следующее поведение.
1. Поле const int value - константно всегда. Никаких трюков чтобы его изменить.
2. std::map должен содержать значения.
3. Если ключ отсутствует, то должна создаваться пара ключ-значение в map.
4. Если ключ существует, то заменить значение.
5. Никаких конструкторов по умолчанию, в случае отсутствия ключа. Доступ к словарю, с использованием ключа, которого нет, должно вызывать исключение или остановку или еще что-то.

В общем как я понимаю надо создать обертку над std::map? Хотелось бы такого поведения достичь стандартными средствами std::map. Что вы предложите?

Answer 1

[Eugene-123]

Я тут нашел решение, которое мне подходит:

int main() {
    A a{3};
    std::map<std::string, A> myMap;
    const char* key = "Hello";
    const auto it = myMap.find(key);
    if (it != myMap.end())
        myMap.erase(it);
    myMap.emplace(key, a.value);
    return 0;
}

Answer 2

[maaGames]

А вот сделали бы переменную в private и константный метод для возврата значения и вообще никаких проблем бы не было.

Comments

[Eugene-123]

А этот метод инлайнится? Просто ради интереса.

[maaGames]

Eugene-123, Если надо - инлайнится. Вообще, геттеры и сеттеры не от нечего делать придумали :)

Answer 3

[Wataru]

Храните в std::map указатели на ваш тип. Лучше умные, вроде shared_ptr.

Comments

[Eugene-123]

Спасибо, но к сожалению не для меня. std::map должен содержать значения.

[Wataru]

Eugene-123, Почему? Это какая-то задача из разряда "Сделать X, нельзя исползовать циклы и if"?

[Eugene-123]

Wataru, shared_ptr - это будет слишком жирно.

[Wataru]

Eugene-123, Ну, используйте тогда unique_ptr. Для ваших целей может и подойти, а оверхед у него минимальный. От одного копирования и выделения памяти на куче, к сожалению не избавится никак, если A - локальная переменная.

Проблема в том, что std::map использует оператор присваивания. Единственный способ заставить его в итоге работать с константными членами без mutable костылей и определения присвоения - переприсваивать указатели.
Ну, или memcpy использовать вместо присвоения, но это работает только для POD и еще больший костыль, чем mutable.

[Eugene-123]

Wataru, Я тут нашел решение, можете посмотреть.

[Wataru]

Eugene-123, Но вы же в условии просили выражение myMap[key] = a

[Eugene-123]

Wataru, Ну да, извините. Я как-то себя ограничил. Я имел в виду присвоение в общем случае.

[Евгений Шатунов]

Eugene-123, в таких ситуациях, как у тебя, хорошо себя проявляет метод emplace [?].
Тебе нужно передать в метод аргументы конструктора чтобы объект с константными полями сконструировался прямо по месту нахождения в std::map.