编译器会将除法优化为乘法吗

Question

根据这个问题，浮点除法与浮点乘法。由于某些原因，除法比乘法慢。

如果可能的话，编译器通常会用乘法代替除法吗？

例如：

float a;
// During runtime a=5.4f
float b = a/10.f;

会是：

float a;
// During runtime a=5.4f
float b = a*0.1f;

如果它被认为是编译器可靠的问题，我使用的是VS2013默认编译器。但是，如果我得到一个通用的答案就好了（这种优化的理论有效性）

Answer 1

不可以，对于一般情况，编译器不允许这样做：由于倒数的表示错误，这两个操作可能会产生不完全相同的结果。

在您的示例中，< code>0.1没有精确表示为< code>float的形式。这导致乘以< code>0.1和除以< code>10的结果不同:

float f = 21736517;
float a = f / 10.f;
float b = f * 0.1f;
cout << (a == b) << endl; // Prints zero

演示。

注意：正如njuffa在下面的评论中正确指出的，在某些情况下，编译器可以对一组广泛的数字进行一些优化，如本文所述。例如，乘以或除以2的幂相当于添加到IEEE-754浮点数表示的指数部分。