swift中为何数字字面量可以直接进行数学运算呢

众所周知，swift是一门安全性贼高的编程语言，尤其是各个数据类型的强制匹配规定，奠定了swift语言安全性的基石。所谓的数据类型强制匹配，就是两个变量或者常量的数据类型必须一致，才能进行赋值和运算等的操作。就比如下面一段代码

let a = 10

let b = 10.0

let c = a + b

在swift中，这种情况就是直接会报错的，错误原因就是a和b类型不一致，不能进行运算

而正确的代码则是

let a = 10

let b = 10.0

let c = Float(a) + b

大家看到这儿，或许也会觉得，swift这操作真的是反人类啊，因为大家都知道在大部分的编程语言中，第一段代码是随随便便都能编译通过的，因为编译器会进行自动的类型准换操作(所以呢，其实几乎所有的语言进行赋值和运算操作都是要求类型匹配的，只是编译器自身做了类型转换的，而swift则没有)

但是呢，下面的一段swift代码却是正确的

let a = 10 + 10.0

如果爱思考的猿哥们，或许会觉得奇怪了，不是需要强制类型匹配后才能进行运算操作的吗，为什么这儿就是正确的、不会报错的呢？难道不需要写成下面这样？

let a = Float(10) + 10.0

原因其实很简单，那就是，swift中的字面量本身是没有明确的类型的。所以let a = 10 + 10.0这句代码就能正常的通过编译了，并且运算后的结果就是浮点型，之后再赋值给a

是不是极其简单呢？但是我为啥这么简单的东西也要讲讲呢，就是因为很多猿哥从没注意到过和思考过这个问题。我相信，虽然这个东西极其的简单，但是呢，知道的话，会对swift这门语言有更好的理解。同时也希望广大猿哥们，可以多多思考一些小问题，细节问题