type-inference - 推断类型和动态类型

Question

在编程语言中，推断类型和动态类型有什么区别？我知道动态类型，但不知道动态类型与推断类型有何不同？有人可以通过一些例子提供解释吗？

Answer 1

推断类型 = 在编译时设置一次。实际上，推断部分只是为了节省时间，因为如果编译器可以计算出来，您就不必键入 Typename。

类型推断经常结合使用 静态类型 (与 swift 的情况一样)( http://en.wikipedia.org/wiki/Type_inference )

动态类型 = 无固定类型 -> 类型可以在运行时改变

静态和推断示例:

var i = true; //compiler can infer that i most be of type Bool
i = "asdasdad" //invalid because compiler already inferred i is an Bool!

它等于

var i: bool = true; //You say i is of type Bool
i = "asdasdad" //invalid because compiler already knows i is a Bool!

==> 如果编译器可以看到它，类型推断会保存您拼写的类型

但是如果它是动态的(例如 objC)，因为类型仅基于运行时的内容

id i = @YES; //NSNumber
i = @"lalala"; //NSString
i = @[@1] //NSArray