printf%f如何在32位浮点数上运行

Question

的%fprintf格式代码被指定为上式的值操作double[ 源.但是,一个简单的测试程序表明它也可以与类型的值一起使用float.这是如何运作的？

具有整数类型(例如int和long long int)的等效情况"起作用",因为在小端机器上,32位整数的低位字节恰好与64位整数的低位字节重叠,所以只要高位为0,你会得到"正确"的答案.

但是,这不可能是对的情况下float和double,因为浮点格式都没有这样的互换.如果没有将(相当复杂的)转换为其他格式,您根本无法将浮点值打印为double.通过类型惩罚尝试这样做只会打印垃圾.

最重要的是,printf是可变的.编译器在编译时不一定知道将使用什么格式说明符,只知道参数的类型.因此,我唯一可以推测的是,传递给可变函数的所有 float值都将double无条件地升级到.但令我难以置信的是,我可以用C语言编程很长时间而且不知道这一点.

C如何在这里进行隐式强制？

资源:

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

int main() {
  float x[2] = {M_PI, 0.0};
  printf("value of x: %.16e\n", x[0]);
  printf("size of x: %lu\n", sizeof(x[0]));

  double *xp = (double *)&x[0];
  printf("value of *xp: %.16e\n", *xp);
  printf("size of *xp: %lu\n", sizeof(*xp));

  double y = M_PI;
  printf("value of y: %.16e\n", y);
  printf("size of y: %lu\n", sizeof(y));

  int i[2] = {1234, 0};
  printf("value of i: %lld\n", i[0]);
  printf("sizeof of i: %lu\n", sizeof(i[0]));

  long long *ip = (long long *)&i[0];
  printf("value of i: %lld\n", *ip);
  printf("sizeof of i: %lu\n", sizeof(*ip));

  return 0;
}

输出:

value of x: 3.1415927410125732e+00
size of x: 4
value of *xp: 5.3286462644388174e-315
size of *xp: 8
value of y: 3.1415926535897931e+00
size of y: 8
value of i: 1234
sizeof of i: 4
value of i: 1234
sizeof of i: 8

编译命令和版本:

$ gcc test_float.c -o test_float
$ gcc --version
gcc (Ubuntu 5.5.0-12ubuntu1~16.04) 5.5.0 20171010
Copyright (C) 2015 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Answer 1

因此,我唯一可以推测的是,传递给可变函数的所有浮点值都将无条件地升级为double.

是的 - 这是完全正确的.

从C标准;

6.5.2.2.7函数原型声明符中的省略号表示法导致参数类型转换在最后声明的参数之后停止.默认参数提升是在尾随参数上执行的.

并且"默认参数促销"规则将推广float到double,相关部分是:

6.5.2.2.6如果表示被调用函数的表达式具有不包含原型的类型,则对每个参数执行整数提升,并将具有float类型的参数提升为double.

Answer 2

请参阅可变参数和默认参数升级：

在函数调用时，作为变量参数列表一部分的每个参数都会经历特殊的隐式转换，称为默认参数提升。

。

每个整数类型的参数都会经历整数提升（见下文），每个 float 类型的参数都会隐式转换为 double 类型。