2021年7月
Mutable和Immutable
摘要： mutable意为可变的，mutable的变量或对象在创建后其值/引用可以被改变。如一个List在创建后可以添加、删除或修改其中的内容。由于在修改时直接对引用的内容进行修改，相对immutable的变量更有效率。immutable意为不可变的，immutable的数据类型一旦被创建，其值就不会被修改 阅读全文
posted @ 2021-07-07 06:30 StarTemplar 阅读(285) 评论(0) 推荐(0)
Java相对C语言的优势
摘要： 通过《软件构造》这门课程，我开始接触到了Java语言的编程。起初，我对OOP的编程思想很不习惯，不过经过几次实验以及课上老师的讲解，我开始发现这类面向对象的编程有着相对于其他类型变成语言（如C语言）的优势。首先，Java是通过“new”这个运算符来创建对象并分配空间，并且在运行的同时系统会对内存进行 阅读全文
posted @ 2021-07-06 16:22 StarTemplar 阅读(448) 评论(0) 推荐(0)
关于ADT中的AF、RI和Safety from rep exposure
摘要： AF：抽象函数（Abstraction Function），是R空间到A空间的一个映射，一定是满射，不一定是单射或双射，因为R空间中可能出现不满足要求的值，它在A空间就没有对应的像。AF一般是ADT作者用精炼的语言描述该ADT类是对什么实际事物的抽象，并可简介这个函数中实现了哪些方法。RI：表示不变 阅读全文
posted @ 2021-07-04 12:47 StarTemplar 阅读(154) 评论(0) 推荐(0)
Java中的继承，委托和装饰
摘要： 为了更好的实现对代码的复用，我们经常采取继承，委托或装饰等方法。它们有着各自的应用场景和独特的优势。 1.应用场景 装饰模式主要是面向一些类中不同功能的实现可以进行各种组合。装饰模式可以在不创造更多子类的情况下，将功能加以扩展。装饰模式是利用装饰类作为一种类似代理类的方式进行设计的模式。 委托是一个 阅读全文
posted @ 2021-07-02 14:41 StarTemplar 阅读(166) 评论(0) 推荐(0)
2021年6月
关于规约（spec）
摘要： 规约一般出现在一个类或方法的声明的上方，以/**开头。里面的主要内容有对方法/类的描述，前置和后置条件等。使用一个特定类/方法的开发者可以通过阅读规约来得到用法以及参数需满足的需求，返回值等信息。设计规约是很有必要的一件事情。尤其是设计ADT的时候，不写规约就没法写程序，即便写下来也无法判断正确性。 阅读全文
posted @ 2021-06-30 10:41 StarTemplar 阅读(351) 评论(0) 推荐(0)