c – 如何实现没有未定义行为的快速逆sqrt？

参见英文答案 > What’s a proper way of type-punning a float to an int and vice-versa?                                    7个
根据我对strict aliasing rule的理解,fast inverse square root的此代码将导致C中的未定义行为：

float Q_rsqrt( float number )
{
    long i;
    float x2, y;
    const float threehalfs = 1.5F;

    x2 = number * 0.5F;
    y  = number;
    i  = * ( long * ) &y; // type punning
    i  = 0x5f3759df - ( i >> 1 );
    y  = * ( float * ) &i;
    y  = y * ( threehalfs - ( x2 * y * y ) );

    return y;
}

这段代码确实会导致UB吗？如果是,如何以符合标准的方式重新实现？如果没有,为什么不呢？

假设：在调用此函数之前,我们已经以某种方式检查浮点数是IEEE 754 32位格式,sizeof(long)== sizeof(float),平台是little-endian.

解决方法:

你应该使用memcpy. AFAIK这是唯一符合标准的方式,编译器足够聪明,可以用单个单词移动指令替换调用.有关这些说法背后的推理,请参阅this question.

标签：strict-aliasing,c,undefined-behavior
来源： https://codeday.me/bug/20191006/1859490.html