Problème de pointeur null membre de classe

Bonjour,

Je suis en train de faire le portage de mon code de visual 2003 à visual 2008. Après quelques modifications, la compilation s'est bien déroulé.
Par contre des tests unitaires échouent. J'ai un problème assez étrange à vous faire part:
J'ai une classe image dans laquelle se trouve quelques pointeurs initialisées à la construction.
Dans le débugger la construction se déroule bien, mais lorsque l'on sort du contructeur et qu'on vérifie les membres de la classe, on s’aperçoit que les membres de type pointeur sont nulles (les autres variables membres sont normaux).
Merci pour votre aide!

un peu de code peut être?

Voici le code concerné :

Code:

---

1 2 3 4 5

std::valarray<uint32_t> m_image; m_image.resize(nb_pix.x*nb_pix.y); uint32_t* image = &m_image[0]; CImage<uint32_t> image_obj(image, nb_pix);

---

Dans le contructeur de CImage, nous faisons :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12

template <class T> CImage<T>::CImage(T* first_ptr, const uint2D& nb_pixels) :m_nb_pix(nb_pixels), m_data_ptr(first_ptr), m_has_acq_info(false), m_buffer_size(10), m_buffer(m_buffer_size) { m_mutex = new boost::mutex; m_test_ptr = new T; }

---

Et dans le débugger nous avons dans le constructeur de CImage :

Code:

---

1 2 3 4 5 6 7 8 9 10

this 0x0012f1f0 {m_mutex=0x0205c050 m_acq_info={...} m_data_ptr=0x01ceb730 ...} ImaOp::CImage<unsigned long> * const + __vfptr 0x00be5198 const ImaOp::CImage<unsigned long>::`vftable' * m_mutex 0x0205c050 void * + m_acq_info {haso_serial_number=3435973836 length={...} exp_duration_us=-858993460 ...} ImaOp::CImageInfo + m_data_ptr 0x01ceb730 unsigned long * + m_test_ptr 0x0205c098 unsigned long * m_buffer_size 10 unsigned int + m_buffer [10](0,0,0,0,0,0,0,0,0,0) std::vector<unsigned long,std::allocator<unsigned long> > + m_nb_pix {x=272 y=336 } xy_pair<unsigned long> m_has_acq_info false bool

---

et a s'extérieur de celui-ci :

Code:

---

1 2 3 4 5 6 7 8 9 10 11

- image_obj {m_mutex=0xcccccccc m_acq_info={...} m_data_ptr=0xcccccccc ...} ImaOp::CImage<unsigned long> + __vfptr 0x00be5198 const ImaOp::CImage<unsigned long>::`vftable' * m_mutex 0xcccccccc void * + m_acq_info {haso_serial_number=33931344 length={...} exp_duration_us=0 ...} ImaOp::CImageInfo + m_data_ptr 0xcccccccc unsigned long * + m_test_ptr 0xcccccccc unsigned long * m_buffer_size 3435973836 unsigned int m_buffer [4286484444](3452816845,...,...) std::vector<unsigned long,std::allocator<unsigned long> > + m_nb_pix {x=3435973836 y=33931240 } xy_pair<unsigned long> m_has_acq_info true bool

---

Contrairement en ce que j'ai dit plus haut, je m'aperçoit que le problème est "juste" la perte du pointeur CImage en sortant du contructeur. J'imagine que cela pourrait provenir d'un conflit entre lib header er dll?

ou simplement que tu debugges un code optimisé, donc que les informations du debuggers peuvent ne pas être correctes?
car a part ca je ne vois pas.
sinon, c'est ou exactement "en dehors du destructeur"? un peu plus d'infos sur le code

Code:

---

1 2 3 4

std::valarray<uint32_t> m_image; m_image.resize(nb_pix.x*nb_pix.y); uint32_t* image = &m_image[0]; CImage<uint32_t> image_obj(image, nb_pix);

---

pourrait aider (il en fait quoi de image_obj?

Citation:

---

Envoyé par nanotech111

Voici le code concerné :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12

template <class T> CImage<T>::CImage(T* first_ptr, const uint2D& nb_pixels) :m_nb_pix(nb_pixels), m_data_ptr(first_ptr), m_has_acq_info(false), m_buffer_size(10), m_buffer(m_buffer_size) { m_mutex = new boost::mutex; m_test_ptr = new T; }

---

---

Dangereux : le standard dit que les valeurs initialisées dans la liste d'initialisation le sont dans l'ordre de leur déclaration dans la classe, sans tenir compte de l'ordre dans lequel ils apparaissent dans la liste. Du coup, si m_buffer est déclaré avant m_buffer_size dans la classe, alors ce code va initialiser m_buffer avec une valeur inconnue.

Normallement, les compilateurs détectent ce type de problème et t'avertissent ; si tu as bien déclaré les membres dans le bon ordre, ça ne posera pas de problèmes à court terme (par contre, si tu décides demain de changer l'ordre de déclaration, histoire de "faire plus propre" par exemple, tu risques de rencontrer des problèmes qui peuvent être potentiellement complexe à résoudre).

Du coup, je te conseilles de modifier ce code de manière à ce que l'initialisation d'un membre ne dépendent pas des autres - dans ce cas, c'est facile puisque m_buffer_size est initialisé avec une constante.

L'optimisation du code est bien désactivé pour la dll et les test unitaires.
Par ailleurs les test unitaires passent tous avec le même code (modifié pour visual 2008) sous visual 2003 (j'ai dupliqué le même code dans deux répertoires différents pour évité des conflits entre les deux versions de visual)

Enfin je m’aperçoit que le problème ne vient pas uniquement de mon objet CImage mais aussi du pointeur sur le valarray uint32_t* image
Le test unitaire crash lorsque je rempli mon valarray en faisant :

Code:

---

1 2	for (size_t k=0; k<6; k++) image[k+dep] = image[k+dep+10] = 0;

---

Si l'on regarde au débugger les objets créés, on s’aperçoit que :

Code:

---

1 2 3

std::valarray<uint32_t> m_image; m_image.resize(nb_pix.x*nb_pix.y); uint32_t* image = &m_image[0];

---

a la ligne -->
les objet m_image et image sont bien initialisé
lorsque l'on ressort du contructeur de CImage ( donc après la ligne Image<uint32_t> image_obj(image, nb_pix);) le pointeur image n'a pas la même valeur et le débogeur ne peut plus lire le contenu de m_image

Ca sent le buffer overrun.

Code:

---

1 2 3

for (size_t k=0; k<6; k++) image[k+dep] = image[k+dep+10] = 0;

---

Combien vaut dep ? Quelle est la taille de image (donc: combien valent nb_pix.x et nb_pix.y) ?

A la 1er itération dep vaut 0
nb_pix.x et nb_pix.y valent respectivement 272 et 336
Ce n'est donc pas un buffer overrun
par contre si je place la création de mon Cimage après avoir remplie image
via des boucles for : for (size_t k=0; k<6; k++)
image[k+dep] = image[k+dep+10] = 0;
l'objet image est correctement remplie, mais après avoir appliqué CImage<uint32_t> image_obj(image, nb_pix); le débugger perd toute info sur image et les membres de image_obj sont soit des pointeurs nulles soit des valeurs quelconques