Essa regra de aliasing estrita de quebra de ponteiro?

Esta é a implementação rápida da raiz quadrada inversa da Arena Quake III:

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

        x2 = number * 0.5F;
        y  = number;
        i  = * ( long * ) &y;                       // evil floating point bit level hacking
        i  = 0x5f3759df - ( i >> 1 );               // what?
        y  = * ( float * ) &i;
        y  = y * ( threehalfs - ( x2 * y * y ) );   // 1st iteration
//      y  = y * ( threehalfs - ( x2 * y * y ) );   // 2nd iteration, this can be removed

        return y;
}

eu percebi issolong int i toma o valor não referenciado no endereço (convertido emlong *) doflutuador y. O código então executa operações emi antes de armazenar o valor desreferenciado no endereço (convertido emfloat *) doi para dentroy.

Isso quebraria a regra de aliasing estrita desdei não é o mesmo tipo quey?

Eu acho que talvez não, desde que o valor é desreferenciado ecopiado; então as operações são realizadas em uma cópia em vez do original.

questionAnswers(4)

yourAnswerToTheQuestion