Rust系列-1.Rust类型系统

类型系统

所谓类型其实就是对表示信息的值进行的细粒度的区分。
在类型系统中，一切皆类型。基于类型定义的一系列组合，运算，和转换等方法，可以看作类型的行为。

类型系统的作用

1.排查错误，很多编程语言都会在编译期或运行期进行类型检查，以排查违规行为，保证程序正确执行。
2.抽象
3.优化效率
4.类型安全：

• 类型安全的语言可以避免类型间的无效计算。
• 类型安全的语言可以保证内存安全。
• 类型安全的语言可以避免语义上的逻辑错误。

类型系统的分类

• 静态类型，在编译期进行类型检查的语言属于静态类型
  -动态类型，在运行期进行类型检查的语言属于动态类型

静态类型的语言能在编译期对代码进行静态分析，依靠的就是类型系统。
多态类型系统

如果一个类型系统允许一段代码在不同的上下文中具有不通的类型，这样的类型系统就叫做多态类型系统。
现代编程语言三种多态形式：

• 参数化多态-实际指泛型
• Ad-hoc多态-特定多态，rust中的trait
• 子类型多态 - java中的子类