STL. Проблема с erase()

[bebabo]

Столкнулся со странной проблемой. Есть класс, в нем static vector и static функция, которая работает с этим вектором, проверяя каждый объект на соответствие некому условию и если true - вырезает этот объект из вектора.

Код:

vector<Transition>::iterator t = Transition::trans.begin();
  
while(t != Transition::trans.end()){
    if(CheckShapeType((*t).GetFromShape(), sh)){
      trans.erase(t++);
    }
}

Результат - все те объекты, которые должны быть удалены - удаляются за исключением одного. Он полностью соответствует условия удаления, но не вырезается. Точнее, вырезается, если запустить цикл повторно.
Пробовал заменить вектор на список - еще хуже - уходит в бесконечный цикл.
Что здесь может быть не так?

[Алексей++]

Есть класс, в нем static vector и static функция

в студию класс, в нем static vector и static функцию

[bebabo]

class Transition : public Shape{
protected:
   string from_shape;
   string to_shape;
   string to_shape_text;
   string trigger;
   string body;
   string else_part;
public:
   static vector <Transition>   trans;
public:
   Transition(std::string& _name, CVisioShape& shape);
   string GetFromShape();
   string GetToShape();
   string GetTrigger();
   string GetBody();
   static void ClearTransitions();
private:
   void SetBody();
   bool SetTrigger();
};

код статичной функции в предыдущем посте
функция для проверки условия удаления
bool CheckShapeType(string& str, string& shape_type){
   std::string::size_type i = str.find(shape_type);
   return (i != std::string::npos) ? true : false;
}

[Алексей++]

проведи эксперимент:

Код:

bool CheckShapeType(string& str, string& shape_type)
{
   return true;
}

всё ли удалится или тоже один элемент останется ?

[bebabo]

так работает корректно. и список и вектор. без всякой проверки тоже удаляет нормально.
ну, теперь хотя бы ясно, где проблема)

[RXL]

bebabo, у меня нет уверенности, что постфиксный ++ работает корректно. Я бы сделал цикл на for - и нагляднее и надежнее.

[bebabo]

RXL, пробовал. результат тот же

[RXL]

Кстати - "return (i != std::string::npos) ? true : false;" - масло маслянное: оператор неравенства уже возвращает логическое значение.

Проверь:

Код: (C++)

for (vector<Transition>::iterator t = trans.begin(); t != trans.end(); t++)
        if (CheckShapeType(t->GetFromShape(), sh))
                trans.erase(t++);

GetFromShape() - я бы и тут проверил.

[bebabo]

Кстати - "return (i != std::string::npos) ? true : false;" - масло маслянное: оператор неравенства уже возвращает логическое значение.

кстати, да)
GetFromShape - просто возвращает стринг from_shape
проверил. один так и не удалился

[Алексей++]

bebabo,
а что за жестокая заморочка тут

Код:

std::string::size_type i = str.find(shape_type);
   return (i != std::string::npos) ? true : false;

, не проще ли

Код:

while(...)
{
    if((*t).GetFromShape() == sh)
    {
      ...
    }
}

?

или нету там оператора сравнения ?

[bebabo]

Алексей1153++, насчет заморочки -
функция CheckShapeType принимает два строковых аргумента from_shape и sh и далее определяет есть ли в from_shape вхождения sh. например, from_shape = "transition.12" или "transition.5", а sh = "transition". в данном случае будет true 

[Алексей++]

странно, а что за циферка на конце ?

[bebabo]

Алексей1153++, циферка... как бы это объяснить ) циферка - это что-то вроде порядкового номера, так в visio (пишу плагин для него) именуются фигуры. например, если нарисовать условие перехода (transition), то эта фигура будет названа transition, следующая transition.1, ну и т.д.

[RXL]

bebabo, в общем, поставь точку прерывания в CheckShapeType и посмотри, что там в параметрах происходит.

Кстати, я бы объявил так:

Код: (C++)

bool CheckShapeType(const string& str, const string& shape_type);

