Verstößt dieses Zeiger-Casting gegen die strikte Aliasing-Regel?

Dies ist die schnelle Implementierung der Quadratwurzel aus der Quake III Arena:

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;
}

Ich bemerkte, dasslong int i Nimmt den dereferenzierten Wert an der Adresse (umgewandelt in along *) vonschweben y. Der Code führt dann Operationen ausi vor dem Speichern des dereferenzierten Werts an der Adresse (umgewandelt in afloat *) voni iny.

Würde dies gegen die strenge Aliasing-Regel verstoßen?i ist nicht der gleiche Typ wiey?

Ich denke, dass es das vielleicht nicht tut, da der Wert dereferenziert ist undkopiert; Daher werden die Vorgänge auf einer Kopie und nicht auf dem Original ausgeführt.

Antworten auf die Frage(4)

Ihre Antwort auf die Frage