Swift学习笔记之类型安全和推导

类型安全和类型推导

 

Swift是一门类型安全的语言。一门这样的语言真正在乎我在编写过程所用到的值的类型，并清晰的理解他们。如果你的代码中有一个值应该是String类型的，那么就不应该不小心将它转化位Int类型。

 

正是由于这种类型安全性，Swift是在编译你的代码的过程中执行类型检查的。它还会用错误标示出那些不匹配的变量和值。这使得我们能够在开发过程中尽早的发现问题，并且解决它。

 

类型检查（Type-checking）能够帮助我们在混用很多类型的值的时候不要发生错误。但是，这并不意味着你要标明每一个你声明的变量或者是常量的类型。如果你没有说明类型。Swift会使用类型推导来推算出恰当的类型。类型推导使得编译器在编译你的代码的时候仅仅通过你提供的值的类型就能自动得出恰当合适的类型。

 

正是由于Type-checking，相较于C和Objective-C来说，省去了很多类型声明得句子。我们得常量和变量仍然有明确得类型定义，只是这些说明他们的工作已经为我们做好了。

 

类型推导在你声明一个常量和变量，并且给出了初始化值的时候，特别方便和有效。

 

比如下面这句,通过类型推导确定变量位Int类型：

 

//类型推导
var meaningLife = 40

同样的，如果你不说明一个浮点数是Float类型的，默认会推导为double类型：

 

var pi = 3.14159

如果在一个表达式中同时出现整型和浮点型的数值，会默认为Double：

var sum = 3+2.3