Quando un duplicato con un valore intero viene lanciato su un numero intero, è garantito farlo "correttamente"?

Question

Quando un doppio ha un valore intero 'esatto', in questo modo:

double x = 1.0; 
double y = 123123; 
double z = -4.000000; 

E 'garantito che sarà arrotondare correttamente a 1, 123123, e -4 quando il cast in un tipo integer via (int) x , (int) y, (int) z? (E non troncare a 0, 123122 o -5 b/c di stranezze in virgola mobile). Chiedo b/c in base a this page (che riguarda fp in lua, una lingua che ha solo il doppio del suo tipo numerico per impostazione predefinita), parla di come le operazioni in interi con doppi sono esatte secondo IEEE 754, ma non sono sicuro se, quando si chiamano le funzioni C con i parametri di tipo intero, devo preoccuparmi di arrotondare i doppi manualmente, oppure si cura quando i doppi hanno valori interi esatti.

Answer 1

Sì, se il valore intero si adatta a un int.

A double A potrebbe rappresentare valori interi che non rientrano nell'intervallo per il tipo int. Ad esempio, 123123.0 non può essere convertito in un int se il tipo int ha solo 16 bit.

Non è inoltre garantito che un double possa rappresentare ogni valore che un particolare tipo può rappresentare. IEEE 754 utilizza qualcosa come 52 o 53 bit per la mantissa. Se il tuo long ha 64 bit, la conversione di un numero molto grande da long a double e viceversa potrebbe non fornire lo stesso valore.

Answer 2

Sì, conterrà il valore esatto che gli viene dato perché lo inserisci in codice. A volte nei calcoli sarebbe resa ,99999999999 per esempio, ma che è a causa dell'errore nel calcolo con doppi non la sua capacità di stoccaggio

Answer 3

Sarà farlo correttamente, se veramente vale intero, che potrebbe essere certi di un alcuni contesti. Ma se il valore è il risultato di precedenti calcoli in virgola mobile, non lo si poteva facilmente sapere.

Perché non calcolare esplicitamente il valore con la funzione floor(), come in long value = floor(x + 0.5). Oppure, ancora meglio, utilizzare la funzione modf() per ispezionare per un valore intero.

Answer 4

Come dichiarato da Daniel Fischer, se il valore della parte intera del doppio (nel tuo caso esattamente il doppio) è rappresentabile nel tipo a cui stai convertendo, il risultato è esatto. Se il valore non rientra nell'intervallo del tipo di destinazione, il comportamento non è definito. "Non definito" indica che lo standard consente qualsiasi comportamento: potresti ottenere il numero rappresentabile più vicino, potresti ottenere zero, potresti ricevere un'eccezione o il computer potrebbe esplodere. (Nota: mentre lo standard C consente al computer di esplodere, o addirittura di distruggere l'universo, è probabile che le specifiche del produttore impongano un limite più rigido al comportamento.)