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.