float 变量不满足条件 (C)

我试图让用户输入 1.00000 到 0.00001 之间的数字，而边缘不包含在浮点变量中。我可以假设用户在点后输入的数字不超过 5 个。 现在，这是我写的：

printf("Enter required Leibniz gap.(Between 0.00001 to 1.00000)\n");
scanf("%f", &gap);
while ((gap < 0.00002) || (gap > 0.99999))
{
printf("Enter required Leibniz gap.(Between 0.00001 to 1.00000)\n");
scanf("%f", &gap);
}

现在，当我输入尽可能小的数字：0.00002 时，就会陷入 while 循环。 当我运行调试器时，我看到 0.00002 与该值一起存储在浮点变量中：1.99999995e-005 任何人都可以为我澄清我做错了什么？为什么 0.00002 不满足条件？这个“1.99999995e-005”是什么东西。

这里的问题是你正在使用float多变的 （gap），但您将其与double持续的 （0.00002）。常数是double因为除非另有说明，C 中的浮点常量都是 double 的。

一个根本问题是数量0.00002都不能代表float or double。 （它根本无法用二进制浮点数表示，因为它的二进制扩展是无限长的，就像 ⅓ 的十进制扩展一样。）所以当你写0.00002在程序中，C 编译器将其替换为double值非常接近0.00002。同样，当scanf读取号码0.00002 into a float变量，它替代了float值非常接近0.00002. Since double数字的位数多于floats, the double值更接近于0.00002比float value.

当您比较两个具有不同精度的浮点值时，编译器会将精度较低的值转换为精度较高的完全相同的值。 （该组值表示为double是表示为的值集的超集float，所以总是可以找到一个double其值与 a 的值相同float.) 这就是当发生的情况gap < 0.00002被执行：gap被转换为double相同的值，并且与 double 相比（接近）0.00002。由于这两个值实际上都略小于 0.00002，并且double越接近，则float小于double.

您可以通过多种方式解决此问题。首先，您可以通过以下方式避免转换：gap a double并改变scanf格式化为%lf，或者通过比较gap to a float:

while (gap < 0.00002F || gap > 0.99999F) {

但这并不完全正确，原因有几个。首先，实际上不能保证 C 编译器完成的浮点转换与标准库完成的转换相同（scanf），并且该标准允许编译器使用“以实现定义的方式选择的最接近的可表示值，或者紧邻最近可表示值的较大或较小的可表示值”。 （它没有详细说明哪个值scanf产生其中之一，但建议它是最接近的可表示值。）碰巧的是，gcc and glibc（Linux 上使用的 C 编译器和标准库）都生成最接近的可表示值，但其他实现则不会。

无论如何，根据您的错误消息，您希望该值介于0.00001 and 1.00000。所以你的测试应该是这样的：

while (gap <= 0.00001F || gap >= 1.0000F) { ...

（假设你保留gap as a float.)

上述任何解决方案都可以。就我个人而言，我会做gap a double为了让比较更直观，也将比较改为compare against0.00001 and 1.0000.

顺便说一句，E-05后缀的意思是“十的-5次方”（E代表Exponent）。你会经常看到这样的情况；这是编写浮点常量的标准方法。