类型推断

Swift广泛的使用类型推断，从而允许你可以忽略很多变量和表达式的类型或部分类型。比如，对于var x: Int = 0，你可以完全忽略类型而简写成var x = 0——编译器会正确的推断出x的类型Int。类似的，当完整的类型可以从上下文推断出来时，你也可以忽略类型的一部分。比如，如果你写了let dict: Dictionary = ["A": 1]，编译提也能推断出dict的类型是Dictionary<String, Int>。

在上面的两个例子中，类型信息从表达式树(expression tree)的叶子节点传向根节点。也就是说，var x: Int = 0中x的类型首先根据0的类型进行推断，然后将该类型信息传递到根节点(变量x)。

在Swift中，类型信息也可以反方向流动——从根节点传向叶子节点。在下面的例子中，常量eFloat上的显式类型注解(:Float)导致数字字面量2.71828的类型是Float而非Double。

let e = 2.71828 // The type of e is inferred to be Double.
let eFloat: Float = 2.71828 // The type of eFloat is Float.

Swift中的类型推断在单独的表达式或语句水平上进行。这意味着所有用于推断类型的信息必须可以从表达式或其某个子表达式的类型检查中获取。