与温暖。的博客

一、Behavioral subtyping二、 Liskov Substitution Principle (LSP) 2.1 协变 2.2 逆变2.3 泛型中的LSP三、总结

一、前言二、Error and Exception 错误和异常二、Exception Handling 捕获异常2.1 关于Exception三、Checked and unchecked exceptions 3.1 Unchecked exceptions3.2 Checked exceptions 四、Subtyping polymorphism 子类型多态性五、Finally Clause...

一、Immutable类型的等价性1.1 "=="表达引用等价性1.2.equals()表达对象等价性1.3重写equals()方法二、Mutable类型的等价性2.1观察等价性2.2 行为等价性

一、Objective of this lecture二、Designing an Abstract Type表示独立性：client使用ADT时无需考虑其内部如何实 现，ADT内部表示的变化不应影响外部spec和客户端。通过前提条件和后置条件充分刻画 了ADT的操作，spec规定了client和implementer之间的契约，明确 了client知道可以依赖哪些内容，implementer知道可以安全更改的内容。public class ConcreteVerti.

目录第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

一、前言笔者在大二下初学软件构造课，课程实验要求使用Java语言，由于事先仅仅接触过C/C++语言，且编写代码能力并不高，难免磕磕碰碰，借此机会记录一些错误以及心得体会。Java语言对笔者来说是一片新天地，若有理解有失偏颇方面，还请见谅。二、问题在课程实验一构造当中，有这样一个要求：从指定文本文件路径中获取信息事先笔者并未接触过有关Java语言文件读入的相关信息与方法，只能从Java学习渠道中搜索解决方法。以下将从基础层次逐步解读问题。IO简介...