在 Erlang/OTP 27 中，+0.0 将不再完全等于 -0.0

Erlang/OTP 技术委员会宣布，在 Erlang/OTP 27 中，，+0.0 将不再完全等于 -0.0。

在此之前，Erlang 的浮点数0.0和-0.0具有不同的内部表示。如果将它们转换为二进制文件，则可以看到：

 <<0.0/float>>. <<0,0,0,0,0,0,0,0>> <<-0.0/float>>. <<128,0,0,0,0,0,0,0>>

但是，当它们相互匹配或使用=:=运算符进行比较时，却会被认为是相等的，0.0 =:= -0.0会返回 true。

Erlang 团队一直在犹豫是否要花时间和人力去处理这个问题。但最近的一个 Bug 让这个问题变得更严重，Erlang 编译器的优化程序会将此函数中两个子句的代码视为重复代码：

 f(_V0, _V0) -> -0.0; f(_, _) -> 0.0.

并自动将其重写为：

 f(_, _) -> 0.0.

在 =:= 运算符持续认为 0.0 和 -0.0 是完全相等时，修复此优化会将很麻烦，并且可能会使编译器变慢。编译器中的其他优化也可能会受到影响。

在经过慎重的评判和讨论后，Erlang /OTP 技术委员会决定，在 Erlang/OTP 27 中，将更改 +0.0 =:= -0.0 以使其返回 false ，且正负 0.0 相互匹配也会失败。当用作映射键时， 0.0 和 -0.0 也将被识别为两个不同的键。当然，== 运算符将继续为 0.0 == -0.0 返回 true 。

在 OTP 27 中，当与 0.0 匹配或使用 =:= 运算符与该值进行比较时，将出现新的编译器警告。可以通过匹配 +0.0 而不是 0.0 来抑制警告。Erlang 团队还计划在 OTP 26.1 中引入相同的警告，但默认情况下它将被禁用。如果有人怀疑自己的代码会受到影响，可以在 OTP 26.1 中打开该警告。

有关 Erlang 与浮点数的更多技术细节，可以在该讨论帖子中细阅。