Comment vérifier inf (et | ou) NaN dans une variable de type double

Considérons le code suivant:

#include <iostream>
#include <cstdio>
#include <cstring>

using namespace std;

template<class T>
bool IsNaN(T t)
{
    return t != t;
}

int main(int argc, char**argv)
{
    double d1, d2;
    sscanf(argv[1], "%f", &d1);
    sscanf(argv[2], "%f", &d2);

    double dRes = d1/d2;

    cout << "dRes = " << dRes << "\n";

    if(IsNaN(dRes))
        cout << "Is NaN\n";
    else
        cout << "Not NaN\n";

}

Quelques questions:

  1. Lorsque je passe de 0 et 0 comme arguments, il les sorties dRes = inf. Mais je m'attendais à dRes = NaN ou quelque chose comme ça.
  2. Est NaN représentable en double variables? De même que pour toute variable?
  3. Quand j'ai changé le type de données d1,d2,dRes d'int et de la passée de 0 et de 0, j'ai eu un Floating exception. Quelle est la différence?
  4. Comment vérifier si la valeur d'une variable est égale à inf?
InformationsquelleAutor nakiya | 2010-11-04
  1. 29

    1. Lors de l'utilisation de scanf() double doit être lu à l'aide de %lf, pas %f. %f va convertir l'entrée en 32 bits float, de sorte que les 32 premiers bits de vos variables sera remplie avec des données non valides, et les 32 derniers bits sera à gauche comme des ordures.

    2. Oui. #include <limits>, puis std::numeric_limits<double>::quiet_NaN(). Certains compilateurs (par exemple gcc) fournit également le NAN macro <cmath>.

    3. Il n'est pas NaN ou de l'infini pour les types d'entiers. Division par zéro pour entier sera la cause de une exception (SIGFPE).

    4. #include <cmath>, puis std::isinf(x). Utilisation std::isfinite(x) pour assurer x n'est pas NaN ou l'Infini.

    • Division entière et floating point de la division se comportent différemment parce que la division entière est faite de matériel de point flottant et de la division n'est pas? Ou est-ce autre chose?
    • Non, floating point de la division est également fait dans le matériel. La différence, c'est l'Infini n'est pas représentable avec int.
    • Sur cette base, est-il de toute façon à récupérer à partir d'une division par 0 pour les entiers? (Autres que la vérification de la valeur à l'avant - que je ne peux pas le faire car je n'ai pas de contrôle sur le code).
    • Vous devez attraper le signal SIGFPE qui est assez complexe à mettre en œuvre.
    • :(. C'est comme ça. Nous avons un langage de script qui prend en charge des opérations arithmétiques de base. Le seul problème est, il n'a pas vérifier si les diviseurs de 0. Ne peut pas toucher le code de la bibliothèque de l'atm. Le système d'entrée est aussi artificiel, on ne peut donc pas vérifier facilement si l'on passe des valeurs à 0 comme diviseurs. Pour les valeurs à virgule flottante, c'est ok comme vous l'avez dit. Mais, avoir des problèmes avec des nombres entiers.
    • Si je fais attraper SIGFPE, puis-je reprendre le traitement? Si oui, quel est l'état du résultat?
    • Vous pouvez la lire stackoverflow.com/questions/618215/... sur la façon de prendre la SIGFPE, ou stackoverflow.com/questions/3013757/... sur la façon de convertir un SIGFPE dans une des exceptions C++.
    • isinf est le C++11.
    • est en C99. Il a été dans gcc âges avant C++11 est normalisé.
    • Cette question est sur le C++. cependant.
    • Par la voie, SIGFPE est jeté sur x86 lorsque vous essayez de division entière par zéro, mais ce n'est pas définie comportement. D'autres architectures des processeurs ne sont pas nécessairement répondre de la même manière. Les Processeurs ARM, par exemple, comme on en trouve sur presque tous les téléphones et tablettes dans le monde-les simplement produire N/0 == zéro, sans aucune erreur signalée.
    • "%f" poignées de double précision: cplusplus.com/reference/cstdio/printf
    • Oui, mais c'est pour printf. La question porte sur les scanf.

    InformationsquelleAutor kennytm
  2. 0

    La fonction fpclassify vous permettra d'inspecter une valeur à virgule flottante pour tous les cas particuliers.

    On en trouve dans <math.h> comme une macro depuis C99, et dans <cmath> comme une famille de fonctions, pour float, double, et long double en vertu de la surcharge nom std::fpclassify depuis C++11.

    cppreference a un bel exemple

    InformationsquelleAutor Ben Voigt
  3. -1

    Juste le faire comme ça:

    if (dRes  == +1.0/0.0 || dRes  == -1.0/0.0) ... //+INF, -INF
if (dRes  == +0.0/0.0 ) ... //+NaN; i.e. pow(2.0 ,16384.0)
    • Si dRes est un NaN, alors même dRes == dRes est faux. Ce fait crée une nouvelle façon de vérifier NaN, mais cela signifie aussi que votre chèque est totalement rompu.
    InformationsquelleAutor user9137229