int main(){ unsigned int a = 2139156962; float b = *(float*)&a; // nan(0xf1e2) double c = (double)b; // nan canonicalization? float d = (float)c; // nan(0x40f1e2), d != b unsigned int e = *(int*)&d; // e != a return 0; }

Los valores de NaN se pueden representar de muchas maneras diferentes . Como muestra el ejemplo anterior, convertir un valor NaN de nan(0xf1e2) en un tipo doble no conserva los patrones de bits de entrada, y convertirlo de nuevo en un flotante no devuelve el mismo valor que la entrada original.

Desde este enlace , puedo ver en x64, CVTSS2SD parece canonizar las entradas de Qnan?

el bit de signo se conserva, el exponente de 8 bits FFH se reemplaza por el exponente de 11 bits 7FFH, y el significado de 24 bits se amplía a un significado de 53 bits al agregar 29 bits iguales a 0.

Entonces, independientemente del patrón de bits Qnan de nuestra entrada, ¿la salida usará 0x7FF y no conservará todos los bits originales? ¿Es esto algún tipo de canonicalización de NaN?

Si es así, ¿entonces esta respuesta puede no ser completamente precisa?

los flotadores se pueden promocionar al doble y el valor no cambia.

Nuestra salida sigue siendo un NaN, pero los datos subyacentes ahora se modifican y c != b .