为什么swift转换适用于浮点除法？

Question

与许多语言一样，Swift的除法运算符默认为整数除法，因此：

let n = 1 / 2
print(n) // 0

如果要进行浮点除法，必须执行以下操作

let n1 = 1.0 / 2
let n2 = 1 / 2.0
let n3 = Double(1) / 2
let n4 = 1 / Double(2)

print(n1) // 0.5
print(n2) // 0.5
print(n3) // 0.5
print(n4) // 0.5

同样，与大多数其他语言一样，您不能强制转换整个操作：

let n5 = Double(1 / 2)
print(n5) // 0.0

发生这种情况是因为swift执行1和2的整数除法（1/2）并获得0，然后它尝试将其转换为Double，有效地为您提供0.0。

我很好奇为什么以下方法会奏效：

let n6 = (1 / 2) as Double
print(n6) // 0.5

我觉得这应该会产生与双倍（1/2）相同的结果。为什么不呢？

Answer 1

1和2是文本。他们没有类型，除非你从上下文中给他们一个类型。

let n6 = (1 / 2) as Double

本质上与

let n6: Double = 1 / 2

这意味着，您告诉编译器结果是一个双精度的。这意味着编译器将搜索带有双精度结果的运算符，这意味着它将在两个双精度操作数上找到运算符，因此将这两个文本视为双精度类型。

另一方面

let n5 = Double(1 / 2)

是强制转换（或者更好地说，Double的初始化）。这意味着表达式1/2首先被评估，然后转换为Double。