Usuwanie wektorów STL za pomocą wskaźnika

Question

I understand (at least I think I do) to wskaźniki mogą być używane jako losowe iteratory STL.

Dlaczego następujący kod nie jest kompilowany, chyba że rzuciłem wskaźnik na iterator?

vector<int> v{1, 2, 3}; 
v.erase(&v[0]); 

Answer 1

można przekazać wskaźniki do algorytmów jak std::sort, std::find lub std::copy. Są to szablony konfigurowalne dla wszystkiego, co działa jako odpowiedni iterator.

Nie oznacza to, że różne iteratory muszą się nawzajem przekształcać.

Metoda erase kontenera std::vector<int> może pracować z iteratorami tylko z elementami tego samego wektora. Jak zostało wskazane może być realizowany jako wskaźnik, ale zwykle nie jest, z powodów podanych tutaj: C++ std::vector<>::iterator is not a pointer, why?

Rozważmy std::find:

template< class InputIt, class T > 
InputIt find(InputIt first, InputIt last, const T& value); 

Tutaj InputIt jest parametrem szablonu. Szablon std::find będzie działał z każdym typem iteratora, który spełnia wymagania input iterator, a którego operator* zwraca coś, co można porównać do typu T. Wskaźniki działają tutaj dobrze. Jak zauważył Fire Lancer w komentarzu, zarówno first i last musi być typu InputIt.

teraz porównać do std::vector::erase:

iterator erase(const_iterator pos); 

To trwa const_iterator, który jest jednym z typedefs klasy std::vector. Jest to jeden szczególny typ iteratora, a nie parametr szablonu.

Answer 2

Definicja vector.erase(...) jest

iterator erase(const_iterator pos);

const iterator to klasa sama w sobie. Więc jeśli nastąpiła konwersja zwykłego wskaźnika na tę klasę, to można to zrobić. Ale nie sądzę, że istnieje.

Ale należy go używać w miejscu, w którym oczekuje się iteratora, a innego używać w algorytmach.

Jeśli wymagany jest iterator, można użyć tylko iteratora.

W algorytmach nie jest oczekiwany kod iterator. Tylko obiekt, dla którego usatysfakcjonowany jest obiekt (zwykle begin i end, zwraca wymagany iterator/wskaźnik).

Answer 3

Chociaż wskaźniki są iteratory, nie są one takie same typ jak wektor iteratory (przynajmniej nie muszą być).

Możesz przekonwertować wskaźnik na element wektora na itertor używając iteratora i arytmetyki wskaźnika w ten sposób.

std::vector<int> v{1, 2, 3}; 

int* p = &v[0]; // a pointer 

auto v_iter = v.begin() + std::distance(v.data(), p); // an equivalent vector::iterator 

v.erase(v_iter); 

Zadziała tylko z sąsiadujących ze sobą pojemników, takich jak std::vector lub std::array.