使用%ld转换说明符在C中打印双精度类型

Question

这是部分源代码（来自《C primer plus》一书的示例代码）：

float n1 = 3.0;
double n2 = 3.0;
long n3 = 2000000000;
long n4 = 1234567890;
printf("%ld %ld %ld %ld\n", n1, n2, n3, n4);

预期输出为：

0 1074266112 0 1074266112

这本书明确解释了原因：

参数传递机制取决于实现。这就是参数传递在一个系统上的工作方式。函数调用如下：
printf（“%ld%ld%ld%ld\n”，n1，n2，n3，n4）
此调用告诉计算机将变量n1、n2、n3和n4的值移交给计算机。这里有一种常见的实现方法。程序将值放在称为堆栈的内存区域中。当计算机将这些值放在堆栈中时，它是由变量类型而不是转换说明符引导的。因此，对于n1，它在堆栈上放置8个字节（float转换为double）。类似地，它为n2多放置8个字节，然后分别为n3和n4放置4个字节。然后控制权转移到printf（）函数。此函数从堆栈中读取值，但在执行此操作时，它会根据转换说明符读取这些值。%ld说明符指示printf（）应该读取4个字节，因此printf）读取堆栈中的前4个字节作为其第一个值。这只是n1的前半部分，它被解释为一个长整数。下一个%ld说明符再读取4个字节；这只是n1的后半部分，被解释为第二个长整数（见图4.9）。类似地，%ld的第三个和第四个实例会导致读取n2的第一个和第二个半部分，并将其解释为另外两个长整数，因此，尽管我们有正确的n3和n4说明符，printf（）读取的字节是错误的。

我能得到书上说的，我自己的PC对每种数据类型使用的内存和上面一样。< br >但是，当我自己编译并运行代码时，我得到了以下输出:< br > < code > 20000000000 1234567890 2147483626 0 < br >我的开发环境是:Ubuntu16.04LTS，gcc 5.4.0，C11 standard。< br >我不知道是什么原因导致了我自己的输出与预期的输出之间的差异。

Answer 1

来自标准§7.21.6.6¶9

如果转换规范无效，则行为未定义.282） 如果任何参数不是相应转换规范的正确类型，则行为未定义。

这就是你的问题所在。你可以阅读标准，你会发现标准从来没有说过你必须使用堆栈或堆来实现内存访问或类似的东西。要给出未定义行为的原因，请在每个案例上读取并打印sizeof（long）（来自%ldformat说明符）。但存储双精度或其他变量所需的内存量可能与此不同。在大多数情况下，这将打印原始变量的某些部分。这是未定义的行为，这是正确的说法。

使用正确的格式说明符（%f 表示浮点型和双精度型）。

Answer 2

这是一种常见的方法。程序将这些值放在一个叫做堆栈的内存区域中。当计算机将这些值放入堆栈时，它是由变量的类型决定的，而不是由转换说明符决定的

这在大多数32位系统上是正确的，但在64位系统上，调用约定是不同的，如果可能的话，参数在寄存器中传递。

看这个（系统V AMD64 ABI是这里相关的）。

确保的一种方法是查看程序的程序集输出。使用 gcc，您可以使用 -S 输出程序集而不是二进制文件。

（请注意，我在这里只谈论linux。事情可能会因您的操作系统而异，因为这是一种未定义的行为，您的编译器甚至您的编译器版本或标志）