何谓类型安全

类型安全是指同一段内存在不同的地方，会被强制要求使用相同的类型来解释(内存中的数据是用类型来解释的)。

简单地说类型安全一定程度等价于内存安全。

Java语言是类型安全的，除非强制类型转换。

C语言不是类型安全的，因为同一段内存可以用不同的数据类型来解释，比如1用int来解释就是1，用boolean来解释就是true。

但是一般来说，所有编程语言只要使用得当，都可以视为类型安全的。

类型安全本质上取决于对内存中的数据的操作是否得当以及编译器的强制措施