Dotaz: cast int na double

[Pavel]

Dneska jsem v logu jednoho programu viděl změnu:

  int giveMeAnInt();
  double giveMeADouble();
  
  double a = giveMeADouble();
- double b = giveMeAnInt();
- double c = a / b;
+ int b = giveMeAnInt();
+ double c = a / static_cast<double>(b);

Může mi někdo vysvětlit přínos takové změny? Za sebe musím říct, že se mi změna nezdá a na jakýchsi (neznámých) platformách, kde double nemůže reprezentovat všechny hodnoty intu, nový kód pravděpodobněji skryje problém / potlačí varování kompilátoru o možné ztrátě přesnosti.

Odpovědi

[Sten]

Pokud se b nikde dál nepoužívá, tak je oboje totožné. Pokud by double nedokázal reprezentovat přesnou hodnotu intu, tak se použije nejbližší hodnota, a to i v prvním případě velmi pravděpodobně bez varování, protože to není constexpr a u runtime ztráty přesnosti kompilátor nevaruje (nemá jak).

[Pavel]

Pokud si vzpomínám, tak při konverzi uint64_t na double mi kompilátor kdysi hlásil "Possible loss of precision".

[Pavel]

Už jsem to našel

#include <iostream>

int main()
{
    long a;
    long b;
    
    std::cin >> a >> b;
    
    double ad = a;
    double bd = static_cast<double>(b);
    std::cout << ad << bd;
}

Zkompiluju g++ -Wconversion -o a a.cpp. Dostanu

a.cpp: In function ‘int main()’:
a.cpp:10:17: warning: conversion to ‘double’ from ‘long int’ may alter its value [-Wconversion]
     double ad = a;
                 ^

Static cast mi tedy potlačí varování na platformě, kde nelze provést konverzi pro všechny hodnoty zdrojového typu.

[Sten]

Hmm, zajímavé. Je pravda, že ISO C++ definuje, jak se to má převést, ale už nedefinuje, jestli je to úmyslné chování (a tedy není nutné varovat, jako třeba převod int na bool) nebo jen definovaný vedlejší efekt (a tedy je vhodné varovat, jako u převodu int na char).

[Vladimír Čunát]

int je standardně 32-bit i na 64-bit (unix-like) platformách a myslím že 32-bit jde vždy v doublu reprezentovat bezztrátově (mantissa má ~50 bitů).

[Sten]

Na to není dobré spoléhat. Třeba knihovny Intel MKL používají ILP64, takže pokud kompilujete vůči nim (rozšíření FORTRANu), budete mít 64bitové inty. Na druhou stranu ISO C++ povoluje, aby double byl stejně přesný jako float, takže u soft float architektur (třeba ARMv5) může mít váš program klidně doubly s 24bitovou mantisou.