《The Swift Programming Language》的笔记-第27页

·    第27页

1 type safelanguage

本页的主要内容是说swift语言是“类型检查”的安全型编程语言。意思是赋值语句的左值和右值的类型要一致，左值声明是string型变量那么等号的右值就该是个用双引號引起来的字符串。而不能是整形或者浮点数据。

编译器在编译代码时会检查赋值语句的左值和右值。假设类型不匹配。编译器报错，即要做数据的安全检查，保证数据的一致性。

2 type inferencelanguage

swift编译时会检查数据类型的一致性，但不是说在定义常量和变量时一定要说明变量或者常量的类型。能够不说明类型，由于swift有一种机制叫type
inference语言。

swift语言的编译器会根据常量或变量的初始化赋值语句自己主动判断出这个常量或者变量应该属于那种数据类型。

eg1 :   let s1 = "www.chinagame.me"

这条语句swift会根据赋值语句的左值"www.chinagame.me",判断出s1常量的类型是string型的。

这样swift程序开发人员就不是必需一定像以下这样去定义s1常量了。

let  s1 : String = "www.chinagame.me"

在type inference机制下

let s1 = "www.chinagame.me"

和let  s1 : String = "www.chinagame.me"声明s1为常量等价。

关键词： type check
、 type safe languagge、 type inference