qq_51683996的博客

Specification、前置/后置条件:方法的规约： 前置条件（requires）：对客户端的约束，在使用方法时必须满足的条件。后置条件（effects）：对开发者的约束，方法结束时必须满足的条件。如果前置条件满足，则后置条件一定要满足。如果前置条件不满足，可以做任意事。静态类型声明是一种规约，可以根据此进行静态检查。方法前的注释也是一种规约，但是需要人工判定是否满足。前置条件看@param，后置条件则观察@return和@throws。一个规约，应该关于参数和返回的值，但是不应该关于局部变量和私有区

Git 的结构、工作原理、基本指令：一个git仓库有以下三部分结构：本地的CMDB（存储所有版本的数据）；工作目录；暂存区（隔离工作目录和git仓库） 文件的三种形态：modified（已修改）；Staged（已暂存）；committed（已提交）。Object Graph：版本之间的演化关系图，一条边A->B表征了“在版本 B 的基础上作出变化，形成了版本A”。git init :创建仓库git status：显示状态git add *.*:加入缓冲区git commit -m “xxxx”:提交gi

本文针对哈尔滨工业大学于大二春季开设的软件构造课程，对于其中出现的一些数据类型进行一些应用性的介绍，旨在帮助刚刚接触该课程和java编程的小白快速入门这几种数据类型。1.数组（Array） 数组大家都不陌生，在c语言的学习中大量运用了。但是要注意java语言的编程是一种面向对象的编程，对于一个数组，我们需要把他看成一个类，进行对象声明：例如：int a[] = new int a[5] 注意，一个数组在他定义之后，就不可以改变数组长度了。初始化定义：int a[] = {1, 2

笔者写这篇文章的初衷是帮助刚刚接触软件构造课程的小白通俗易懂地解释关于ADT方面地知识（才不是为了作业呢）。虽然说上课老师讲的很不错，课件ppt也都提供了，本来也不需要我在这里过多的解释什么，但是ppt上大多是大段的英文，即便有少量中文来标记重要的知识点，但是如果不阅读那些英文的话是没有办法很好的理解的。笔者就当抛砖引玉，简单谈谈自己关于抽象数据类型（ADT）的理解。最早接触到ADT概念的应该是大二上的数据结构课程上，当时只学了个概念，但是并没有很好的理解其具体意思。...