何谓类型安全？

其实就是三句话

1.References are what they say they are

2.Identifiers are who they say they are

3.Only appropriate operations can be invoked.