N'casting pour un int, après std::plancher de garantir le bon résultat?

Je voudrais un floor fonction avec la syntaxe

int floor(double x);

mais std::floor renvoie une double. Est

static_cast <int> (std::floor(x));

garanti pour me donner le bon nombre entier, ou pourrais-je avoir un tout-en-un problème? Il semble fonctionner, mais je voudrais savoir pour sûr.

Pour les points de bonus, pourquoi diable ne std::floor retour d'un double en premier lieu?

InformationsquelleAutor Jesse Beder | 2009-03-03
  1. 28

    La gamme de double est plus élevé que la gamme de 32 ou 64 bits entiers, c'est pourquoi std::floor renvoie une double. Casting pour int devrait être bon tant que c'est dans la plage appropriée - mais être conscient qu'une double ne peut pas représenter tous les entiers 64 bits exactement, de sorte que vous pouvez également retrouver avec des erreurs lorsque vous allez au-delà du point où la précision de double est telle que la différence entre deux années consécutives en double est plus grand que 1.

    • Donc, si c'est dans la bonne plage, le casting est bien? Où faut-il dire (quelque chose qui implique) présent dans la spec?
    • Eh bien, il y a deux opérations: std::sol, et la fonte. std::de-chaussée est destiné à retourner un entier, et le casting est spécifié en termes d'une valeur entière. Tant que std::sol renvoie une valeur qui est véritablement un entier exact, je ne vois pas comment il aurait du sens pour elle à l'échec.
    • Comment étage retour de quelque chose qui n'est pas un entier exact? Pour les petites doubles (epsilon << 1), toutes les valeurs entières peuvent être représentés, y compris le plancher(x). Pour les gros doubles (epsilon >> 1), seulement partie intégrante des valeurs peuvent être représentées, de sorte étage(x)==x.
    InformationsquelleAutor Jon Skeet
  2. 16
    static_cast <int> (std::floor(x));

    fait à peu près ce que vous voulez, oui. Il vous donne l'entier le plus proche, arrondi vers -l'infini. Au moins aussi longtemps que votre entrée est dans la plage représentable par ints.
    Je ne suis pas sûr de ce que tu veux dire par " ajouter .5 et autres joyeusetés, mais il n'aura pas le même effet

    Et std::sol renvoie un double, parce que c'est le plus général. Parfois, vous voulez arrondir un float ou double, mais de préserver le type. C'est, tour 1.3 f, 1.0 f, plutôt que de 1.

    Que ce serait difficile à faire si std::sol retourné un int. (ou au moins vous auriez supplémentaires inutiles fonte d'y ralentir les choses).

    Si de-chaussée effectue l'arrondissement lui-même, sans changer le type, vous ne pouvez lancer qu'à l'int si/quand vous en avez besoin.

    Une autre raison est que la gamme de doubles est de loin plus importante que celle de l'ints. Il peut ne pas être possible d'arrondir tous les doubles à ints.

    InformationsquelleAutor jalf
  3. 7

    La norme C++ dit (4.9.1):

    "Une rvalue d'un type à virgule flottante peuvent être convertis à une rvalue d'un type entier. La conversion tronque; c'est, la partie fractionnaire est rejetée. Le comportement est indéfini si le tronc de la valeur ne peut pas être représenté dans le type de destination".

    Donc, si vous voulez convertir un double en int, le nombre est dans la gamme de int et de l'arrondi vers zéro, alors il suffit tout simplement de lancer le nombre de type int:

    (int)x;

    • La troncature de la partie fractionnaire n'est pas de plancher - le résultat est différent pour les nombres négatifs.
    • J'ai clairement écrit "si ... le nécessaire arrondi vers zéro" pour distinguer ce cas de "arrondi vers -l'infini". L'étage est arrondi vers -l'infini, la troncature - vers zéro.
    InformationsquelleAutor Michal Czardybon
  4. 5

    Si vous voulez traiter avec numériques diverses conditions et souhaitez gérer différents types de conversions, de manière contrôlée, alors peut-être que vous devriez regarder la Coup de pouce.NumericConversion. Cette librairie permet de manipuler étrange cas (comme en dehors de la plage, l'arrondissement, plages, etc.)

    Voici l'exemple de la documentation:

    #include <cassert>
#include <boost/numeric/conversion/converter.hpp>

int main() {

    typedef boost::numeric::converter<int,double> Double2Int ;

    int x = Double2Int::convert(2.0);
    assert ( x == 2 );

    int y = Double2Int()(3.14); //As a function object.
    assert ( y == 3 ) ; //The default rounding is trunc.

    try
    {
        double m = boost::numeric::bounds<double>::highest();
        int z = Double2Int::convert(m); //By default throws positive_overflow()
    }
    catch ( boost::numeric::positive_overflow const& )
    {
    }

    return 0;
}
    InformationsquelleAutor Anonymous
  5. 2

    La plupart de la bibliothèque mathématique standard utilise des doubles mais fournit flotteur de versions que de bien. std::floorf() est la précision de la version de std::floor() si vous préférez ne pas utiliser de doubles.

    Edit: j'ai enlevé une partie de ma réponse précédente. J'avais dit que le sol était redondant lors de la conversion en int, mais j'ai oublié que ce n'est vrai que pour le positif des nombres à virgule flottante.

    InformationsquelleAutor Dan Olson