当前位置:首页-文章-行业新闻-正文

在 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

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

在 Erlang/OTP 27 中,+0.0 将不再完全等于 -0.0 - 第1张

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

本文原创,作者:admin,其版权均为一念悟道所有。
如需转载,请注明出处:https://www.jiayezz.com/5880.html