Discussion :

[ram-0000]

Bonsoir,

J'ai un problème que j'ai réussi à reproduire avec le programme suivant :

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
27
28
29
30
31
32
33
34
35
36
37
38
#include <list>

class CMyClass
{
public:
	CMyClass(void) { }
	~CMyClass(void) { }

	void Add(void)
	{
			m_class_list.push_back(CMyClass());
	}

	// retourne une reference sur le dernier objet de la list
	CMyClass & Last(void)
	{
		// juste pour être sûr d'avoir au moins un objet
		if(m_class_list.size() == 0)
			Add();

		std::list<CMyClass>::iterator it = m_class_list.end();
		--it;
		return *it;
	}

	std::list<CMyClass> m_class_list;
};

int main(int argc, wchar_t* argv[])
{

CMyClass obj;
CMyClass & last = obj;
	last = obj.Last();

	
	return 0;
}

J'ai une erreur (debug assertion failed) que je ne comprends pas sur la partie en rouge.

Si je remonte la pile, cela provient d'ici dans le fichier source de list :

Code :

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

1
2
3
4
5
6
7
8
9
	bool operator==(const _Myiter& _Right) const
		{	// test for iterator equality
 #if _ITERATOR_DEBUG_LEVEL == 2
		if (this->_Getcont() == 0
			|| this->_Getcont() != _Right._Getcont())
			{	// report error
			_DEBUG_ERROR("list iterators incompatible");
			_SCL_SECURE_INVALID_ARGUMENT;
			}

et je ne comprends pas le message : "list iterators incompatible".

Si quelqu'un sait m'expliquer ce que je fais mal ou alors peut être un bug dans l'implémentation de list de Microsoft (mais je n'y crois pas trop)

J'utilise Visual studio 2012, le fichier source de "list" est c:\Program Files (x86)\Microsoft Visual Studio 10.0\VC\include\list

Merci d'avance pour vos explications

PS : heu ... dans la vrai vie, ma classe est un tout petit peu plus complexe que cela mais elle est récursive comme dans l'exemple fourni (je ne sais pas si récursive est le terme adéquat)

[Neckara]

Bonjour,

Code :

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

CMyClass & last = obj;

last est une référence, tu ne peux que l'initialisé à la déclaration mais tu ne peux pas lui affecter de valeur après sa déclaration.

[Arzar]

Salut,

C'est bizarre, avec vs2012 et le code donné je n'ai pas l'erreur et pourtant je vois bien le debuggeur qui passe dans la fonction bool operator==(const _Myiter& _Right) et qui teste le if(this->_Getcont etc.

Par contre il y a truc qui me chiffonne :

J'utilise Visual studio 2012, le fichier source de "list" est c:\Program Files (x86)\Microsoft Visual Studio 10.0\VC\include\list

Avec vs2012 les header de la STL devraient pointer vers C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\include

[ram-0000]

Avec vs2012 les header de la STL devraient pointer vers C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\include

J'ai dit 2012 ? En fait, c'est 2010, désolé pour l'erreur

[ram-0000]

Code :

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

CMyClass & last = obj;

last est une référence, tu ne peux que l'initialisé à la déclaration mais tu ne peux pas lui affecter de valeur après sa déclaration.

J'avais un peu ce pré-sentiment mais je me disais innocemment que le compilateur ne me laisserais pas faire cela si je n'avais pas le droit.

C'est vraiment interdit de "ré-affecter" une référence ? Parce qu'à aucun moment, cette référence ne pointe sur "rien", son contenu est toujours valide.

Je viens de faire un autre test avec ceci :

CMyClass obj("obj1");
CMyClass obj2("obj2");
CMyClass & last = obj;
last = obj2;

et je vois bien que last pointe vers un nouvel objet après la portion en rouge et sans erreur (visible).

PS : j'ai modifié la classe CMyClass pour ajouter un paramètre dans le constructeur permettant d'identifier l'objet.

[Neckara]

J'avais un peu ce pré-sentiment mais je me disais innocemment que le compilateur ne me laisserais pas faire cela si je n'avais pas le droit.

C'est vraiment interdit de "ré-affecter" une référence ? Parce qu'à aucun moment, cette référence ne pointe sur "rien", son contenu est toujours valide.

Oui c'est illégal. Une référence est comme un "alias" d'une variable, il ne peut pointer que sur une seule variable durant tout son cycle de vie.

EDIT : en fait tu dois appliquer l'opérateur= de l'objet pointé.

[ram-0000]

EDIT : en fait tu dois appliquer l'opérateur= de l'objet pointé.

Oui, tu as raison, à la suite de cette ré-affectation, le contenu de l'objet obj est égal à obj2.

Je vais donc rectifier mon code pour ne plus faire de ré-affectation, c'est "le mal", c'est laid.

Merci pour l'explication