Czy myVector.erase (myPtr) usuwa obiekt wskazany przez myPtr?

Question

Jeśli mam następujący kod,

Foo *f = new Foo(); 
vector<Foo*> vect; 
vect.push_back(f); 
// do stuff 
vect.erase(f); 

Czy tworzę przeciek pamięci? Zgaduję, że tak, ale słowo wymazuje daje wrażenie, że usuwa go.

Pisząc to, zastanawiam się, czy nie jest błędem umieszczenie wskaźnika w wektorze STL. Co myślisz?

Answer 1

Tak, utworzyłeś przeciek pamięci przez to. std :: vector i inne pojemniki po prostu usuwają wskaźnik, nie zwalniają pamięci wskazywanej przez wskaźnik.

Umieszczenie wskaźnika w standardowym pojemniku bibliotecznym nie jest niczym niezwykłym. Problem polega jednak na tym, że musisz usuwać go podczas usuwania z kontenera. Lepszym, ale proste, sposobem na powyższe, jest w użyciu boost :: shared_ptr:

{ 
    boost::shared_ptr<foo> f(new foo); 

    std::vector< boost::shared_ptr<foo> > v; 
    v.push_back(f); 
    v.erase(v.begin()); 
} /* if the last copy of foo goes out of scope, the memory is automatically freed */ 

Następny C++ Standard (nazywane C++ i C++ 1x 0x powszechnie) obejmie std::shared_ptr. Tam będzie można również użyć funkcji std::unique_ptr<T>, która jest szybsza, ponieważ nie pozwala na kopiowanie. Używanie z kontenerami w C++ 0x jest podobne do biblioteki ptr_container w trybie doładowania.

Answer 2

Z pewnością nie jest błędem skierowanie wskaźnika do standardowego kontenera (błędem jest jednak utworzenie kontenera auto_ptr). Tak, musisz jawnie usunąć, aby zwolnić pamięć wskazywaną przez poszczególne elementy, lub możesz użyć jednego z boostów smart pointers.

Answer 3

Inną opcją jest użycie wzmocnienia Pointer Containers. Są zaprojektowane tak, aby robić dokładnie to, co chcesz.

Answer 4

Alternatywnie istnieje boost :: ptr_vector container.

Wie, że trzyma wskaźniki, które posiada i automatycznie usuwa je.

Jako miły wpływ strony, podczas dostępu do elementów zwraca odwołanie do obiektu, a nie wskaźnik, aby kod wyglądał ładnie.

Answer 5

wektor usuwa zawarte w nim dane. Ponieważ twój wektor zawiera wskaźniki, usuwa jedynie wskaźniki, a nie dane, które mogą lub nie mogą wskazywać.

To dość ogólna zasada w C++, że pamięć jest zwalniana tam, gdzie została przydzielona. Wektor nie przydzielił żadnych wskaźników, więc nie może go zwolnić.

Prawdopodobnie nie powinieneś przechowywać wskaźników w swoim wektorze w pierwszej kolejności. W wielu przypadkach można byłoby lepiej z mniej więcej tak:

vector<Foo> vect; 
vect.push_back(Foo()); 
// do stuff 
vect.erase(f); 

Oczywiście to zakłada, że ​​Foo jest copyable, a jego konstruktor kopia nie jest zbyt kosztowne, ale pozwala uniknąć wycieków pamięci, a don Trzeba pamiętać, aby usunąć obiekt Foo. Innym podejściem byłoby używanie inteligentnych wskaźników (takich jak Boost's shared_ptr), ale może nie być potrzebna semantyka wskaźnika, w takim przypadku proste rozwiązanie jest najlepsze.

Answer 6

Kontenery STL nie uwolnią Twojej pamięci.Najlepszą radą jest używanie inteligentnych wskaźników, wiedząc, że std :: auto_ptr nie zmieści się w pojemnikach. Polecam boost :: shared_ptr, lub jeśli twój producent kompilatorów ma obsługę rozszerzeń TR1 (wiele z nich) możesz użyć std :: tr1 :: shared_ptr.

Należy również pamiętać, że wektor nie zwolni nawet pamięci wewnętrznej zarezerwowanej dla wskaźnika. std :: wektory nigdy nie zmniejszają rozmiaru nawet bez wywołania clear(). Jeśli potrzebujesz zmniejszyć rozmiar wektora, musisz uciekać się do tworzenia innego wektora i zamiany zawartości.

Answer 7

Aby wyjaśnić, dlaczego wskaźnik nie zostanie usunięty, należy rozważyć

std::vector<char const*> strings; 
strings.push_back("hello"); 
strings.push_back("world"); 
// .erase should not call delete, pointers are to literals 

std::vector<int*> arrays; 
strings.push_back(new int[10]); 
strings.push_back(new int[20]); 
// .erase should call delete[] instead of delete 

std::vector<unsigned char*> raw; 
strings.push_back(malloc(1000)); 
strings.push_back(malloc(2000)); 
// .erase should call free() instead of delete 

w ogóle, vector<T*>::erase nie może odgadnąć, jak chcesz zbyć T*.