Rust系列(三) 类型系统

上一篇：Rust系列(二) 内存管理

本质：类型系统本质是一种工具，用于在编译时对数据做静态检查，或者在运行时对数据做动态检查的时候，以确保对数据进行某个转换/修改操作，符合开发者的期望。
强类型和弱类型：按定义后类型是否可以隐式转换，可以分为强类型和弱类型。Rust 不同类型间不能自动转换，所以是强类型语言，而 C / C++ / JavaScript 会自动转换，是弱类型语言。

一、多态的实现

● 动态类型系统：Duck typing
● 静态类型系统：参数多态、特设多态、子类型多态
简而言之，参数多态是指函数可以有多种不同的参数列表实现；特设多态一般指函数的重载；子类型多态是指，在运行时，子类型可以被当成父类型使用。在 Rust 中，参数多态通过泛型来支持、特设多态通过 trait 来支持、子类型多态可以用 trait object 来支持。