Código de muestra:
#include <stdio.h> #define __STDC_WANT_IEC_60559_TYPES_EXT__ #include <float.h> #ifdef FLT16_MAX _Float16 f16; int main(void) { printf("%f\n", f16); return 0; } #endifInvocación:
# gcc trunk on linux on x86_64 $ gcc t0.c -std=c11 -WallDiagnósticos esperados:
<nothing>Diagnósticos reales:
t0.c:9:14: warning: format '%f' expects argument of type 'double', but argument 2 has type '_Float16' [-Wformat=] 9 | printf("%f\n", f16); | ~^ ~~~ | | | | | _Float16 | double ¿Significa que bajo __STDC_WANT_IEC_60559_TYPES_EXT__ Y si FLT16_MAX definió, el gcc no sabe que printf se puede usar con _Float16 ? ¿Debe ser consciente?
También: printf("%f\n", f); cuando f es un float no genera ninguna advertencia a pesar de que el format '%f' expects argument of type 'double', but argument 2 has type 'float' . Confundido.
Del manual clang :
Dado que la promoción de argumentos predeterminada solo se aplica a los tipos de punto flotante estándar, los valores
_Float16no se promocionan aldoublecuando se pasan como argumentos variables o sin tipo. Como consecuencia, se debe tener cierta precaución al usar ciertas funciones de la biblioteca con_Float16; por ejemplo, no existe un especificador de formatoprintfpara_Float16y (a diferencia defloat) no se promoverá implícitamente adoublecuando se pase aprintf, por lo que el programador debe convertirlo explícitamente en double antes de usarlo con un%fo un especificador similar.