民大-编程导论（严千钧教材）复习材料

目录

0-基础 ...................................................................................................................................................................1

1 行为抽象（功能抽象）P93： ...........................................................................................................1

三大结构 .............................................................2

函数/子程序和结构化分解 ..............................................2

Parnas 原则（核心、数据抽象与封装的底层依据）P101.....................2

2 数据抽象(p131)......................................................................................................................................2

3 对象抽象 ..................................................................................................................................................2

1-范式 ...................................................................................................................................................................2

1 里氏替换原则（p55）.........................................................................................................................3

2 继承（p61）...........................................................................................................................................3

1 特化继承/实例继承（p62）............................................3

2 扩展继承 ...........................................................3

3 接口继承/协议继承（可以参考 4.4） ...................................4

4 多重继承 ...........................................................4

继承的优缺点（P64） ..................................................4

3 接口与实现类（P142） ......................................................................................................................4

4 接口继承 Vs 实现继承（p137） ......................................................................................................4

3-依赖于抽象类型(p148) ................................................................................................................................4

5-框架设计者......................................................................................................................................................6

6-策略模式 ..........................................................................................................................................................7

7-好莱坞法则......................................................................................................................................................7

轮询 VS. 通知 ............................................................................................................................................7

观察者模式 .................................................................................................................................................8

0-基础

三大抽象：行为抽象、数据抽象、对象抽象（面向对象范式外加上对象抽象）

行为抽象是对可执行代码的抽象。用户仅需要了解接口——接口与实现相分离或称为

Parnas 原则 。

实验见：yqj/java/Part1（ch1）。

Parnas 原则（核心、数据抽象与封装的底层依据）P101

站在用户程序员的角度，接口(interface)是使用该方法的用户所需要知道的所有信息，

包括方法头(方法原型)、和非常重要的说明文档。而实现(implementation)是指完成该接口

之功能承诺的代码块，即方法体。

只定义接口： JAVA 抽象方法、C++的纯虚函数；Scheme 用高阶函数，不遵循接口与

实现分离原则。定义良好的接口，契约、前置后置条件（p102），抽象方法（p103）

是指数据类型的抽象特征与其实现的具体细节清晰的分离。

库恩范式论：观念范式、心理范式、规则范式 （P47）

1-范式

范式是从一些核心观念出发，衍生出来的对一门学科的解释、认知和应用的体系，而编

程范式则是关于程序设计学科的范式。

面向对象编程范式（p26）是基于柏拉图(Plato)原则、Liskov 原则和 Parnas 原则的编

程范式。基于计算机科学之根：一般递归函数（逻辑编程范式）、λ表达式（函数编程范

式）、图灵机（命令编程范式），形成了传统的 3 大编程范式。面向对象编程范式的核心观

念是：以概念/类型建模一切。结构化分解是所有编程范式都具有的特点。

核心观念：以机器的运作方式看待一切。基于图灵机的命令范式，有两个基本特点：机

器状态、顺序执行。（面向对象范式的核心是构造概念/类型，而命令编程范式只有函数级别

（p98）、引用透明性、支持闭包(closures)和高阶函数(higher-order functions)、支持懒惰计

算(lazy evaluation)。合法的λ表达式的递归定义(见 p51)

(i++)改为递归、多线程优势。

从语言的类型系统(type system)考虑：Scheme 语言，变量没有类型（或者说拥有同样

的类型，保持可以指向任何东西的指针），常量有类型：①很容易实现泛型②不支持接口与实

习分离

义一个变量，能够方便地多次使用该函数，通常会受到编程语言的支持。）②每个函数只有

一个输入参数。

过尾递归达到 Java 使用 for 语句的效果。实验见 scheme/ch3

2-类层次（面向对象的重要概念/模型）

是指将对象进行分类而形成的一个层次结构。①类层次结构中各个类之间具有泛化与特

殊关系②一个对象能够同时属于不同抽象层面的各个类型。

LSP 是检测和保证类层次的正确性，进而维护父类型编写程序的正确性。类层次判断的

基础是 IS-A 关系，识别是否是父子类型。

子类定义 p55、子类型与子类区别 p56、多态、向上造型 p58、改写 p60、

以父类的代码复用（p138）为目的的继承。与其相反的泛化继承。

LSP：实现继承、接口继承、扩展继承。①接口 VS 实现继承（p137）②直接使用（最

好方法）VS override ③设计变体（不好的编程）

2 扩展继承

子类扩展的丧失：白马作为马出现后就不是白马了。与扩展继承相反的是限制继承或退

化继承，违反了里氏替换原则(LSP)。如果父类拥有子类没有的接口，那么按他是限制继承。