go - 删除转换更改语义

Question

JetBrains 的 GoLand IDE 提供了自动删除冗余类型转换的功能。但是有一个消息:

Delete conversion (changes semantics)

我不明白改变语义 是什么意思。它实际上改变了什么？

额外信息:

Answer 1

当表达式是 float 类型时，GoLand 确实显示了可能是冗余的类型转换。在所有其他情况下，消息是冗余类型转换。前一条语句中的不确定性与这样一个事实有关，即从 float 到 float 的转换有时用于防止编译器的融合乘加 (FMA) 指令选择以避免舍入错误。请引用this issue更多细节。不过，我同意，更改语义 可能过于严格，因为转换结果取决于许多因素。因此，我将措辞更改为可能会更改语义。我还更新了检查的描述，因此它包含此信息。这些更改将出现在 GoLand 2020.3 中。