学习Java？注意数据类型和类型检验！

（注：本文思想主要来源于哈工大计算学部王忠杰教授的《软件构造》）

基本数据类型（如int,long等关键字小写）对象数据类型(如String,BigInteger关键字开头大写)。

 基本数据类型也可以利用Boxed primitives，通常是在定义集合类型的时候使用它们，但是一般情况下，尽量避免使用。同时，语言也有自动转换的功能。

 对于以上类型出现的bug，作为静态语言Java会在还未执行程序时先进行 静态类型检查(static checking)

与之相对的动态类型检查(Dynamic  checking) ，即在运行阶段的检查包括：

比如，下面的例子可以说明 

另外，在java中一定要区分可变和不可变类型。“变”是需要辨析的。

比如，String是一个不可变类型。一旦被创建，其值不能改变。

 频繁使用不可变对象可能需要垃圾回收。例如：

可变数据类型的不恰当使用会增添难以发现的风险。比如传入list后错误将其改变而对后期功能问题产生影响。 或者返回数据时没有拷贝式编程而错误地将其内部值修改。总的来说，当有多个引用(别名)时，使用可变类型就会相当不安全。

另外，final关键字修饰的变量引用值不能改变，修饰的类无法派生子类，修饰的方法无法被重写。