《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