Нарушает ли это приведение указателей строгое правило наложения имен?
Это быстрая реализация с обратным квадратным корнем из 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;
}
Я заметил, чтодлинный инт i
принимает разыменованное значение по адресу (приведенный кlong *
) изпоплавок y
, Затем код выполняет операции надi
перед сохранением разыменованного значения по адресу (приведенный кfloat *
) изi
вy
.
Это нарушило бы строгое правило псевдонимов, так какi
не тот же тип, что иy
?
Я думаю, что, возможно, это не так, поскольку значение разыменовывается ископированный; поэтому операции выполняются с копией, а не с оригиналом.