Discussion :

[Bktero]

Bonjour,

Ma question va paraitre bête à certains, mais ça me travaille dur...

1) Scott Meyers explique dans ses bouquins qu'il ne faut jamais accéder à une donnée non initialisée car cela conduit à un undefined behavior. On sait tous ce que ça veut dire : la plupart du temps, on lit des données semi-aléatoires mais on pourrait un jour se retrouver avec un dragon qui sort de notre PC et nous dévore. 2) Quand on ne définit pas de constructeur, le compilateur en génère un. D'après ce que j'ai lu, il initialise tous les champs qui ont un constructeur par défaut, mais quid des types de base ? Il n'y a pas de constructeurs et j'ai cru comprendre qu'ils n'étaient donc pas initialisés. 3) En connectant ces 2 informations, dois-je en conclure que je risque un UB en lisant des champs d'un objet créé avec un tel constructeur par défaut ? Ça me paraitrait insensé mais je ne vois pas l'erreur dans mon raisonnement.

Merci pour vos lumières

[Bktero]

Je crois que je viens d'avoir la réponse en passant cppcheck sur du code...

Résumé: The class 'TemperatureWidget' does not have a constructor.
Message: The class 'TemperatureWidget' does not have a constructor although it has private member variables. Member variables of builtin types are left uninitialized when the class is instantiated. That may cause bugs or undefined behavior.

[dalfab]

Quand on ne définit pas de constructeur, le compilateur en génère un. D'après ce que j'ai lu, il initialise tous les champs qui ont un constructeur par défaut, mais quid des types de base ? Il n'y a pas de constructeurs et j'ai cru comprendre qu'ils n'étaient donc pas initialisés. 3) En connectant ces 2 informations, dois-je en conclure que je risque un UB en lisant des champs d'un objet créé avec un tel constructeur par défaut ?

Oui, et ça n'est pas du tout insensé, si toute variable devrait avoir une valeur par défaut on ne se poserait pas la question. On peut ne pas initialiser les variables scalaires, ce qui permet à constructeur dit "trivial" (=rien à initialiser) une optimisation importante. Par exemple que ce passe-t-il si on crée un tableau de 10000 Complexes?
Il existe cependant un moyen indirect de forcer cette initialisation (pour un objet n'ayant aucun constructeur défini et tous ses membres de même niveau de protection)

Code :

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

1
2
int x{};       // x est initialisé à 0
MaClasse y{};  // La classe est initialisée par liste d'initialisation vide => tous les scalaires sont mis à 0.

[Médinoc]

En plus du fait que les types Plain Old Data ne soient pas initialisés par défaut, il faut ajouter le fait que le seul fait de lire une variable non-initialisée peut causer un UB: Une valeur peut être une trap representation qui cause une erreur dès que le processeur la charge dans un registre. Il me semble d'ailleurs que c'est le cas pour les signaling NaNs.
Plus d'infos:
Uninitialized floating point variables can be deadly
Uninitialized garbage on ia64 can be deadly

[Bktero]

Mon dieu c'est horrible !

Je comprends la problématique de performance, mais alors un code comme ceci sont des UB et PC pourrait un jour exploser ?

Code :

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

1
2
3
4
5
6
7
8
9
#include <array>
 
using namespace std;
 
int main()
{
    array<int, 12> my_array;
    return my_array[5]; // UB (en supposant que le tableau servant en interne n'a pas été initialisé)
}

PS : @Médinoc j'ai vraiment l'impression que tu connais le blog de Raymond Chen par cœur... Ce n'est pas toi Raymond Chen quand même ?! Super articles en tout cas !

[ternel]

D'un autre coté, cela te choquerait-il que le code suivant soit un UB?

Code :

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

1
2
3
4
5
int main()
{
    int my_array[12];
    return my_array[5]; // UB
}