Ты же их не изменяешь в функции, а оптимизатору в помощь и вообще надежнее.

[Джон]

Для меня пока ясно лишь одно. Если один элемент остаётся, то условие, как минимум, один раз НЕ выполняется.

bebabo, попробуй, чтобы исключить подозрения на erase, убрать проверку условия и просто удалить все элементы.

зы Согласен, с мнением, что код очено запутано написан. Это уменьшает место, но резко снижает читабельность и понимание.

[RXL]

Джон, уже была похожая проверка:
https://forum.shelek.ru/index.php/topic,13224.msg158983.html#msg158983

Явно что-то в find или параметрах...

[bebabo]

бился весь день и только что обнаружил идиотскую ошибку в первоначальном варианте цикла

while(t != Transition::trans.end()){
    if(CheckShapeType((*t).GetFromShape(), sh)){
      trans.erase(t++);
    }
}

инкремент t происходит только когда CheckShapeType возвращает true. исправил, запустил все получилось как надо. то что я принимал в случае со списком за бесконечный цикл было просто зависанием цикла на случае false. но почему этот цикл не зависает в случае с вектором - загадка. и почему не срабатывает вариант с for(; - тоже не понимаю

[RXL]

Думаю, что с for тоже срабатывает, но там тоже притаилать ошибка.

[Алексей++]

bebabo, перепиши всё в максимально читаемом виде для начала, а когда отладишь - сократишь. И то сильно усердствовать в уплотнении не стОит

[blob]

Столкнулся со странной проблемой. Есть класс, в нем static vector и static функция, которая работает с этим вектором, проверяя каждый объект на соответствие некому условию и если true - вырезает этот объект из вектора.

Код:

vector<Transition>::iterator t = Transition::trans.begin();
  
while(t != Transition::trans.end()){
    if(CheckShapeType((*t).GetFromShape(), sh)){
      trans.erase(t++);
    }
}

Результат - все те объекты, которые должны быть удалены - удаляются за исключением одного. Он полностью соответствует условия удаления, но не вырезается. Точнее, вырезается, если запустить цикл повторно.
Пробовал заменить вектор на список - еще хуже - уходит в бесконечный цикл.
Что здесь может быть не так?

Первое - а как оно вообще до конца доходит, когда if не возвращает true? Тогда же инкрементов не будет.
Второе - как по мне, не удаляется элемент тогда, когда два элемента, которые необходимо удалить, идут последовательно. Я тут набросал тестовый код, если его скомпилить сl.exe от 2003 студии, то вроде бы работает, но второй элемент в векторе остаётся. В 2005 студии скомпилированный код при запуске выдаёт страшные маты по поводу того, что vector iterators incompatible. По-моему справедливо, т.к. действия выполняются в таком порядке:
1) возвращается текущая позиция t
2) инкремент
3) erase
4) после erace все итераторы вектора, указывающие на элементы, лежащие после удалённого, невалидны. Это вектор, а он располагается в памяти последовательно. У него нет указателей на next и previous, как у списка.
Тестовый код:

Код:

#include <vector>
#include <iostream>

int main()
{
	std::vector<int> v;
    v.push_back(1);
    v.push_back(2);
    std::vector<int>::iterator i = v.begin();
    while(i != v.end())
    	v.erase(i++);
	for(std::vector<int>::iterator j = v.begin(); j != v.end(); ++j)
	    std::cout << *j;
}  

попробуй использовать алгоритм std::remove_if (из заголовочного файла <algorithm>). Он перенесёт все элементы, подлежащие удалению, в конец вектора, и вернёт указатель на первый из "удалённых" элементов. Далее вызываешь

Код:

Transition::trans.erase("тот итератор, что вернул remove_if", Transition::trans.end());

и все ненужные элементы удалены.

[blob]

вернёт remove_if не указатель, а

Код:

vector<Transition>::iterator

[Антон (LogRus)]

вернёт remove_if не указатель, а

Код:

vector<Transition>::iterator

в релизной сборке итератор вектора это указатель.
согласен насчет remove_if, имхо более правильный подход