软构第五天:OOP与Java的一些内存机制

• 前言
• 一、Data Type 和 Type Checking
• 二、Static vs. dynamic
• 三、可变数据与不可变数据
• 总结

今天主要先复习了一下前几节课的内容,然后老师又进行了Data Type和Type Checking的讲解.下面我们跳过复习内容直接进行第二部分的复习回忆.

前几节课我们回答了什么是高质量的软件,如何从不同维度刻画软件,以及软件构造的基本过程和步骤.
本章我们讲解的是更为细节的技术部分即ADT与OOP.亦即抽象数据型和面向对象编程.

变量：用特定数据类型定义，可存储满足类型约束的值

Java中有基本数据类型与对象数据类型,即primitive types与object types.一些对象数据类型其实是将primitive类型与一些方法进行打包.便于我们对数据的处理.类似的有int与Integer的关系.当然更多一些对象数据类型没有它的基本数据类型的对应,如String类型与 BigInteger类型.
二者具体的对比如下图:

Java中万物皆对象,理解对象类型的使用利于我们更好地进行编程.
注意继承和多态是OOP中的重要概念.当然我们也能见到重写和重载,这是两种很不一样的概念.遇到应该加以区分.

所谓Static即在编译阶段进行类型检查,而类似Pythond的语言则在运行时进行检查.
注意,静态检查更容易发现Bug的所在.提高了程序的健壮性.

以下是常见的静态检查与动态检查.

改变一个变量：将该变量指向另一个值的存储空间
改变一个变量的值：将该变量当前指向的值的存储空间中写入一个新的值。

在软件构造时,我们需要注意不变性原则.我们可以使用final修饰符来确保一个引用类型是不可变的. 所以，尽量使用final变量作为方法的输入参数、作为局部变量。

除去变量以外,我们创建的对象也有可变性可不可变性.

例如String,String如果被创建就不能被改变,如果执行链接操作只是新建了一个新的String并让变量指向新的String对象,并没有改变原对象.
当然与之对应的StringBuilder是一种可变对象.

使用这种方式可以增强程序的鲁棒性.

然后我们介绍了snapshot diagram的一些绘制方法.老师又强调了我们今后多多使用Java集合,而不是去使用比较原始的数组.

对今天课程的内容进行了总结.当然还需要继续对PPT进行复习.