强类型

在一个生存周期内，定义好的数据类型不能被隐式改变其类型，保护数据类型的一致性