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 与浮点数的更多技术细节,可以在该讨论帖子中细阅。