IEEE754单精度浮点数的字节表示形式不一致

问：

当使用 Common Lisp 读取包含单精度浮点数的二进制编码的数据文件时，会出现此问题，这些编码可能是从 C/C++ 编写的。在Lisp中，我使用了ieee-floats包。然而，这导致浮点数的有效数与读取相同浮点数的 C 程序读取的浮点数略有不同。decode-float32

从表面上看，代码似乎忠实于维基百科页面上IEEE754单个浮点数的描述。此外，这个在线 IEEE-754 浮点转换器也符合该行为。ieee-floats:decode-float32

所以两个问题。为什么C版本不一致？你怎么能在Lisp中复制C的行为呢？

这一切都是在 x86_64 GNU/Linux 上使用最新版本的 sbcl、gcc 和 clang 进行的。

下面是我用来试验和确认行为的一些代码。

这里有一些 C 代码来生成一些随机浮点数及其表示为字节

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <stdint.h>

int COUNT = 16;

void main () {
  float f;
  uint32_t i;
  char* pf = (char *)&f;
  char* pi = (char *)&i;

  for(int j=0; j<COUNT; j++) {
    f = (float)rand()/(float)(RAND_MAX/2.0) - 1.0;
    pf = (char *)&f;
    pi = (char *)&i;
    memcpy(pi, pf, sizeof(float));
    printf("%9f #x%x\n", f, i);
  }
}

这里有一些 Lisp 代码来读取这些浮点数和字节，并将 Lisp 编码与 C 编码进行比较。

(ql:quickload '(:iterate :ieee-floats))

(defun scan (&optional (file "floats_and_bytes.dat"))
  (with-open-file (in file)
    (iter (for f next (read in nil))
          (for b next (read in nil))
          (while (and f b))
          (format t "~9f ~x ~x ~b~%"
                  f
                  (ieee-floats:encode-float32 f)
                  b
                  (- (ieee-floats:encode-float32 f) b)))))