需要快速类型推断方面的帮助

Question

当我阅读有关 swift 类型推断的信息时，我开始知道 swift 足够聪明，可以了解数据类型

就像我写这个程序的时候

var v3 = 2+2.5
print("the result is \(v3)")

然后我看到输出

the result is 4.5

但是当我写这个程序时

var v1 = 2.5
var v2 = 2
var v3:Double = v1 + v2
print("the result is \(v3)")

然后它给了我这个错误

ERROR at line 7, col 20: binary operator '+' cannot be applied to operands of type 'Double' and 'Int'
var v3:Double = v1 + v2
                ~~ ^ ~~
NOTE at line 7, col 20: expected an argument list of type '(Double, Double)'
var v3:Double = v1 + v2

谁能解释一下这里发生了什么

我已经在 IBM 沙盒上完成了这个程序

Answer 1

当你编写var v3 = 2+2.5 时，Swift 必须推断2 的类型，这是一个与Int 和Double 兼容的数字文字。编译器能够这样做，因为在同一个表达式中有2.5，即Double。因此，编译器得出结论2 也必须是Double。编译器计算总和，并将v3 设置为4.5。运行时不执行任何添加。

当您编写var v2 = 2 时，编译器将2 视为Int，同时生成v1 和Int。现在在var v3:Double = v1 + v2 上有一个添加，由于v1 和v2 的类型不匹配而失败。

如果您改为声明var v2:Double = 2，问题将得到解决。