Discussion :

[troumad]

Bonjour

Voici comment je généré un float Not A Number :

Code :

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

1
2
3
4
 unsigned long l_nan=0xffffffff; /* représentation binaire d'un NaN */
    float fnan,sortie;
 
    fnan =*((float*)&l_nan); /* astuce pour créer un float NaN */

Depuis le début, le compilateur, me génère un warning à ce niveau. Voici le message qu'il me donne :

Code :

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

/home/troumad/Documents/perso/lire_odc.c|176|attention : déréférencement du pointeur type-punned brisera les strictes d'alias [-Wstrict-aliasing]|

Je me dis qu'il devrait bien exister une méthode pour compiler ceci sans warning : je n'en veux pas dans mon programme !

[Matt_Houston]

Il faut utiliser les facilités prévues par le langage pour construire des NaN ou les discerner.

Ton morceau de code est source de comportement indéterminé pour au moins deux raisons :

• les représentations NaN sont multiples et dépendantes de l'architecture ;
• tu ne dois jamais transtyper directement un type flottant vers un type entier ou vice-versa, mais copier explicitement les données au niveau de l'octet (tu peux jeter un œil à l'exemple de cppreference).

Code :

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

/home/troumad/Documents/perso/lire_odc.c|176|attention : déréférencement du pointeur type-punned brisera les strictes d'alias [-Wstrict-aliasing]|

Cette traduction..

[troumad]

Merci.

On dirait que ça marche. Mais, c'est quoi ces différents nan ?

nb : au niveau de la traduction, je suis au même niveau d'anglais

[dalfab]

Il y a deux NaN

Le quiet NaN ou qNaN. Les qNaN peuvent être utilisé dans des calculs de flottant avec un résultat qui vaut souvent qNaN (p.e. NaN + 1 ==> qNaN, if ( NaN==NaN) => faux! car un NaN est différent de tout y compris de lui-même!). qNaN permet d'enchainer les calcul et de vérifier ensuite s'il y a eu erreur.

Le signaling NaN ou sNaN. C'est aussi un NaN mais si on tente de s'en servir dans des calculs, il y aura aussi un résultat quiet NaN mais en plus une erreur sera signalée (de plusieurs manière possibles). Le sNaN est là pour arrêter au plus vite les calculs, s'il y a erreur.

En réalité on voit peu la différence. Elle n'est flagrante que si les exceptions sont activées pour les flottants, ce qui est rarement le cas.