Здравствуйте, у меня возникла проблема с итераторами. У меня имеется обычный итератор для древа:
class iterator
{
public:
typedef iterator self_type;
typedef std::pair<Key, mapped_type> value_type;
typedef value_type& reference;
typedef value_type* pointer;
typedef std::forward_iterator_tag iterator_category;
typedef int difference_type;
pointer currPair;
//constructors
iterator()
{
curr = nullptr;
currPair = nullptr;
}
iterator(Tree_ &n)
{
curr = &n;
if (curr)
{
currPair = new value_type;
*currPair = std::make_pair(curr->key, curr->getValue());
}
}
iterator(const self_type& other)
{
curr = other.curr;
currPair = new value_type;
*currPair = *other.currPair;
}
iterator(const std::pair<Key, mapped_type>& other)
{
curr = other.curr;
currPair = other.currPair;
}
//operators
//prefix increment
self_type& operator++() {
if (currPair && curr)
if (currPair->second != curr->getValue())
curr->setValue(currPair->second);
curr = successor(); // point to next node
if (curr)
*currPair = std::make_pair(curr->key, curr->getValue());
return *this;
}
// postfix increment (it++)
self_type operator++(int)
{
self_type old = *this;
++(*this);
return old;
}
//reference
reference operator*() const {
return *currPair;
}
//pointer
pointer operator->()
{
return currPair;
}
// Inequality test operator
bool operator!=(self_type const & other) const {
return this->curr != other.curr;
}
// Dereference operator
bool operator==(self_type const & other) const {
return this->curr == other.curr;
}
operator const_iterator() const { return const_iterator(); }
private:
Tree_* curr;
//Successor
Tree_* successor()
{
if (curr)
if (curr->right != 0) {
curr = curr->right;
while (curr->left != 0)
curr = curr->left;
}
else {
Tree_* y = curr->parent;
if (y == nullptr)
return nullptr;
while (curr == y->right) {
curr = y;
y = y->parent;
if (y == nullptr)
return nullptr;
}
if (curr->right != y)
curr = y;
}
return curr;
}
};
currPair
у меня указатель и я в конструкторе аллокую для него место в памети.
На англо форуме прочитал что итератору не нужен деструктор. Но проведя тесты я выявил, что в конструкции:
for (auto& i : myMap1) {
i.second = 0;
}
где myMap1 это дерево, место в памети отданное для currPair остается за ним.
Следовательно нужен деструктор(я не представляю какой, ведь тестовая конструкция это пример стандартного использования итератора с древом)..
Или нужно изменить систему работы итратора дабы не было поинтеров. Но для моего задания поинтер необходим.
Не могли бы вы мне подсказать, как избежать утечки памети?
shared_ptr
, например.(auto& i : myMap1)
? инстанцииcurrPair
дляit
все еще будут существовать. А если таких форов будет 100000, то утечка будет огромной.