Discussion :

[vdumont]

Bonjour, jai un bout de code dans le logiciel que je dois maintenir qui est le suivant

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
 
std::vector<CAS_FRONT*>::iterator i,nouveau=NULL;

Ma question:

A quoi sert le null?? Par defaut lorsquon fait seulement declarer literateur sans lui dire exemple v.begin() il pointe sur null non???

Ca fonctionne sous borland mais sous Unix/gcc il dit

mailleur3d_front.cpp:661: error: conversion from `int' to non-scalar type `__gnu_cxx::__normal_ite rator<CAS_FRONT**, std::vector<CAS_FRONT*, std::allocator<CAS_FRONT*> > >' requested


Par la suite, pour savoir si literateur pointe sur null est-ce quon peut faire if !(*iterateur) ??

Merci

[Herode]

Si l'it�rateur pointe sur NULL, *it va lancer une exception.
Par contre, ( ! it ) devrait renvoyer true, conform�ment � la norme (qui dit qu'un it�rateur doit se comporter comme un pointeur). Cela dit, conform�ment � la norme,

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

vector<machin>::iterator it = NULL;

devrait compiler. Mieux vaut tester, donc...

[vdumont]

Le hic cest que gcc prend pas le i = NULL;

Il dit

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
 
error: conversion from `int' to non-scalar type `__gnu_cxx::__normal_ite rator<CAS_FRONT**, std::vector<CAS_FRONT*, std::allocator<CAS_FRONT*> > >' requested

[Luc Hermitte]

D'abord un rappel.
Un it�rateur n'est pas un pointeur !!!

Un pointeur est par contre un repr�sentant particulier des it�rateurs dits � acc�s direct.
Certaines impl�mentations de vecteur impl�mentent std::vector<>::iterator comme un pointeur. Mais:
- c'est un d�tail d'impl�mentation
- cela peut varier d'une impl�mentation � l'autre (propri�taire)
- cela ne veut pas dire que l'on puisse en faire quoique ce soit.

Les it�rateurs sont des objets servant � r�f�rencer des donn�es "vivant" dans des plages it�rables. Ces plages sont, pour 99.99% d'entre elles, d�finies par deux choses :
- un it�rateur, d�r�f�ren�able (si la plage est non vide), de d�but de plage
- un it�rateur, non-d�f�ren�able de fin de plage.
Suivant les notations, on trouve: [debut,fin[ ou [d�but,fin).

En sorte de corrolaire, un it�rateur est consid�r� d�f�ren�able par rapport � une plage de donn�es. Et un it�rateur sera consid�r� non valide, par rapport � une plage, s'il est "�gal" au dernier �l�ment d�finissant la plage.

Ainsi, un it�rateur peut dans l'absolu pointer vers une donn�e valide, mais �tre consid�r� comme non-d�f�ren�able dans le cadre d'un traitrement. p.ex. une recherche parmi les 4 premiers �l�ments (soit sur [debut,debut+4[), d'une plus grande collection, qui renverrait debut+4 (le potentiellement 5e �l�ment) signifirait que l'on n'a rien trouv�.

[vdumont]

Ouais dans mon cas finalement je set a mon vector.end() au d�part. C'est ce qui me permet de remplacer le NULL qui plantait sous gcc.

[Luc Hermitte]

Mais. C'est normal que cela plante. Null n'a aucun sens pour un it�rateur.

[vdumont]

Je sais ca fait aucun sens, je comprend pas pourquoi Borland tol�rait cela.

[Laurent Gomila]

Je sais ca fait aucun sens, je comprend pas pourquoi Borland tol�rait cela.

Parce que, comme te l'a dit Luc; il y a des impl�mentations pour lesquelles vector<T>::iterator n'est qu'un typedef pour T*.

[Herode]

Sans doute aussi parce que la norme le sugg�re :

Since iterators are an abstraction of pointers, their semantics is a generalization of most of the semantics of pointers in C++. This ensures that every template function that takes iterators works as well with regular pointers.

Rien n'interdit d'ailleurs que "past_the_end" vaille NULL. Reste que dans du code propre, il est effectivement pr�f�rable de tester son it�rateur vs. end().