Dotaz: kratky dotaz k iteratoru - C++

[sranda_zitra]

Dobry vecer a dobrou chut, pokud prave vecerite. Mel bych mensi dotaz k iteratoru od kontejneru vector. Vector ma v sobe pole toho, co zrovna drzi. Pokud bych se chtel k tomuto poli dostat (resp. k ukazateli na 1. prvek tohoto pole), provedu to tak, ze do L-Hodnoty dam promennou typu pointer na typ, ktery zrovna vector drzi a do R-Hodnoty napisu: &*mujVector.begin();

napriklad: short int* p_sh = &*mujVector.begin().
Muzu si tento kus kodu prelozit nasledovne? Hvezdickou rikam "vrat hodnotu" prvniho prvku v poli a ampersand + hvezdickou reknu "vrat adresu prvniho prvku v poli". Je to tak a nebo se mylim?

Predem diky.

Odpovědi

[mrk]

Je to skoro správne, &*mujVector.begin() vráti pointer na prvý prvok. Len menšia oprava - *mujVector.begin() nie je hodnota, ale referencia. Takže je možné napísať

*mujVector.begin() = 42;

[sranda_zitra]

Diky, naprosto srozumitelne vysvetleni.

[vlastikroot]

Tohle by mě nenapadlo, proč to neni normálně int * p = mujVector.begin() ?

[jekub]

tohle je normalne?

[Sinuhet]

Protoze nikde nemate zaruceno, ze iterator musi jit konvertovat na ukazatel na danny typ (pripadne, ze je primo jako ukazatel implementovan).

[vlastikroot]

Aha, díky. Takže u vectoru to sice funguje, ale je to prasárna.

[Jirka P]

Ne tak úplně, funguje to jen na konkrétní implementaci vectoru. Např. na MSVC v Debug módu jsou všechny iterátory objekty, jejichž metody obsahují (kromě předepsané funkčnosti) navíc asserty, takže tam to nefunguje.

[Sten]

Protože normálně je to:

std::vector<int>::iterator it = mujVector.begin();

Iterátor se chová stejně jako pointer.

[Sten]

Nedoporučuji to používat. Pokud vím, není zaručeno, že pole je souvislé, pouze že přístup k jednomu prvku má konstantní složitost. Místo pointerů používejte přímo iterátory, které se chovají jako stejně jako pointery.

[Sinuhet]

Mylite se, u vektoru je vyslovne receno, ze polozky musi byt usporadany souvisle za sebou.

The elements of a vector are stored contiguously, meaning that if v is a vector<T, Allocator> where T is some type other than bool, then it obeys the identity &v[n] == &v[0] + n for all 0 <= n < v.size().