insert or update by std::map iterator

Искать с помощью map::lower_bound, а получающийся итератор передавать как hint в map::insert

iterator insert( const_iterator hint, const value_type& value );

Про lower_bound() я бы хрен догадался. Но оно ж возвращает позицию для вставки, и если вставка ожидается куда-то в середину дерева/хеш-таблицы, оно вернёт НЕ end(). Как тогда узнать, найден элемент или нет?

Нашёл: вместо it != cache.end() надо будет писать it != cache.end() && it->first == k (ну или через key_comp()).

В общем, ясно. Сенькс. :)

А могли бы из lower_bound() возвращать pair<iterator, bool> с флагом «точное совпадение», чтобы избежать повторного сравнения ключей…

А могли бы из lower_bound() возвращать pair<iterator, bool> с флагом «точное совпадение», чтобы избежать повторного сравнения ключей…

Это была бы пессимизация: std::map работает в терминах less (в подавляющем большинстве случаев Class::operator<), и равенство задаётся как !(a < b) && !(b < a). Такой bool требовал бы лишнего сравнения всегда.

ПыСы. Рекомендую избавиться от привычки таскать параметры by-value, и посмотреть на std::optional<>.

Это была бы пессимизация: std::map работает в терминах less

Понятно. Ну тогда для unordered_map было бы актуально.

Рекомендую избавиться от привычки таскать параметры by-value,

Нет такой привычки. В вопросе – псевдокод для краткости.

и посмотреть на std::optional<>.

А это тут при чём?

Как бы дико это ни звучало, но чаще всего меня на плюсах бомбит от того, что я не могу давать optional-переменным имена x_? (как я привык писать на скале), приходится пердолиться с громоздким и нечитабельным x_opt.

и посмотреть на std::optional<>.

А это тут при чём?

typedef std::map<К, std::optional<V> > MyMap;

Могу разжевать дальше, но идея должна быть уже прозрачна.

Разжуй. Во-первых, я туплю (см. тег); а во-вторых, то, что мне тут смутно видится, мне не нравится (UPD: и к исходному вопросу хз как относится).

Разжуй. Во-первых, я туплю (см. тег); а во-вторых, то, что мне тут смутно видится, мне не нравится.

auto& val = cache[k];
if (!val) {
   val.emplace(v);
   persistCache();
}

Зачастую лучше чем lower_bound + hinted insert.

А, вон оно чё. Оказывается, optional мутабелен! :) Прикольно, хорошая идея, сенькс.

Ну, там ещё строго говоря надо

else if (*val != v) {
   *val = v;
   persistCache();
}

чтобы уж совсем функциональным эквивалентом оригинального кода было (не успел поправить), но главное было идею донести.

ПыСы. А Вы что, реально весь cache персистать собрались по update каждого элемента? Вот это реально выглядит подозрительно.

А Вы что, реально весь cache персистать собрались по update каждого элемента? Вот это реально выглядит подозрительно.

В вопросе псевдокод, персист – для примера, там другие тяжёлые действия. Да и сам вопрос на самом деле был больше для успокоения души: там и кеш небольшой, и работа с ним на фоне всей остальной возни – O(0), простите господи за мой французский. Вроде давно уже «вернулся» на плюсы, а пальцы до сих пор как чужие. Вот из таких мелочей и накапливаю комфорт понимания.

Не используй find. Используй сразу insert. Optional тут не нужен.

https://en.cppreference.com/w/cpp/container/map/try_emplace

auto [iter, inserted] = cache.try_emplace(k, v);
if (!inserted && iter->second != v) {
    iter->second = v;
    inserted = true;
}
if (inserted) {
    persistCache();
}

Во, «я прям как чувствовал» (c) что должно же быть что-то такое «в лоб». Сенькс. :)

Эк мне накидали вариантов на один простой вопрос… Полагаю, в промышленной ситуации тут было бы сравнение по количеству сравнений/копирований ключей/значений, и т.д.

Есть еще более в лоб, сразу не вспомнил про него: https://en.cppreference.com/w/cpp/container/map/insert_or_assign

Не, тут нет сравнения нового значения со старым.

Действительно, поторопился :)

Не ты один, жми «показать удалённые комментарии». =) КакаяИрония.jpeg.

Эк мне накидали вариантов на один простой вопрос… Полагаю, в промышленной ситуации тут было бы сравнение по количеству сравнений/копирований ключей/значений, и т.д.

Вариант с try_emplace() by Siborgium здесь самый чистенький если cxx-17 доступен (optional легко бэкпортится).