内联与非内联版本的同一函数为何返回不同值？

这个问题其实藏着浮点数精度特性和编译器优化逻辑的双重坑，咱们一点点捋清楚为什么会出现这种看似矛盾的输出：

1. 浮点数计算的“不精确”本质 #

理论上cbrt(27.0)应该精确等于3.0，但计算机里的浮点数（比如double）存储和计算都是近似的——哪怕是看起来能精确表示的数，也可能因为运算指令选择、寄存器精度等因素，产生极其微小的误差。

但你可能会问：为什么main里直接写的判断输出1？这是因为编译器做了常量折叠：它在编译期就直接算出了floor(cbrt(27.0))和cbrt(27.0)的结果，都是3.0，所以比较结果为true。

2. inline对编译器优化的影响 #

inline关键字不是强制命令，而是给编译器一个“建议”：把函数代码直接嵌入到调用处（展开），别生成独立的函数体。

• 对于is_cube_inline，g++默认优化下采纳了这个建议，把函数展开到main里，相当于直接执行和main里一样的表达式。这时候编译器要么做常量折叠，要么把两次cbrt(r)的调用合并成一次计算，自然得到相等的结果，输出1。
• 对于非inline的is_cube，编译器生成了独立的函数体，调用时需要跳转到函数执行。这时候两次cbrt(r)的计算没有被合并，甚至因为运行时浮点运算的微小差异，导致floor(cbrt(r))和cbrt(r)的结果差了一点点，最终比较为false，输出0。

3. 不同编译器和优化选项的差异 #

• clang++ 7.0.0默认输出0 0 0：说明clang默认没有对任何情况做常量折叠或cbrt调用合并，不管是main里的表达式还是函数内的代码，两次cbrt计算都产生了足以让==判断失败的微小误差。
• g++ -Ofast输出1 1 1：-Ofast开启了激进优化，编译器会直接对所有cbrt(27.0)做常量折叠——不管函数是否inline，所有比较都直接得到true。

4. 正确的浮点数比较姿势 #

直接用==比较浮点数是非常危险的，一点点误差就会导致判断错误。正确的做法是判断两个数的差的绝对值是否小于一个极小的阈值（比如1e-9），修改你的函数如下：

#include <cmath>
#include <iostream>

const double EPS = 1e-9; // 定义误差阈值

bool is_cube(double r) {
    double root = cbrt(r); // 只计算一次立方根，避免重复计算的误差
    return std::abs(floor(root) - root) < EPS;
}

bool inline is_cube_inline(double r) {
    double root = cbrt(r);
    return std::abs(floor(root) - root) < EPS;
}

int main() {
    double root = cbrt(27.0);
    std::cout << (std::abs(floor(root) - root) < EPS) << std::endl;
    std::cout << is_cube(27.0) << std::endl;
    std::cout << is_cube_inline(27.0) << std::endl;
}

这样不管编译器优化策略如何，都能正确判断一个数是否是完全立方数——我们给浮点数的微小误差留了容错空间。

内容的提问来源于stack exchange，提问作者zbrojny120