Définir un extrait de vecteur avec des itérateurs.

**valefor** · 21/01/2011, 10h49

Bonjour.

Je souhaiterais avoir un précision sur l'utilisation des itérateurs.

Je code des fonctions qui traitent des données (des points x, y, z) contenues dans un std::vector. Par exemple :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
void foo(const std::vector<point>& begin, const std::vector<point>& end)
{
   ...
}

Puis j'ai une procédure qui appelle ces fonctions :
- tant qu'on n'est pas interrompu
- acquisition des points
- insertion des points dans le vecteur (push_back)
- appel de la fonction de traitement sur les derniers points insérés
- fin du tant que et rebouclage

Je me suis demandé si je pouvais utiliser l'itérateur .end() obtenu avant les push_back en tant qu'itérateur begin et l'itérateur .end() obtenu après les push_back en tant qu'itérateur end pour appeler ma fonction de traitement.

J'ai donc réalisé ce petit bout de test qui semble fonctionner.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#include <cassert>
#include <iostream>
#include <vector>
 
int main(int argc, char **argv)
{
  std::vector<int> foo;
 
  foo.push_back(1);
  foo.push_back(2);
  foo.push_back(3);
 
  std::vector<int>::iterator i1 = foo.end();
 
  foo.push_back(4);
 
  std::vector<int>::iterator i2 = foo.end() - 1;
  std::vector<int>::iterator i3 = foo.end();
 
  assert(i1 == i2);
  assert((i1 + 1) == i3);
 
  std::cout << *i1 << std::endl;
 
  return 0;
}

Ma question est : est-ce l'implémentation qui fait que ça marche, ou est-ce un comportement décrit dans le standard ?

Je trouve en particulier douteux qu'un itérateur qu'on a obtenu avec end() à un moment ne soit pas le même après insertion de nouveaux éléments...

Merci pour votre aide.

**Emmanuel Deloget** · 21/01/2011, 11h45

L'itérateur d'un vecteur est un random_access_iterator, qui est un bidirectional_iterator, sur lequel tu peux donc faire du +, du -, etc. v.end() renvoie nécessairement un itérateur valide (mais qui ne peut pas être déréférencé) pointant après le dernier élément. effectuer l'opération {x = v.end(); --x; } permet donc de revenir sur le dernier élément.

Ce comportement est standard ET nécessaire, sans quoi v.insert(v.end(),...) ne pourrait pas fonctionner.

Donc tu peux y aller franco

PAR CONTRE : push_back() invalide les itérateurs. Du coup, un itérateur acquis avant l'exécution de cette fonction n'est plus valide (dans la pratique, il le sera tant que le vecteur ne change pas de capacity(), mais étant donné que tu a peu de contrôle sur le moment ou capacity() change, tu peux considérer que dès l'appel à push_back(), tout tes itérateurs acquis avant sont morts).

Je trouve en particulier douteux qu'un itérateur qu'on a obtenu avec end() à un moment ne soit pas le même après insertion de nouveaux éléments...

Sauf que le vecteur est redimensionné automatiquement, et pour cela (puisqu'il a besoin d'une zone mémoire contigüe) il doit ré-allouer une zone mémoire de la bonne taille et détruire l'ancienne. L'itérateur acquis avant cette opération va donc pointer sur une zone mémoire qui n'est plus valide.

Ce que tu peux faire, c'est garder la taille du vecteur avant insertion de nouveaux éléments ; ensuite, il te suffira de retrouver l'itérateur du dernier élément avant ajout en faisait (v.begin() + taille).