[C++] Je ne comprends pas très bien cette syntaxe

Bonjour,

Pourquoi le code suivant affiche-t-il le message « OK » ?
Selon moi, ligne 18, on alloue un emplacement pour l’objet Entier, mais sans forcément le construire.

#include <iostream>

using std::cout;
using std::endl;

class Entier {
    public :
    Entier() {
        cout << "OK" << endl;
    }
    int value;
};

int main() {
    Entier test;
    return 0;
}

C’est aussi choquant que si vous me disiez qu’on a un nouvel objet entier créé en mémoire avec ce code :

int maVariable;

Pour moi, on alloue la mémoire dont on a besoin, sans la remplir.

Salut,

C’est aussi choquant que si vous me disiez qu’on a un nouvel objet entier créé en mémoire avec ce code :

int maVariable;

Ben euh je sais pas à quoi tu t’attends mais là tu demandes littéralement à créer un int, de la même façon que tu demandes à créer un Entier avec l’autre code. Sa valeur est non-définie, mais elle existe. En général, la valeur prise est celle du contenu pré-existant de l’emplacement mémoire pris par ton int.

Bonjour

Le type int est un du compilateur. Si tu l’initialises comme tu l’as écrit, c’est un UB et il peut avoir n’importe quel valeur. En revanche lorsque tu as un objet avec un constructeur sans arguments (ou avec des arguments avec valeur par défaut (Entier(int v = 5) {})), le standard dit que l’objet, dans un appel comme Entier test; est construit (je n’ai pas la réf exacte dans le dit standard en revanche).

Je confonds peut-être avec Java ?
En Java, ce code fait-il aussi appel au constructeur ?

MonObjet monObjet;

Oui, effectivement

On peut ajouter que les variables de type primitif déclarées en dehors d’une fonction sont initialisées à zéro, sinon elles sont non-initialisées.

En fait, la confusion vient de la différence entre allouer un espace mémoire pour y placer plus tard un entier, et remplir cet espace mémoire avec un entier.

Toujours en C, voici comment j’interprète le programme suivant :

int main(void)
{
    int a;
    a = 42;

    return 0;
}

Ligne 3

On alloue un espace mémoire (de taille sizeof(int) octets) et on lui affecte une adresse mémoire, afin de pouvoir retrouver cet emplacement.

Comme l’espace mémoire est créé sur la pile, selon le post de @Pataques, la variable a n’est pas initialisée et il vaut mieux éviter de lire son contenu, puisqu’il ne nous appartient pas. Aucun entier n’a été créé, on a juste alloué de la mémoire.

Ligne 4

Le membre de droite de l’expression créé un entier, en faisant appel au constructeur new int() implicitement. Cet entier, considérons-le comme un objet, est alors placé dans l’espace mémoire précédemment alloué.

A cette étape, le constructeur est donc appelé.

Bref, c’est pourquoi je pense que Entier entier; ne devrait pas faire appel au constructeur, mais pourquoi ai-je tort dans le raisonnement précédent ?

Ah d’accord, merci !

C’est cohérent avec le langage. new Entier() on aloue un Entier sur la pile. On y accède avec un pointeur.

J’ai plutôt appris que c’était un Entier sur le tas, en utilisant le mot-clef new ?

Oui oui, je me suis relus, j’avais la tête ailleurs.