Linux gcc (5.4.0) 中的 float 是否遵守 IEEE754 规则？

Question

我的编程环境是 gcc 版本 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.4)

我的代码如下：

#include <stdio.h>

typedef unsigned char *byte_pointer;

void show_bytes(byte_pointer start, int len){
  int i;
  for (i = 0; i<len; i++)
    printf(" %.2x", start[i]);
  printf("\n");
}

void show_float(float x){
  show_bytes((byte_pointer)&x, sizeof(float));
}

int main(){
  int y = 0xffffff;
  float f = y;
  show_float(f);
  return 0;
}

机器给出结果：00 00 00 e0

我认为根据 IEEE 754 是不对的；但我不知道为什么。 而 Windows 中 VS 2013 中的相同代码给出了正确答案：ff ff 7f 4b

gcc 5.4.0 不采用 IEEE 754 吗？ 还是我的代码有问题？

Answer 1

gcc 5.4.0 不采用 IEEE 754 吗？
还是我的代码有问题？

gcc 5.4.0 和 IEEE 754 不是问题。当然代码不符合要求

---

通过重新排序函数，但代码相同，我收到 2 个警告，并且可以复制 OP 的输出 00 00 00 e0

警告：函数“show_float”的隐式声明 [-Wimplicit-function-declaration]
警告：“show_float”的类型冲突

我怀疑 OP 没有发布真正的代码。 - 或者不是全部在一个文件中。实际代码通常存在代码传递double 的问题——由于缺少事先声明/定义，但show_float() 期望float。

#include <stdio.h>

typedef unsigned char *byte_pointer;

void show_bytes(byte_pointer start, int len){
  int i;
  for (i = 0; i<len; i++)
    printf(" %.2x", start[i]);
  printf("\n");
}

int main(){
  int y = 0xffffff;
  float f = y;
  show_float(f);  // code lacks proto-type, so assumes it needs to pass a double
  return 0;
}

void show_float(float x){
  show_bytes((byte_pointer)&x, sizeof(float));
}

---

通过声明原型或重新排序代码来修复。

#include <stdio.h>

typedef unsigned char *byte_pointer;
void show_bytes(byte_pointer start, int len);
void show_float(float x);

/* the 3 functions in any order */

Answer 2

gcc 不使用不同的单浮点表示，而是在程序中的某处将其提升为双精度。转换可能发生在对show_bytes 的调用中，但也可能在其他地方。如果您将浮点数更改为双精度数，您可能会再次获得相同的错误输出，它可能会同时使用两种编译器。

这可能是一个错误或 gcc 的优化，但对于 c 编译器来说这不是正常行为，请参阅this question

#include <stdio.h>

typedef unsigned char *byte_pointer;

void show_bytes(byte_pointer start, int len) {
    int i;
    for (i = 0; i<len; i++)
        printf(" %.2x", start[i]);
    printf("\n");
}

void show_float(double x) {
    show_bytes((byte_pointer)&x, sizeof(float));
}

int main() {
    int y = 0xffffff;
    double f = y;
    show_float(f);
    return 0;
}

这个输出

00 00 00 e0

如果您将程序中的sizeof(float) 更改为sizeof(double) 输出不正确，您将能够看到整个双精度来验证这一点

对我来说，我使用双打

00 00 00 e0 ff ff 6f 41