内部初始化程序时的Swift类型推理差异

Question

在以下代码段

中

class T {}
var dummy : Int = Int.init()
class S : T{
    override init () {
        super.init()
        var dummy2 : () = Int.init()
    }
}

dummy的类型为Int，但dummy2的类型为()。

如果从平等的表达推断出他们的类型会有什么不同呢？

Answer 1

这似乎只是一个Swift 1 / 1.2问题。在Swift 2中，Int.init()正确返回Int，因此dummy2必须是Int。