common-lisp - 为什么在 Common Lisp 中，当我运行参数为 1 的函数 "acos"时，答案是错误的？

Question

当我运行 (acos 1) 时，找到 1 个 emacs 的反余弦，而不是正确答案 0，我得到了答案

-6.125742f-17

为什么会这样，我如何得到 0 的正确答案，就像 Windows 计算器所说的那样

我在 Windows 8 上使用 SBCL 作为我的 Lisp 解释器，SBCL 是 32 位的

当我运行时:

(acos (有理数 1))

当我运行时我得到了相同的答案

(acos (float 1))

我收到这个错误

The value -6.1257422745431e-17
is not of type
  (DOUBLE-FLOAT 0.0 3.141592653589793).
   [Condition of type TYPE-ERROR]

Answer 1

sin(M_PI) is not 0 的公认答案在这里也适用:

您需要阅读 What Every Computer Scientist Should Know About Floating-Point Arithmetic并意识到所有浮点计算都是近似值，并且您得到的近似值“足够好”。

至于SBCL错误，你应该report it to the SBCL maintainers .