Discussion :

[MatRem]

Bonsoir,

Ce code a t il un comportement défini?

Code :

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

1
2
3
4
double * d = new double[1000];
 
char * c = reinterpret_cast<char *>(d);
delete[] c;

Si oui est-ce le même que le suivant, sinon quel est il?

Code :

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

1
2
double * d = new double[1000];
delete[] d;

merci

[ram-0000]

Je viens de tester ton code, cela marche dans le sens où cela ne plante pas (VC++ 2005)

ceci dit, je l'ai tester avec une autre condition :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
 
class Classe
{
public:
Classe() {}
~Classe() {}
};
 
double * d = new double[1000];
Classe * c = reinterpret_cast<Classe *>(d);
delete[] c;

et là, cela ne marche plus (ce qui est normal). Lors du delete, c'est le destructeur de la classe Classe qui est appelé et l'objet à détruire n'est pas un objet de type "Classe", donc cela part en cacahuetes.

Je pense que ton code initial fonctionne car les types "char" et "double" sont des types de "base" (je ne connais pas le mot en C++ s'il y en a un). Ils n'ont pas de destructeur.

[loufoque]

Il n'est pas autorisé d'appeler delete ou delete[] sur un type de pointeur différent de celui utilisé pour le new/new[] correspondant, à moins que le type ait un destructeur virtuel, auquel cas il est possible d'appeler delete/delete[] avec un pointeur vers un type base du type utilisé pour le new/new[].

Après, concrètement, sur une implémentation normale, ça ne doit poser aucun problème avec les PODs.

[Médinoc]

C'est un comportement indéfini.

Par contre, sous l'implémentation Microsoft, pour des objets dépourvus de destructeur, ça ne change rien.

[ram-0000]

Après, concrètement, sur une implémentation normale, ça ne doit poser aucun problème avec les PODs.

C'est quoi PODs ?

[koala01]

Salut,

C'est quoi PODs ?

Plain Old Data...

Autrement dit, tout type défini par l'utilisateur qui ne fait que regrouper plusieurs valeurs composées de type primitifs.

Concrètement, il s'agit de toute structure "C style"

[Luc Hermitte]

Et ... si le couple new[]/delete[] est détourné pour un type et pas l'autre?