lldb 和 C 代码为 pow() 给出不同的结果

Question

我有一个变量Npart，它是一个int，并初始化为64。下面是我的代码（test.c）：

#include <math.h>
#include <stdio.h>

int Npart, N;

int main(){

Npart = 64;

N = (int) (pow(Npart/1., (1.0/3.0)));
printf("%d %d\n",Npart, N);

return 0;
};

打印出64 3，可能是由于数值精度问题。我编译如下：

gcc -g3 test.c -o test.x

如果我尝试使用lldb 进行调试，我尝试计算该值并在命令提示符中打印它，会发生以下情况：

$ lldb ./test.x
(lldb) target create "./test.x"
Current executable set to './test.x' (x86_64).
(lldb) breakpoint set --file test.c --line 1
Breakpoint 1: where = test.x`main + 44 at test.c:8, address = 0x0000000100000f0c
(lldb) r
Process 20532 launched: './test.x' (x86_64)
Process 20532 stopped
* thread #1: tid = 0x5279e0, 0x0000000100000f0c test.x`main + 44 at test.c:8, queue = 'com.apple.main-thread', stop reason = breakpoint 1.1
frame #0: 0x0000000100000f0c test.x`main + 44 at test.c:8
   5    
   6    int main(){
   7    
-> 8    Npart = 64;
   9    
   10   N = (int) (pow(Npart/1., (1.0/3.0)));
   11   printf("%d %d\n",Npart, N);
(lldb) n
Process 20532 stopped
* thread #1: tid = 0x5279e0, 0x0000000100000f12 test.x`main + 50 at test.c:10, queue = 'com.apple.main-thread', stop reason = step over
frame #0: 0x0000000100000f12 test.x`main + 50 at test.c:10
   7    
   8    Npart = 64;
   9    
-> 10   N = (int) (pow(Npart/1., (1.0/3.0)));
   11   printf("%d %d\n",Npart, N);
   12   
   13   return 0;
(lldb) n
Process 20532 stopped
* thread #1: tid = 0x5279e0, 0x0000000100000f4a test.x`main + 106 at test.c:11, queue = 'com.apple.main-thread', stop reason = step over
    frame #0: 0x0000000100000f4a test.x`main + 106 at test.c:11
   8    Npart = 64;
   9    
   10   N = (int) (pow(Npart/1., (1.0/3.0)));
-> 11   printf("%d %d\n",Npart, N);
   12   
   13   return 0;
   14   };
(lldb) print Npart
(int) $0 = 64
(lldb) print (int)(pow(Npart/1.,(1.0/3.0)))
warning: could not load any Objective-C class information. This will significantly reduce the quality of type information available.
(int) $1 = 0
(lldb) print (int)(pow(64,1.0/3.0))
(int) $2 = 0

为什么lldb 给出不同的结果？

编辑：澄清了问题并提供了一个可验证的最小示例。

Answer 1

您的代码计算出 64 的立方根，应该是 4。

C 代码通过 flooring 将返回值转换为整数。 pow 通常以某种泰勒多项式或类似形式实现 - 这往往在数值上不准确。您计算机上的结果似乎略小于 4.0，当转换为 int 时，它会被 截断 - 解决方案是首先使用 lround：

N = lround(pow(Npart/1., (1.0/3.0)));

---

至于lldb，关键是文字：

error: 'pow' has unknown return type; cast the call to its declared return type

即它不知道函数的返回类型——因此是原型。 pow 被声明为

double pow(double x, double y);

但由于lldb 对返回类型的唯一提示是您提供的演员表，lldb 认为原型是

int pow(int x, double y);

这将导致未定义的行为 - 实际上，lldb 认为返回值应该是来自 EAX 寄存器的int，因此打印了0，但实际返回值是某个浮点数/SIMD 寄存器。同样，由于参数的类型也不知道，所以您不能传入int。

因此我猜你会在调试器中得到正确的值

print (double)(pow(64.0, 1.0/3.0))