php - 与 php 的双值比较问题

Question

我尝试创建单元测试用例来检查我的表值是否正确。

这是我的代码

echo $a = 2/9;
echo "<br>".$b=0.22222222222222;

echo "<br>".gettype($a);
echo "<br>".gettype($b);
if($a==$b){
    echo "<br>". "equal";
}else echo "<br>". "Not equal";


if((string)$a==(string)$b){
    echo "<br>". "equal";
}else echo "<br>". "Not equal";

为什么我的第一个 if 条件不起作用？我找不到原因。请帮助我。

Answer 1

该测试违反了浮点编程的基本规则:永远不要进行相等比较。

有许多问题源于浮点小数具有大量但有限的位数这一事实。这些问题通常称为“舍入错误”，尽管在​​大多数情况下它们不是错误而是格式限制。

例如，由于我们在编程时将数字写入的方式...作为十进制字符串...如果我们可以写入的大多数数字具有小数部分，则它们在浮点格式中没有相应的表示形式。小数部分以二为底重复。

这在很大程度上排除了精确比较 float ，具有讽刺意味的是，整数值之间除外。 你需要实现一个模糊比较，比如abs(a - b) < epsilon.

实际上，您的 2/9是一个没有有限表示的累积奖金案例，要么 十进制字符串或 二进制字符串! ¹

比较2/9成功地与常数相等对程序、解释器和库提出了更多的完美要求，而不是可以指望的。

例如，您必须输入更多 2 s 比您需要的要多，并且解释器必须使用比格式更精确的知识来舍入常量的低位。机器在执行操作时实际上有一些额外的知识，但解释器在转换常量时可能没有。此外，运行时舍入受制于各种选项，像 PHP 这样的语言甚至可能无法准确指定如何将无法表示的常量从源代码舍入为内部形式。

实际上它比这更糟，因为十进制字符串中的单个 0.2/10ⁿ 分量也没有精确的二进制等价物.所以，很可能真正完美和忠实地转换了0.22222222222222。 不实际上是否等于实际 2/9 的最大努力表示.您不能将在任何特定(有限)位数中最接近表示 2/9 的精确 2 进制分数表示为有限十进制字符串。

(关于不与 float 进行相等比较，我们必须有一个标准答案。)

---

<子>1。每个机器分数都是形式为 x/2ⁿ 的有理数。现在，常量是十进制的，每个十进制常量都是 x/(2ⁿ * 5^m) 形式的有理数。 5^m 数是奇数，因此它们中的任何一个都没有 2ⁿ 因数。仅当 m == 0 时，分数的二进制和十进制展开均有有限表示。例如，1.25是准确的，因为它是 5/(2²*5⁰) 但是 0.1不是因为它是 1/(2⁰*5¹)。而对于有理数2/9 ，既没有 2ⁿ 也没有 5^m 因子。