Путаница в концепции итератора на карте в C++

Проблема в том, что итератор не работает как индексы массива. Элементы map будут храниться в разных местах в памяти, и нет гарантии, что между элементами i и j на карте, если i идет до j, то он будет храниться в памяти непосредственно перед j. В случае карты значения не сохраняются в последовательных ячейках памяти..

Оператор ++ перегружен для итераторов, и он даст правильное расположение следующего элемента.

Кроме того, если учесть приведенные выше моменты, то сравнение двух итераторов не имеет смысла, потому что тот факт, что один итератор идет за другим, не дает нам никакой важной информации о соответствующих значениях, к которым будет осуществляться доступ с помощью этих двух итераторов.

существуют разные категории / концепции итераторов: Итератор, ForwardIterator, BidirectionalIterator, RandomAccessIterator и ContiguousIterator. Они различаются доступными операциями. Простые итераторы поддерживают только шаг вперед (operator ++), разыменование (operator *) и сравнение неравенств (operator !=). Это необходимый минимум для шлейфа range-based for. std::map::iterator - это BidirectionalIterator - он не поддерживает арифметические операции и операторы сравнения.

Итератор для std::map определен стандартом как Двунаправленный итератор. Этот тип итераторов можно увеличивать (оператор ++) и уменьшать (оператор --), но вы не можете выполнять с ними математические операции (в основном потому, что это займет время O (n), а не O (1)).

И снова для ошибки 2 двунаправленный итератор не перегружает оператор < (или другие варианты), поскольку нет смысла иметь оператор сравнения со сложностью O (n). Они перегружены в итераторах произвольного доступа как минимум.

Чтобы добиться желаемого, ваш код может выглядеть так:

#include <iterator> /for std::next() and std::prev()
for(auto i = m.begin; i != m.end(); ++i)
{
    auto l = i;
    auto r = i;
    if (i != m.begin())
        l = std::prev(i);
    if (i != m.end())
        r = std::next(i);
    while (l != m.begin() && r != m.end())
    {
        //make sure you don't use r if it's equal to m.end()
        --l;
        ++r;
    }

Решение проблемы x-y: я хочу сделать "это", я написал код, который делает "то"

Поэтому я предполагаю, что вы действительно хотите иметь доступ к предыдущему элементу на карте и к следующему элементу. Я полагаю, вам нужно это только тогда, когда эти 2 элемента "хороши"

Вы можете переделать свой цикл, чтобы каскадировать знание трех соседних итераторов:

for(auto r = m.begin(), e= m.end(), i= e,  l= e; r != e; l =i, i =r, r++)  
{ 
    if (l != e)
    {
         // All 3 iterators are good here
    }
}

Карта - это associative container. Следующие контейнеры определены в текущей версии стандарта C++ с associative container: set, map, multiset, multimap.

Associative Containers поддерживает bidirectional iterators. Bidirectional iterators - это итераторы, которые можно использовать для доступа к последовательности элементов в диапазоне в обоих направлениях (к концу и к началу). Они похожи на forward iterators, за исключением того, что они могут двигаться и в обратном направлении, в отличие от forward iterators, который может двигаться только в прямом направлении.

Bidirectional iterators поддерживает следующие операции:

• Конструируется по умолчанию, может быть скопировано, присваивается копированием и разрушаемый X a;X b(a);b = a;
• Можно сравнить на эквивалентность, используя равенство / неравенство операторы (имеет смысл, когда оба значения итератора повторяются по одному и тому же лежащая в основе последовательность). a == ba != b
• Может быть разыменован как rvalue (если в состоянии разыменования) .
  *aa->m
• Для изменяемых итераторов (непостоянные итераторы): можно разыменовать как lvalue (если в состоянии разыменования). *a = t
• Может быть увеличен (если в состоянии разыменования). Результат либо также разыменованный, либо итератор прошедшего конца. Два итератора которые сравнивают равные, продолжайте сравнивать равные после того, как оба увеличиваются. ++aa++*a++
• Может быть уменьшено (если ему предшествует разыменуемое значение итератора). --aa--*a--

Значит, для него не определены + и -, что приводит к ошибке 1.
И поэтому> =, <=,>, <не определены для него, что приводит к ошибке2.