八岁学编程-优快云博客

ADT的特性抽象数据类型ADT的特性：表示泄漏、抽象函数AF、表示不变量RI。若RI推给用户实现，就不为RI了。抽象类型强调“作用于数据上的操作”，程序员和 client无需关心数据如何具体存储的，只需设计/使用操作即可。ADT是由操作定义的，与其内部如何实现无关！可变数据类型提供了可改变其内部数据的值的操作。不可变数据类型其操作不改变内部值，而是构造新的对象。ADT中四种操作方法Creator构造器（无到有）Producer生产器（老到新，与构造器类似）Observers观察器M

2021-07-08 21:47:01 941 1

原创 java中多种设计模式的示例总结（代码示例）

一、 Creational patterns创造型模式1、Factory Method pattern工厂方法模式什么时候用：当client不知道要创建哪个具体类的实例，或者不想在client代码中指明要具体创建的实例时，用工厂方法。定义一个用于创建对象的接口，让其子类来决定实例化哪一个类，从而使一个类的实例化延迟到其子类。常规情况下，client直接创建具体对象Product p = new ProductTwo();在工厂方法模式下:Product p = new ConcreteTwo

2021-07-07 19:07:56 1410

原创怎么写出一个好的规约

在做了三次实验后，对怎么写一个好的规约，做点个人的总结。规约的作用规约，在静态类型检查阶段检查参数类型是否匹配，返回值类型是否匹配也在静态检查阶段完成。静态类型声明是一种规约，可据此进行静态类型检查static checking方法前的注释也是一种规约，但需人工判定其是否满足。一个完整的方法包括了方法的规约和方法的实现体。行为等价性：站在客户端的视角看行为等价性，根据规约判断函数的行为等价性，前置条件相同时，返回结果一样就等价。要根据代码的规约来判断行为等价性。前置条件与后置条件前置条件：

2021-07-04 15:28:19 297

原创程序人生-Hello’s P2P

计算机系统大作业题目程序人生-Hello’s P2P 专业计算机类学　　号 1190202321班　　级 1903001学生许凡楠　　　指导教师郑贵滨计算机科学与技术学院2021年6月摘要借助edb，cpp，ccl，as，ld等工具的帮助，我们得到了一个hello可执行目标程序，通过跟随hello的一

2021-06-27 23:54:07 212

原创 java中“多重继承”的类似实现

今天上课的时候，我们软件构造老师说

2021-06-23 12:12:16 331

原创 Liskov Substitution Princiole(LSP)可替换原则

LSP是什么我查找了网上的资料，初步了解下，我认为LSP大概指的就是，子类型可以替换父类型，父类型能做的事，子类型也全都能做。LSP的具体内容：大致是这样的，1.子类型可以增加方法，但是不能删除父类中的方法；2.子类型需要实现抽象类型中的所有未实现的方法；3.子类型中重写的方法的返回值类型必须与父类型方法的返回值类型相同，或者是父类型方法的返回值类型的协变；4.子类型中重写的方法的参数类型必须使用与父类型方法相同参数类型，或者是父类型方法的参数类型的反协变；5.子类型中重写的方法抛出的异常必

2021-06-04 14:22:47 119

原创简单的jdk安装教程

想要学习java开发，就一定得安装jdk。jdk下载地址：链接: jdk下载地址.选择JDK Download选择需要的jdk安装包，这里选择windows系统下的jdk安装包。下载完成后，按默认安装即可。环境变量配置：到官网下载好jdk，按照正常顺序安装好jdk，而后在计算机上配置jdk，配置java环境变量，右键我的电脑—属性----高级系统设置—环境变量点击系统变量下面的新建按钮，变量名JAVA_HOME（代表你的JDK安装路径），值对应的是你的JDK的安装路径。在系统变量里

2021-05-27 16:16:01 137

原创关于在IDEA下生成jar的学习过程

是

2021-05-23 20:07:39 70

原创关于在IDEA下使用JUnit的问题

这里写自定义目录标题欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入欢迎使用Markdown编辑器你好！这是你第一次使用 Markdown编辑器所展示的欢迎页。如果你想学习如何使用Mar

2021-05-23 09:38:14 368 5

aoligeidygg的博客

原创 TCP的拥塞控制中的快速恢复算法

原创关于java中ADT（抽象数据类型）的个人总结