- 博客(6)
- 收藏
- 关注
RSS订阅原创 软件构造中Error和Exception的处理
一、前言二、Error and Exception 错误和异常二、Exception Handling 捕获异常2.1 关于Exception三、Checked and unchecked exceptions 3.1 Unchecked exceptions3.2 Checked exceptions 四、Subtyping polymorphism 子类型多态性五、Finally Clause...
2022-06-14 13:15:31
312
原创 软件构造中Behavioral subtyping and Liskov Substitution Principle
一、Behavioral subtyping二、 Liskov Substitution Principle (LSP) 2.1 协变 2.2 逆变2.3 泛型中的LSP三、总结
2022-06-10 20:12:22
189
原创 软件构造中ADT的等价性
一、Immutable类型的等价性1.1 "=="表达引用等价性1.2.equals()表达对象等价性1.3重写equals()方法二、Mutable类型的等价性2.1观察等价性2.2 行为等价性
2022-06-05 20:36:43
156
原创 初学JAVA——软件构造设计ADT的核心特征
一、Objective of this lecture二、Designing an Abstract Type表示独立性：client使用ADT时无需考虑其内部如何实 现，ADT内部表示的变化不应影响外部spec和客户端。通过前提条件和后置条件充分刻画 了ADT的操作，spec规定了client和implementer之间的契约，明确 了client知道可以依赖哪些内容，implementer知道可以安全更改的内容。public class ConcreteVerti.
2022-05-24 09:24:59
283
原创 2022春哈工大计算机系统大作业——程序人生
目录第1章 概述1.1 Hello简介1.2 环境与工具1.3 中间结果1.4 本章小结第2章 预处理2.1 预处理的概念与作用2.2在Ubuntu下预处理的命令2.3 Hello的预处理结果解析2.4 本章小结第3章 编译3.1 编译的概念与作用3.2 在Ubuntu下编译的命令3.3 Hello的编译结果解析3.4 本章小结第4章 汇编4.1 汇编的概念与作用4.2 在Ubuntu下汇编的命令4.3 可重定位目标elf格式4
2022-05-19 10:41:30
1512
原创 初学JAVA——文件读入BufferedReader的几处知识
一、前言笔者在大二下初学软件构造课，课程实验要求使用Java语言，由于事先仅仅接触过C/C++语言，且编写代码能力并不高，难免磕磕碰碰，借此机会记录一些错误以及心得体会。Java语言对笔者来说是一片新天地，若有理解有失偏颇方面，还请见谅。二、问题在课程实验一构造当中，有这样一个要求：从指定文本文件路径中获取信息事先笔者并未接触过有关Java语言文件读入的相关信息与方法，只能从Java学习渠道中搜索解决方法。以下将从基础层次逐步解读问题。IO简介...
2022-05-11 22:26:43
4385
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人