软件构造2

Posted 2020-11-18 yry1160300116

HIT - 软件构造

 

3章：

 

基本数据类型：int,long,boolean,double,char,short,byte,float

 

对象数据类型：classes,interface,arrays,enums,annotations

 

Java是一种静态类型的语言，所有变量的类型在编译是已知的，Java可以静态检查，在像python这样的动态类型语言中，这种检查被推迟到运行时。

 

静态检查的类型：语法错误，名字错误，参数个数错误，参数类型错误，返回错误

 

动态检查的类型：非法参数，非法返回值，数组越界，空指针引用

 

不变性：不变数据类型创建完后，值不可变（final）

 

一个final类不能被继承，一个final变量不能被改变，一个final方法不能被重写

 

String为不变类型，StringBuilder为可变类型

 

快照图：表示程序的内部状态，它的堆栈在运行时的方法和他们的局部变量及其堆，变量为单箭头，不变量为双箭头

 

 

行为等价：一个实现代替另一种实现

 

前提条件是客户的义务，这是调用方法的状态。后置条件是实现者的义务，如果前提条件被满足看则后置条件必须被满足，比如：返回适当的值，抛出指定的异常，修改或不修改对象等等。

 

前置条件写在@Param 后置条件写在@return @throws

 

规约的强度：如果S2的前提条件<=S1 ,S2的后置条件>=S1,对于满足S1前提条件的状态，则规约S2强于S1

 

ADT：抽象数据类型是软件工程中一般原则的一个实例，它有很多名称：抽象模块化，封装，信息隐藏。

 

数据抽象类型的特点是可以对其执行操作

 

ADT四种操作

 

creator 创作该类型的新对象，creator可以将对象作为参数，但不是正在构建类型的对象

 

producer 从该类型旧对象中产生新对象，String的Concat方法是一个producer

 

observers 采用ADT对象并返回不同类型 eg:List中的Size（）

 

Mututors 改变对象 eg:List中的add()

 

 

表示独立性：ADT的使用与其表示形式无关，因此表示形式的变化对抽象类型本身之外的代码没有影响 eg:List的独立的不管是表现为Linked list或array

 

表示不变性和抽象函数

 

 

R:表示值空间，由实际实现的实体的值组成

 

A：抽象值空间，就是抽象想表示的值空间

 

AF：将表示值映射到它们表示的抽象值,R->A图中的弧显示抽象函数。

 

 

RI,AF 是doc形式 

 

OOP：

 

oop应该把类作为中心概念

 

 

继承 extends

 

重写 override

 

多态性是操作可以应用于其他类型的值的类型。

 

 

分为 adhoc polymorphism,function overloading,parametric polymorphism,generic programming

 

（oop其他内容，请看java核心技术）

 

防御式拷贝：不把自己的引用传给别人，首先new一个新对象，把自己的信息传递给这个对象，然后给别人展示这个对象。

ADT和OOP的equality：用抽象函数     使用关系     使用观察

就ADT而言“观察”意味着调用对象的操作。所以当且仅当通过调用抽象数据类型的任何操作不能区分他们时，两个对象是相等的

 

==比较的是引用  

 

equal（）比较的是对象的信息

 

equals满足传递性，自反性，对称性

 

对于不可变类型：equals()应该比较抽象值。这与equals()应该提供行为平等相同，hashcode()应该将抽象值映射到一个整数。所以不可变类型必须覆盖equals（）和hashcode()

对于可变类型 equals（）应该比较引用，就像==一样。同样与equals应该提供行为平等一样。所以不应该重写equals（）和hashcode()