Удаление края из ребер_, которое объявляется как std :: set <std :: shared_ptr <Edge>> edge_;

Question

Я новичок в std :: shared_ptr и std :: set. Для следующего кода я хочу знать, как я могу удалить ребро из edge_.

edge_ объявлен как std::set<std::shared_ptr<Edge>> edges_;, и я хочу удалить ребро, на которое ссылается общий указатель, хранящийся в std :: set. Мой код для части здесь, но, похоже, проблема.

auto findEdge = findLinkingNode1->second->edges_.find(edge); 
findLinkingNode1->second->edges_.erase(findEdge); 

Ошибка:

test8c(3034,0x7fff78df2000) malloc: *** error for object 0x7f8553403350: pointer being freed was not allocated 
*** set a breakpoint in malloc_error_break to debug 
Abort trap: 6 

Как я могу удалить ребро из edges_, который управляется с помощью общих указателей, учитывая, что общие указатели хранятся в станд :: набор?

Answer 1

Это только гадать, но, учитывая код вы предоставляете ...

auto findEdge = findLinkingNode1->second->edges_.find(edge); 
findLinkingNode1->second->edges_.erase(findEdge); 

... Я бы сказал, что ваша проблема в том, что вы стираете edges_.end()which is not allowed (вероятно, неопределенное поведение):

The iterator pos must be valid and dereferenceable. Thus the end() iterator (which is valid, but is not dereferencable) cannot be used as a value for pos.

Переменная findEdge будет равна edges_.end(), если данный edge не был найден в комплекте. Чтобы найти элемент, std::set использует Compare объект, тип которого определяется с помощью второго параметра шаблона ...

std::set<std::shared_ptr<Edge>> edges_; 

... которые вы не указали, что это недобросовестный std::less<std::shared_ptr<Edge>>, который в свою очередь вызывает the operator< of the shared pointer, которые ...

Note that the comparison operators for shared_ptr simply compare pointer values; the actual objects pointed to are not compared.

... не сравнивает объекты, а только указатели. Поэтому, если указатели, используемые для вставки и поиска, не указывают на точно такое же (как в идентичном, не только «равном») объекте, вы зарегистрировались на наличие проблем.

---

Выше было предположение, но учитывая Ваш комментарий ...

findOrig->second->edges_.insert(std::make_shared<Edge>(Edge (findOrig->second, findDest->second, val))); 

... делает это факт, так как там нет (почти) нет возможности достать указатель, возвращаемый make_shared.

Внедрите класс сравнения для вашего набора, который сравнивает фактические объекты Edge. (Избавление от указателей не так просто, потому что вы сказали, что Edge является полиморфным)

Мораль: всегда проверяйте возможные ошибки.