Discussion :

[awawawa]

Bonjour tout le monde,

j'ai besoin d'effectuer un cast sur des pointeurs,

J'ai réalisé un programme de test, celui ci ne me donne pas le résultat escompté. Voici le code

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
#include "stdafx.h"
#include<iostream>
 
using namespace std;
 
int main()
 
	float *b = new float;
	double *c = new double;
 
	*b = 100;
	*c = 10;
 
	b = reinterpret_cast<float*>(c); // je m'attends donc ici à ce que la valeur de *b soit 10;
 
	cout << *b << endl;
	cout << *c << endl;
 
    return 0;
}

Ici je m'attends à ce que *b et *c valent 10, or *b vaut 0.

Savez-vous d'où vient mon erreur?

[Remilia]

Bonjour ,
dans ton reinterpret_cast<> , vous castez le pointer sur double en pointeur sur float , possible que ca profoque une erreur . apres ,essayez

Code :

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

 *b = reinterpret_cast<float>(*c)

car il est possible, je ne suis pas expert de ca , que le cast des pointeur , change le type du pointeur , mais pas la valeur pointée , et donc , lors de cout , le float du début ne peut plus s'afficher , car lors du transtypage vers un pointeur vers double , ca a reset l'addresse en mémoire , et donc la valeur de la valeur pointée est 0

[awawawa]

Merci pour ta réponse Remilia!

Alors j'ai tenté ta proposition elle ne fonctionne pas, cependant, en combinant ce que tu as écris et ce que j'ai compris des casts, j'ai réussi à trouver une commande qui me donne un résultat satisfaisant:

Code :

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

1
2
 
*b = static_cast<float>(*c);

Je ne comprends cependant pas pourquoi ma première proposition ne fonctionnait pas : est ce que ca vient du fait que le compilateur réinterprète la suite de bit avec la commande reinterpret_cast ?

Je ne comprends pas non plus nouveau point (dites moi si vous pensez que je dois ouvrir un nouveau thread) :

Mon idée originelle était de créer deux variables de types differents : b et c. Je voudrais que ces variables aient toujours la même valeurs. SI a et b avaient été de même type, j'aurais fait par exemple

Code :

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

1
2
3
4
5
 
int *b, *c;
b=new int,
c=new int;
c= b;

