软件构造
软件构造课程
随行的光
嘿嘿嘿,哈哈哈
展开
-
3.1数据类型与类型检查
文章目录数据类型静态 vs. 动态数据类型检查可变量和不可变量Snapshot diagram作为一个code-level,run-time,moment view复杂数据类型:Arrays and Collections有用的不可变类型空指针静态/动态类型检查可变/不变的数据类型可变数据类型的危险性不变数据类型的优越性用Snapshot图理解数据类型用集合类表达复杂数据类型理解空指针的危害并避免它数据类型基本数据类型:小写字母,只有值,没有ID(与其他值无法区分),不可变,在栈中分原创 2020-07-10 21:45:46 · 442 阅读 · 1 评论 -
3.2设计规约
文章目录编程语言中的功能&方法规约:Programming for communication(1)Document in programming(2)Specification and Contract(of a Method)Behavioral equivalence(行为等价性)Specification(规约)结构:前置条件和后置条件规约分类如何设计一个好的规约方法的规约前置/后置条件欠定规约、非确定规约陈述式、操作式规约规约的强度及其比较如何写出好的规约编程语言中的功能原创 2020-07-10 21:44:49 · 365 阅读 · 0 评论 -
3.3抽象数据类型(ADT)
文章目录1.Abstract and User-Defined Types2.Classifying Types and OperationsMutable and immutable typesClassifying the operations of an abstract type构造器的标志变值器的标志3.抽象数据类型例子4.Designing an Abstract TypeRepresentation Independence(表示独立性)ADT的特性:表示泄露、抽象函数AF、表示不变量AF;原创 2020-07-10 21:43:46 · 851 阅读 · 0 评论 -
[ IJ ] the file size exceeds configured limit(2.56M).Code insight features are not available
当我们放入项目中的资源文件过大时,在IDEA中可能会有这样的报错解决方法:点击help,点击Edit Custom Properties…修改配置文件:重启IDEA,弹框消失;...原创 2020-04-25 14:32:49 · 1481 阅读 · 2 评论 -
java正则表达式实战(获取网站中显示的超链接)
有些网站反爬,可能会用不了,这个的主要目的是为了练习正则表达式import java.io.BufferedReader;import java.io.IOException;import java.io.InputStreamReader;import java.net.URL;import java.nio.charset.Charset;import java.util.Arra...原创 2020-04-24 18:00:15 · 367 阅读 · 0 评论 -
java正则表达式基础入门
字符边界匹配的不是字符而是位置,符合某种条件的位置^与字符串开始的地方匹配$与字符串结束的地方匹配\b匹配一个单词边界\b匹配这样一个位置:前面的字符和后面的字符不全是\w...原创 2020-04-24 16:30:19 · 148 阅读 · 0 评论 -
状态(State)模式
状态(State)模式 状态模式,又称状态对象模式(Pattern of Objects for States),状态模式是对象的行为模式。状态模式允许一个对象在其内部状态改变的时候改变其行为。这个对象看上去就像是改变了它的类一样。状态模式的结构 用一句话来表述,状态模式把所研究的对象的行为包装在不同的状态对象里,每一个状态对象都属于一个抽象状态类的一个子类。状态模式的意图是让一个对象在...转载 2020-04-16 21:16:37 · 323 阅读 · 0 评论 -
Java中的重载和重写的区别
重写与重载之间的区别区别点重载方法重写方法参数列表必须修改一定不能修改返回类型可以修改一定不能修改异常可以修改可以减少或删除,一定不能抛出新的或者更广的异常访问可以修改一定不能做更严格的限制(可以降低限制)总结方法的重写(Overriding)和重载(Overloading)是java多态性的不同表现,重写是父类与子类之间多态性的一...原创 2020-04-14 22:05:26 · 114 阅读 · 0 评论 -
Java 多态
Java 多态多态是同一个行为具有多个不同表现形式或形态的能力。多态就是同一个接口,使用不同的实例而执行不同操作,如图所示:多态性是对象多种表现形式的体现。现实中,比如我们按下 F1 键这个动作:如果当前在 Flash 界面下弹出的就是 AS 3 的帮助文档;如果当前在 Word 下弹出的就是 Word 帮助;在 Windows 下弹出的就是 Windows 帮助和支持。同一个事件...转载 2020-04-14 21:40:38 · 93 阅读 · 0 评论 -
泛型就这么简单
前言从今天开始进入Java基础的复习,可能一个星期会有一篇的<十道简单算法>,我写博文的未必都是正确的~如果有写错的地方请大家多多包涵并指正~今天要复习的是泛型,泛型在Java中也是个很重要的知识点,本文主要讲解基础的概念,并不是高深的知识,如果基础好的同学可以当复习看看~一、什么是泛型?Java泛型设计原则:只要在编译时期没有出现警告,那么运行时期就不会出现ClassCast...转载 2020-04-14 21:18:57 · 140 阅读 · 0 评论 -
Java中的继承和子类
java中子类的定义是在继承中提到的:派生自另一个类的类称为子类(也称为派生类,拓展类或子类)。派生子类的类称为超类(也称为基类或父类)。继承的功能:当创建新类时,并且已经有一个包含所需代码的类时,可以从现有类中派生新类。子类从其超类继承所有成员(字段、方法和嵌套类)。构造函数不是成员,不能够被继承,但可以从子类中调用超类的构造函数(eg. super(…))。子类的调试不需要再调试超类中...原创 2020-04-14 16:53:10 · 720 阅读 · 0 评论