类型安全

类型安全代码指访问被授权可以访问的内存位置。例如，类型安全代码不能从其他对象的私有字段读取值。它只从定义完善的允许方式访问类型才能读取。描述类型安全系统的最简单的方法就是描述它的对立面。有的语言（尤其是C和C++）允许做一些非常“不正当”的事情。但在合适的时候，其功能可能会很强大。但是，世界上没有免费的午餐。所谓“合适的时候”实际很少能够遇到。如使用不当，反而极有可能“搬起石头砸自己的脚”。滥用类型系统就属于这种情况。类型安全的代码具备定义良好的数据类型。