Стереть определенные элементы в std :: map

Question

Я хочу стереть некоторые элементы в моем std :: map.
Я написал метод erase + remove_if, который я всегда делаю с другими контейнерами последовательностей.
Но это не было скомпилировано с картой. Почему?
И как я могу сделать эту работу?

std::map<int, int> m;

bool foo(const std::pair<int, int>& p)
{
    return p.second > 15;
}

int _tmain(int argc, _TCHAR* argv[])
{
    m.insert(make_pair(0, 0));
    m.insert(make_pair(1, 10));
    m.insert(make_pair(2, 20));
    m.insert(make_pair(3, 30));

    m.erase(
        remove_if(m.begin(), m.end(), foo),
        m.end()); // compile error

    return 0;
}

Answer 1

Напишите это для карты, так как remove_if не будет работать для map итераторов (он просто помещает нарушающие элементы в конец, а map итераторы не позволяют этого):

template <typename Map, typename F>
void map_erase_if(Map& m, F pred)
{
    typename Map::iterator i = m.begin();
    while ((i = std::find_if(i, m.end(), pred)) != m.end())
        m.erase(i++);
}

или, если вам нравятся однострочные:

template <typename Map, typename F>
void map_erase_if(Map& m, F pred)
{
    for (typename Map::iterator i = m.begin();
         (i = std::find_if(i, m.end(), pred)) != m.end();
         m.erase(i++));
}

Answer 2

Поскольку std::map не является "контейнером последовательности" :) remove_if попытается поместить бесполезные элементы в конец карты, но это приведет к нарушению неявной структуры данных (в большинстве случаев красно-черное дерево).) карты.Неявная структура данных определяет место каждого элемента на карте, и поэтому remove_if недопустимо для std::map.

. Вы должны удалять элементы из std::map один за другим (или давать некоторыеинтервал) в цикле.

Примерно так:

it = m.begin();
while ((it = std::find_if(it, m.end(), pred)) != m.end())
    m.erase(it++);

Answer 3

«С другими контейнерами последовательности» - ваша ошибка - map является ассоциативным контейнером!В ассоциативных контейнерах элементы определяются их ключом (в отличие от их порядка вставки в контейнерах последовательности), и вы стираете элементы по ключу :

m.erase(12);

Стирание по значению ключатакая же сложность, как поиск (например, O (log n) для карты, O (1) для неупорядоченной карты и т. д.).Кроме того, вы можете удалить с помощью итератора в постоянное время.Стирание итератора делает его недействительным, но не других (опять же в отличие от контейнеров последовательностей), поэтому, если вы хотите выполнить итерацию по карте, типичная идиома выглядит следующим образом:

for (auto it = m.cbegin(); it != m.cend(); ) // no "++"!
{
  if (it->second > 15)  // your own condition goes here
  {
    m.erase(it++);
  }
  else
  {
    ++it;
  }
}

Answer 4

Эта идиома работает только для последовательности, такой как контейнеры - записи на карте (ассоциативные) не могут быть переупорядочены (ключ не меняется - так, как вы можете ожидать перемещения записи какая-то другая позиция - например, конец). Правильный способ сделать это - найти запись и удалить ее, т.е. it = map.find(); map.erase(it++)

Answer 5

Но он не был скомпилирован с картой.Почему?

При использовании remove_if тип итераторов с разыменованными ссылками должен соответствовать требованиям CopyAssignable.То есть должно быть возможно присвоить одно значение другому.

Для std::map<int, int> значение равно std::pair<const int, int>, которое представляет пары значений ключа карты и не является CopyAssignable.Причина этого const int для ключа заключается в том, что карта работает внутренне, как уже указывали другие люди.

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

std::vector<std::pair<const int, int>>;

Answer 6

Попробуйте что-то вроде этого

#include <iostream>
#include <map>
#include <algorithm>

class foo 
{
public:
    enum CompType { GREATER=1, LESS=-1 };
    foo(int nVal=15, enum CompType ctype=GREATER)
    : m_nVal(nVal)
    , m_bGreater(ctype==GREATER)
    {
    }
    bool operator()(std::pair<int, int> p) 
    {
        if (m_bGreater)
            return p.second > m_nVal;
        else
            return p.second < m_nVal;
    }
private:
    int  m_nVal;
    bool m_bGreater;
};

void MapRemove(std::map<int, int> &m, foo &pred)
{
    auto itr = std::find_if(m.begin(), m.end(), pred);
    while (itr != m.end())
        itr = std::find_if(m.erase(itr), m.end(), pred);
}

int main(int argc, char *argv[])
{
    std::map<int, int> m;

    m.insert(std::make_pair(0, 0));
    m.insert(std::make_pair(1, 10));
    m.insert(std::make_pair(2, 20));
    m.insert(std::make_pair(3, 30));

    MapRemove(m, foo());

    for (auto itr=m.begin(); itr!=m.end(); ++itr)
        std::cout << "(" << itr->first << ", " 
                  << itr->second << ")" << '\n';

    return 0;
}