c - 为什么 isnormal() 说一个值是正常的而不是正常的？

#include <stdlib.h>
#include <stdio.h>
#include <float.h>
#include <math.h>

void PrintBytes( const float value )
{
    const char* const byte = ( const char* )&value ;
    for( size_t i = 0 ; i < sizeof( value ) ; i++ )
    {
        printf( "%02hhx" , byte[i] );
    }
}

int main(void)
{
    float value = FLT_MIN;

    while( 1 )
    {
        printf( "%e %d " , value , isnormal( value ) );
        PrintBytes( value );
        puts( "" );

        if( !isnormal( value ) )
        {
            break;
        }

        value /= 2.0F;
    }
    return 0;
}

输出是:

1.175494e-038 1 00008000
5.877472e-039 1 00004000
2.938736e-039 1 00002000
1.469368e-039 1 00001000
7.346840e-040 1 00000800
3.673420e-040 1 00000400
1.836710e-040 1 00000200
9.183550e-041 1 00000100
4.591775e-041 1 00800000
2.295887e-041 1 00400000
1.147944e-041 1 00200000
5.739719e-042 1 00100000
2.869859e-042 1 00080000
1.434930e-042 1 00040000
7.174648e-043 1 00020000
3.587324e-043 1 00010000
1.793662e-043 1 80000000
8.968310e-044 1 40000000
4.484155e-044 1 20000000
2.242078e-044 1 10000000
1.121039e-044 1 08000000
5.605194e-045 1 04000000
2.802597e-045 1 02000000
1.401298e-045 1 01000000
0.000000e+000 0 00000000

很明显，第二个值 5.877472e-039 是次正规的，因为它的指数变为 0， 00004000 。

Ideone 产生正确的结果:

1.175494e-38 1 00008000
5.877472e-39 0 00004000

我正在 Windows 上使用 gcc (MinGW-w64) 编译我的代码。

最佳答案

这在其他平台上按预期工作(例如，在 ideone 上)，因此这可能是您使用的 gcc/标准库版本的问题。

最可能的原因是 isnormal 的参数被转换为 double 值。

关于c - 为什么 isnormal() 说一个值是正常的而不是正常的？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/31714128/