et tout le reste de mon programme, *b et *c auraient eu la mème valeur (si j'avais changé *b ou *c).

Le problème est qu'ici je n'arrive pas à réaliser ça avec des variables de type différents et des static_cast...

Avez vous une idée?

[Ehonn]

Bonjour

Tu peux utiliser une référence pour ça :

Code :

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

1
2
int b = 0;
int & c = b;

[awawawa]

Merci Ehonn,

Cela fonctionne (avec la méthode des pointeurs), si b et c sont de même type... Si ils sont de type differents comment dois-je faire?

[Ehonn]

Tu peux essayer quelque chose de ce goût là :

Code :

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

1
2
float a = 0.f;
double & b = *reinterpret_cast<double*>(&a);

Sinon, c'est peut être plus propre avec une union (?)

[Remilia]

Et , effectivement , les différents "types" de casts sont les suivants :

• static_cast<> : pour les conversions "standards", est la plupart du temps completement safe MAIS ne peut pas tout convertir
• reinterpret_cast<> : reinterprete les octets de données , marche avec TOUT , mais est completement bourrin , ce qui , en cas d'erreur de logique , peut créer des résultats....surprenants voir corrompre des données (je convertis une std::string en int , ca.....va pas le faire)
• const_cast<> : je ne vais pas l'expliquer , car son utilisation quasi démontre une erreur de conception

[jblecanard]

Hello

J'ai du mal à saisir quel genre de use case peut justifier de reinterpret_cast un double en float. C'est une très mauvaise pratique, qui à mon avis a un comportement indéfini par la norme. float n'est pas une abstraction de double, c'est un type complètement différent. Pour convertir de l'un à l'autre, il faut utiliser static_cast sur les valeurs et non pas les pointeurs.

awawawa, à mon avis tu ne devrais pas utiliser de pointeurs du tout.

[Médinoc]

Tu ne peux pas espérer un résultat significatif en faisant un pointer-cast entre float et double, car (en IEEE) les deux ont des formats différents: En particulier, ils n'ont pas le même nombre de bits dans l'exposant, donc tronquer/"étendre par zero" la mantisse ne suffit pas!

Franchement, le pointer-cast sur des float ou double, ça ne sert vraiment qu'à une chose: Afficher la représentation du nombre en binaire ou en hexadécimal (auquel cas on caste en int32_t et int64_t respectivement) ou à faire des calculs bizarres avec.

[awawawa]

Salut tout le monde,

Tout d’abord je tiens vraiment à vous remercier pour votre réactivité et pour vos réponses.

Supposons que je possède une classe dont l'une des donnée membre est redondante l'une des données qui existe dans une classe mère. Pas par défaut de conception mais plutôt par défaut de normalisation entres différentes APIs :

Exemple je défini une classe voiture

Code :

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

1
2
3
4
class voiture
{
int *nbPneus;
}

Que Renault maintenant me fournisse une API avec la fonction et la structure suivante:

Code :

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

1
2
3
4
5
6
structure Carracteristiques
{
float *NbRoues; 
float *nbVolant;
}
 Carracteristiques getCarracteritiques (void);

Pour ne pas avoir a tout reprogrammer pour chaque constructeur, je peux imaginer créer une classe renault

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
class renault:: publi voiture
{
structure Carracteristiques
{
float *NbRoues; 
float *nbVolant;
}
 
 Carracteristiques getCarracteritiques (void);
 
private :
 
 Carracteristiques mCarracteritiques
}

J'aimerais qu'à l’intérieur de la classe Renault, la condition mCarracteristiques.NbRoues ==Nbroues soit toujours verifiée.

D'où ma demande

[Médinoc]

Pas faisable avec un pointeur.

PS: Caractéristique ne prend qu'un seul R.

[jblecanard]

Quelque chose me frappe : pourquoi diable utilises-tu des pointeurs partout ? Du reste compter un nombre de roues et de pneus avec un nombre flottant est quelque peu étrange. Peux-tu avoir 1,5 roues ? Un entier ferait mieux l'affaire .

Pour en revenir à la généralité de ton problème, ce que tu cherches à faire, c'est maintenir un invariant. De mon point de vue, il n'y a aucune raison d'encapsuler Caracteristiques dans Voiture, et aucune raison de dupliquer les données. Si tu ne dupliques pas, ton problème d'invariant ne se posera pas.

Si tu dois mélanger des classes qui ont des incohérences d'API entre elles, alors tu peux cacher cela et fournir des fonctions membres d'accès qui ne modifieront les données qu'en assurant l'invariant.

[awawawa]

Merci jblecanard et merci...Médinoc


J'ai pris le nombre de pneus, j'aurais pu prendre le niveau d'huile : supposons que Toyota me le donne en float et Renault en double

Je préfère garder la structure de chez Renault dans la classe Renault car elle contient des données propres à ce constructeur, non accessibles à l'utilisateur lambda (qui a accès seulement aux données de la classe voiture), mais qui pourront être utiles en cas de diagnostic, par exemple.

Si tu dois mélanger des classes qui ont des incohérences d'API entre elles, alors tu peux cacher cela et fournir des fonctions membres d'accès qui ne modifieront les données qu'en assurant l'invariant.

Je pense que je vais faire ça au final : c'était ma première idée, mais je me suis dit que pointer le même emplacement mémoire me permettrait de ne pas me soucier des mises à jours des valeurs de ces variables

[Bousk]

Comme dit plus haut, float et double n'ont strictement rien à voir binairement parlant, donc espérer avoir la même valeur pointée en castant de la sorte c'est totalement impossible.
Globalement, caster des trucs qui n'ont pas la même taille à coup de reinterpret faut être certain de ce que l'on fait.
Soit c'est n'importe quoi, soit tu cherches à utiliser le static_cast sans le savoir ?

[awawawa]

Re re re merci tout le monde

Effectivement...

Ce que j'aurais aimé, pour être plus concis, c'est

Code :

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

1
2
3
 
float *a;
double *b;

Et maintenir la condition *a==*b pendant toute l'exécution du programme sans avoir à se soucier des mises à jour de *a lorsque *b est changé et vice versa. Du coup je me suis dit : que a et b pointent sur le meme emplacement mémoire[...] (certes il aurait pu avoir un problème de débordement dans un cas mais passons)

D'après vos retours ce n'est pas possible...

[Ehonn]

À mon avis la bonne solution reste l'utilisation des références (c'est fait pour ça).

Code :

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

1
2
float a = 0;
float & b = a;

L'équivalent avec des pointeurs serait :

Code :

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

1
2
3
float v = 0;
float * const a = &v;
float * const b = &v;

Après pour l'interprétation double en tant que float, soit tu sais vraiment ce que tu fais et tu joues avec reinterpret_cast, soit tu prends en compte les messages précédents à ce sujet.

D'après vos retours ce n'est pas possible...

En fait, en encapsulant ça dans une classe, ça va être possible d'avoir « *a == *b » (suffit de surcharger l'opérateur unaire *) (dans un contexte mono-thread).
On peut te le montrer (pour la pédagogie) mais, promis, ce n'est pas " ce que tu veux ".

[jblecanard]

Ehonn, tes conseils ne vont pas s'appliquer car awawawa cherche à appliquer cet invariant sur un double un un float, pas sur deux float ou deux double.

(certes il aurait pu avoir un problème de débordement dans un cas mais passons)

D'après vos retours ce n'est pas possible...

awawawa, les nombres à virgule flottante ne sont pas encodés comme des entiers, ce n'est pas un problème de débordement que tu vas avoir, mais pire ! Il faut comprendre ce que tu fais. reinterpret_cast est violent et son usage correct nécessite que tu connaisses précisément comment les données sont représentées en mémoire. Ce n'est pas un reproche, mais tout porte à croire que ce n'est pas le cas. reinterpret_cast est inadapté à ton besoin. Tu devrais plutôt utiliser des références et des static_cast.

[awawawa]

Merci tout le monde,

Je laisse ce thread ouvert. Je prendrai un peu de temps ce weekend pour tester 2 - 3 choses et je reviens vers vous avec mes conclusions

[LittleWhite]

Bonjour,

Pourquoi ne pas utiliser un variant (style QVariant, ou Boost::variant) ?

[Bousk]

Honnêtement, une classe unique, avec un setter/getter pour float, un autre pour double, qui stocke tout en double en interne et cast quand nécessaire, ça me parait le plus judicieux.