Constructeur par défaut et POD

Bonjour.
D'après ce que j'ai compris, le constructeur par défaut implicite d'une classe appelle le constructeur par défaut des données membres, excepté pour celles de type POD qu'il laisse non-initialisées.

Mais qu'en est-il pour le constructeur par défaut d'un type POD ?
Est-ce que par exemple int() retournera toujours 0, ou est-ce que ce comportement n'est pas garanti ?
D'après les souvenirs que j'ai et les tests que j'ai faits, je pense que oui.
Mais je préfère en avoir le cœur net.

Tout ça pour en arriver à la question qui m'intéresse vraiment.
Peut-on écrire ce qui suit et en attendre le comportement désiré :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19

class POD {   bool m_bool; char m_char; int m_int; double m_double; void * m_pointer;   (...)   }; // class POD     //**********************//     POD::POD() : m_bool(), m_char(), m_int(), m_double(), m_pointer()... {}

---

ou est-il impératif d'écrire :

Code:

---

1 2 3 4 5 6 7

POD::POD() : m_bool(false), m_char('\0'), m_int(0), m_double(0.), m_pointer(NULL)... // ou « 0 » ; ou « nullptr » en C++11 {}

---

int() retourne 0
mais ne pas initialiser est différent d'initialiser a 0 ou a la valeur par défaut

si tu veux initialiserun POD a zero sans constructeur tu peux faire un memset.

pour t'assurer que tu as un POD, j'ai utilisé l'astuce suivante:

Code:

---

1 2	class POD { ... }; union MakeSurePOD{ POD x; };

---

ce code ne compile pas (en C++ pré 0x du moins) si POD n'est pas vraiment une classe POD; c'est a dire si il y a un constructeur ou un destructeur. Ca permet de s'assurer lors de la compilation que memset() fonctionnera.

A noter qu'en C++11 (03 peut-être ?), T() suffit a zéro-initialiser un POD (c'est même "un peu" plus général que ca).

NB: Cependant ne pas oublier que T t(); n'est en général pas la déclaration d'une variable t de type T, ce qui limite l'utilisation de la syntaxe précédente pour la zéro-intialisation.

Citation:

---

Envoyé par screetch

si tu veux initialiserun POD a zero sans constructeur tu peux faire un memset.

---

Ça initialisera la structure en mettant tous ses bits à 0. Ce qui n'est pas pareil que d'initialiser à 0. En particulier, le pointeur nul n'a pas forcément tous ses bits à 0.

D'accord.
Jusque là, ça répond à ma première question.

Et donc, si j'ai bien compris, le premier bout de code suffit à « zéro-initialiser » les données membres de type POD.
C'est bien ça ?

ca n'appellera aucun constructeur, ca mettra des zeros partout.
d'ou l'utilisation de l'union chez moi; pour prouver que le memset/memcopy fonctionne sur ces structures sans cacher un bug

Hum...
Je ne suis pas sûr qu'on se comprenne, screetch.

Ma classe POD n'a pas vocation à être un type POD.
C'est juste qu'il lui fallait un nom...


Sinon, je me vois mal faire ce genre de choses :

Code:

---

1 2 3 4 5 6 7 8 9 10 11

#include <cstring>   POD::POD() { std::memset(&m_bool, 0, sizeof(bool)); std::memset(&m_char, 0, sizeof(char)); std::memset(&m_int, 0, sizeof(int)); std::memset(&m_double, 0, sizeof(double)); std::memset(&m_pointer, 0, sizeof(void*)); ... }

---

Surtout que ça n'a pas l'air d'être correct...

aha, honte sur moi (je rejette la faute sur mon rhume) je viens de decouvrir dans ton premier texte la presence des lignes 18 et 19 dans ton code et tout devient plus clair. Je croyais que tu voulais te passer totalement de constructeur pour ta classe POD, ce qui en l'occurrence ne marche pas; mais si ta classe POD etait elle meme un pod alors tu pouvais faire memeset() dessus

maintenant j'ai compris ton probleme (allez les microbes regardez ce que vous me faites dire).

ton premier code marche très bien; int() retourne 0 (enfin la valeur par défaut d'un int, qui est 0 je pense), et faire m_bool() revient bien a faire m_bool(0)(ils ont bon dos les microbes)

Citation:

---

Envoyé par screetch

(ils ont bon dos les microbes)

---

Je n'aurais pas dit mieux ! :lol: :mouarf:

Bon, maintenant que nous sommes tous d'accord, je vous remercie pour vos réponses. ;)