Discussion :

[tonioab]

Quelque chose me dérange en C++ par rapport au Java. Je vois dans plein de tutoriaux des gens utiliser apparemment de manière indifférente:

Code :

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

1
2
3
 
 UnObjet obj;
 obj.faire;

et

Code :

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

1
2
3
 
  UnObjet *obj = new UnObjet();
  obj->faire;

Ne faut-il pas toujours allouer dynamiquement un objet ?

Merci

[loufoque]

Ne faut-il pas toujours allouer dynamiquement un objet ?

Non.
Et d'ailleurs quand tu utilises new, il faut aussi utiliser delete quelque part (ce qui pose des problèmes d'exception safety par exemple)

[tonioab]

comment savoir dans ce cas ?

[Luc Hermitte]

Non.

Comment faire cours ... ?

Toute donnée (j'ai pas dit "objet") en C++ peut être allouée sur la pile ou sur le tas (ou être globale, ...). Une donnée sur la pile sera toujours implicitement libérée, et détruite dans le cas d'un objet (*), en sortie de la portée de sa déclaration/construction. Une donnée vivant sur le tas dispose d'une durée de vie qui trascende la portée dans laquelle elle est née.

Ca, ce sont les détails techniques. Une application immédiate est liée donc à la gestion des durées de vie, et à des aspects d'optimisation. En effet, pour faire qu'une donnée sur la pile vive hors de sa portée, il faut la copier en dehors de cette portée. Cela nécessite deux choses : d'abord qu'elle soit copiable, ensuite que cela ne coute pas trop cher (c'est l'aspect optimisation).


"Etre copiable" ... Ca, c'est le détail sémantique qui fait toute la différence avec le Java. En Java, les données non natives ont toutes une sémantique d'entité. En C++, les données peuvent aussi avoir une sémantique de valeur (et quantité de sémantiques hybrides intermédiaires).

Une valeur c'est quoi ? C'est une donnée où l'état définit l'"identité" -- je sais, ce n'est pas le bon mot: car on s'intéresse ici à l'égalité. i et j sont égaux s'il ont la même valeur. Typiquement c'est le cas de tout les types numériques et mathématiques (entier, vecteurs, matrices, ...), des chaînes de caractères, ...
Sémantique de valeur suppose que la donnée est copiable et comparable.
Les valeurs se régalent à vivre sur la pile.

Et une entité alors ? On parle d'entité pour les données dont l'état peut changer et qui restent pourtant la même donnée. On peut avoir deux références vers une même entité (affecter l'entité au travers d'une référence l'affecte aussi via l'autre référence), et avoir deux entités qui ont le même état (des jumeaux).
L'égalité ne nous intéresse que rarement dans les entités, on va plutôt comparer des sous-états qui les caractérisent -- au besoin.
Elles ne sont pas faites pour être copiées. Au besoin (mais pas toujours), on les dupliquera par clonage -- Java a suivi le C++ là dessus.
NB: Les objets tirés de hiérarchies polymorphes (héritage public) ont à 99% une sémantique d'entité ; leur forcer une sémantique de valeur requiert des cabrioles -- ce n'est pas un problème de langage, mais un problème OO AMHA.

Les entités vivent très mal sur la pile. Toutes fois, en vu de RAII, quand il n'y a pas de polymorphisme en jeu on peut en déclarer sur la pile.


Se sont deux cas extrêmes, limites scolaires -- quoique, plus de 80% (pifométriques) de mes classes rentrent dans une de ces deux catégories.
A partir de là, il y a des recettes de cuisines sur ce qui doit etre défini et interdit dans chacun des deux cas.

(*) ce truc est énorme, c'est le détail qui fait que gérer des ressources (mémoire comme pots de peintures) peut devenir très simple en C++ ; cherche RAII dans la FAQ.



Pour en revenir à ta question, dans un vrai code, cela dépend. Dans les tutoriaux, a priori,
- ils se posent rarement la question -> moit'-moit'
- ils profitent du RAII -> pile
- ils font dans le polymorphisme -> tas
- ils définissent des objets mathématiques -> pile
- ils optimisent des transferts de gros objets -> tas (c'est une pessimisation sur les petits)
- ...

[loufoque]

Une donnée vivant sur la pile dispose d'une durée de vie qui trascende la portée dans laquelle elle est née.

Tu voulais pas plutôt dire :
"Une donnée vivant sur le tas dispose d'une durée de vie qui transcende la portée dans laquelle est est née."
?

[Luc Hermitte]

Oui en effet. Définitivement. Merci. J'édite.