Pregunta
se produce perdida de precisión al llevarse a cabo la conversión?
Si, se produce una pérdida de precisión.
Estrechamiento (Narrowing).
Los tipos de datos en coma flotante son:
float
: Precisión simple. Habitualmente son un tipo de 32 bits de ancho que sigue el IEEE-754 de 32 bits.
double
- Precisión doble. Habitualmente son un tipo de 64 bits de ancho que sigue el IEEE-754 de 64 bits.
long double
- Precisión extendida. Habitualmente son un tipo de 80 bits en arquitecturas de 32 y 64 bits. No necesariamente sigue el IEEE-754.
Cada vez que pasas de un tipo de mayor precisión a uno de menos se produce un estrechamiento; cada vez que se produce un estrechamiento se pueden perder datos ¿cuándo sucede esto?
Conversión de tipos.
Según el estándar de C en la sección §6.3.1.5
Tipos en coma flotante reales (traducción y resaltado míos):
6.3.1.5 Tipos en coma flotante reales
- Cuando un
float
es promocionado a double
o long double
, o cuando un double
es promocionado a long double
, su valor no cambia.
- Cuando un
double
es degradado a float
, un long double
es degradado a double
o float
, o un valor representado en una mayor precisión y rango que la requerida por su tipo semántico (ver 6.3.1.8) es explícitamente convertido a ese tipo semántico, si el valor que se está convirtiendo se puede representar exáctamente en el nuevo tipo, no se cambiará. Si el valor que se está convirtiendo está en el rango de valores que pueden ser representados pero no puede ser representado con exactitud, el resultado será el número más próximo al valor tanto redondeando hacia arriba o hacia abajo, el redondeo es dependiente de implementación. Si el valor que se está convirtiendo está fuera del rango de valores que puede ser representado, el comportamiento es indefinido.
En tu caso, asignar el valor 3.14
a un float
corresponde a un estrechamiento, pero como el valor 3.14
es representable por float
con exactitud el valor no cambiará.
¿Qué está fallando?
Si el valor no ha cambiado ¿Por qué falla tu código?:
float n = 3.14;
if(n == 3.14f)
puts("Igual"); // no se imprime!
Porque he mentido, el valor 3.14
NO es representable por float
con exactitud. Existen números en coma flotante que no son exáctamente representables en binario, esto se debe a las propiedades de cada base1.
El valor 3,14 en binario no es exáctamente representable y con precisión doble su valor es aproximadamente 3,14000000000000012434497875802 pero al almacenarlo en un float
has perdido algo de precisión, ¿cuánta exáctamente? dependerá de tu sistema...
Así que estarás comparando un número parecido al truncamiento del valor double
3,14000000000000012434497875802 contra un número parecido a 3.14f
que en muchos casos no será el mismo número. Por ejemplo el literal 3,14 en float es aproximadamente 3,1400001049041748046875 entonces tu comparación sería, más o menos:
if(3.1400000000000001243449 == 3.1400001049041748046875) // El double ha sido truncado
Que evidentemente no cumple con la igualdad.
¡Es terrible! ¿qué puedo hacer?
Tal y como comenta eferion, debes evitar comparar números en coma flotante mediante la igualdad, debido a los errores de redondeo debes compararlos por la casi igualdad, una función así te podría ser de ayuda:
#include <stdbool.h>
#include <stdint.h>
bool casi_iguales(float izquierda, float derecha)
{
return fabs(izquierda – derecha) <= FLT_EPSILON;
}
bool casi_iguales(double izquierda, double derecha)
{
return fabs(izquierda – derecha) <= DBL_EPSILON;
}
Los valores FLT_EPSILON
y DBL_EPSILON
son la diferencia entre 1 y el siguiente valor representable por float
y double
respectivamente; en otras palabras, son aproximadamente el menor valor representable por cada uno de los tipos, así que si la diferencia entre izquierda
y derecha
es menor o igual a este valor es que ambos valores son casi iguales.
1Por ejemplo, 1/3 en base 10 es un número periódico puro de valor 0,3333333... mientras que en base 12 es exáctamente 0.4. En decimal el valor 1/10 es exáctamente 0,1 pero en binario es un número periódico mixto de valor 0,00011001100110011...