环球快资讯丨在 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 与浮点数的更多技术细节，可以在该讨论帖子中细阅。