MIT 6.031 软件构造 · 开篇与课程概览

目录 · l1 →

课程：MIT 6.031 — Software Construction（软件构造），Spring 2022 课程主页：https://web.mit.edu/6.031/www/sp22/ 授课形式：每周一、三、五，各 90 分钟（MWF 11:00–12:30） 先修课程：6.009（Fundamentals of Programming） 本笔记基础：对课程公开站点 sp22（Spring 2022，主讲站点）与 sp21（Spring 2021，Java 版同一课程）的全部公开页面进行系统抓取后撰写，覆盖 Reading 1–29 全部章节。

关于本笔记的语言说明（请先读这段）

MIT 6.031 在 Spring 2022（sp22） 学期把授课语言从 Java 切换为 TypeScript。因此：

• 你指定的 sp22 站点上，所有代码示例都是 TypeScript。
• 但本笔记按你的要求，全部代码示例提供 Java 版本。
• 这些 Java 示例并非杜撰：它们来自 MIT 6.031 的 sp21（Spring 2021）Java 版同一门课、同一套讲义。sp22 与 sp21 的阅读材料在讲解文字上几乎逐段对应（例如 Reading 11 的正文两版高度一致，只有代码从 Java 换成了 TypeScript），所以 Java 示例与 sp22 的讲解是精确对应的，只是换了语言载体。
• 少数 sp22 特有的机制（Promise/async/await、结构化类型系统、readonly）在 Java 中没有一一对应的孪生章节，笔记中会明确标注为「Java 类比 / 补充说明」。
• 每篇笔记开头的引用块都会说明该讲的语言对应情况。

结论：你可以把本笔记当作「用 Java 讲的 6.031」来学——概念、术语、章节结构完全忠实于 sp22 原版，代码可以在 JDK 17+ 上编译运行。

课程概览

一、这门课到底在教什么

6.031 的目标可以用一句话概括：学会写出好的代码。而”好”被精确定义为三个可检验的属性，它们贯穿全课程、出现在每一次作业评分、每一次代码审查、每一道测验题中：

这三个目标（6.031 内部常缩写为 SFB / ETU / RFC，或”the big three”）是本课程最重要的单一思想。每一个设计原则、每一种语言特性、每一条编码规范，最终都要回答同一个问题：它如何让代码更 SFB、更 ETU、或更 RFC？ 在本笔记中，你会反复看到这个三元组被用来评估一个做法是好是坏。

值得强调的是：这三个目标经常互相冲突。过度抽象会让代码难以理解；为了让代码容易修改而引入的间接层可能引入 bug；为了安全性做的防御性拷贝可能损害性能。软件构造的核心技能，正是在具体语境下做出有意识的权衡，而不是机械套用规则。

二、课程范围：一张知识地图

6.031 的知识体系可以分成四个层次，这也是本笔记 29 讲的推进顺序：

第一层：代码层面的正确性与表达力（Reading 1–9）

• 静态检查（R1）：让编译器在运行前抓住错误。类型系统是最廉价的测试。
• 基础语言机制（R2）：原始类型与引用类型、final、快照图（snapshot diagram）。
• 测试（R3）：测试优先编程（test-first programming）、输入空间划分、边界值、代码覆盖率——测试不是事后验证，而是设计活动。
• 代码审查（R4）：DRY、fail fast、魔法数字、命名、作用域。
• 版本控制（R5）：Git 的对象图模型，为什么版本控制同时服务于三大目标。
• 规格说明（R6–R7）：本课程的第一个理论高峰。规格说明是方法与其调用者之间的契约，由前置条件与后置条件构成；规格说明的强弱可以比较；应当使用声明式而非操作式规格；应当允许实现自由度（underdetermined）。
• 可变性与不可变性（R8）：别名（aliasing）是可变对象危险的根源；防御性拷贝；不可变对象天然免于 bug。
• 避免调试（R9）：把 bug 消灭在设计阶段——让 bug 不可能、让 bug 显而易见、让 bug 尽早失败。

第二层：数据抽象——本课程的核心（Reading 10–17）

• 抽象数据类型（ADT）（R10）：用操作集合而非内部表示来定义类型；creators / producers / observers / mutators 四类操作的划分；表示独立性（representation independence）。
• 抽象函数与表示不变量（R11）：全课程最重要的两个概念。AF 回答”内部表示代表什么抽象值”，RI 回答”内部表示的哪些状态是合法的”。二者必须写在代码注释里，由 checkRep() 检查。
• 接口、泛型与枚举（R12）：接口与实现分离、子类型、Liskov 替换原则。
• 调试（R13）：科学方法式调试——观察、假设、实验、重复。
• 递归（R14）：递归分解、基础情形与递归步骤、辅助函数。
• 相等性（R15）：等价关系三性质；引用相等 vs 值相等；equals()/hashCode() 的契约。
• Map / Filter / Reduce（R16）：一等函数、高阶函数、用函数抽象控制流。
• 递归数据类型（R17）：不可变列表 ImList、递归类型的 AF/RI。

第三层：从数据到系统（Reading 18–27）

• 正则表达式与文法（R18）、解析器（R19）：用文法描述输入语言，用解析器生成器把字符序列变成解析树，再转成抽象语法树。
• 回调与 GUI（R20）：控制反转、事件循环、观察者模式——并在此引入并发的动机。
• 并发（R21–R24）：本课程的第二个理论高峰。
  • 共享内存 vs 消息传递两大模型（R21）；
  • 竞态条件与交错（R21、R23）；
  • 异步计算与 Promise（R22）；
  • 互斥：锁、synchronized、临界区、死锁与锁顺序（R23）；
  • 消息传递：阻塞队列、生产者-消费者模式（R24）。
• 网络（R25）：客户端/服务器架构、套接字、字节流协议。
• 小语言（R26–R27）：把文法、递归数据类型、解释器、访问者模式串成一条完整链路——这是全课程的”毕业设计级”综合应用。

第四层：工程与社会（Reading 28–29）

• 软件工程伦理（R28）：四种道德透镜（后果主义、义务论、美德伦理、社会契约）、ACM 道德准则、伦理案例分析。
• 团队版本控制（R29）：功能分支、拉取请求、合并与冲突解决、团队工作流。

三、课程哲学：为什么 6.031 这样设计

1. 软件构造的本质是”管理复杂性”。 课程反复强调：代码是写给人读的，只是顺便让机器执行。随着系统变大，唯一能限制复杂度的武器是抽象（abstraction）与模块化（modularity）。ADT、规格说明、不变量的共同目的，都是把”需要同时考虑的东西”变少。

2. 规格说明优先于实现。 6.031 的观点是：在写实现之前，你必须先能精确说出这个函数”做什么”（而不是”怎么做”）。规格说明让调用者与实现者解耦（decoupling）——调用者只依赖契约，实现者可以自由更换算法与数据结构。这就是 RFC 的技术基础。

3. 正确的做法是让错误不可能发生，而不是事后检查。 这条原则贯穿全课程：静态类型检查优于运行时断言，不变量优于临时检查，不可变对象优于防御性拷贝，编译期错误优于运行期错误。”Fail fast”（尽早失败）是它的一种表现：错误越早暴露，定位成本越低。

4. 测试是设计活动，不是收尾工作。 测试优先编程（test-first programming）要求先写测试再写实现。这不仅提高测试质量，更重要的是强迫你在写代码前想清楚规格说明和边界情况。

5. 迭代与反馈是学习的核心机制。 课程刻意压缩讲授时间、增加练习时间。每周 3 次课、每次课先来一个 3 分钟 nanoquiz；每个 Problem Set 走 alpha → 同伴代码审查 → beta 迭代 的流程；最后还有三人团队项目（Star Battle）。课程引用了 Wieman 等人的 Course Transformation Guide 和 Deslauriers 等人的物理课堂研究来论证这一设计。

6. 工程决策包含伦理维度。 最后一讲（R28）提醒：写出”技术上正确”的软件还不够，工程师要对软件的社会后果负责。这在三大目标之外增加了一个维度：软件是否对使用者与社会负责任。

四、6.031 的核心方法论：一句话总结每一层

五、评测与学习方式

给自学者（如你）的建议：6.031 的知识密度很高，但它的学习曲线设计得很友好——每一讲都建立在前面几讲之上。建议的学习路径是：

1. 按顺序读本笔记的 Reading 1–15，把 AF/RI（R11）和规格说明（R6–R7）读三遍，这两处是整门课的地基。
2. 每读完一讲，把笔记里的错误代码先自己改对，再看正确代码。
3. Reading 16–19 是”数据 → 语言”的桥梁，务必动手写一个小的解析器。
4. Reading 21–24 是并发，必须动手跑代码：写一个 counter++ 的竞态程序，亲眼看它出错，比读十遍文字都有效。
5. 最后用 Reading 26–27 的小语言把前面所有知识串起来。

文档结构导航

第一部分：课程资料获取与结构化整理记录

1.1 数据获取范围与方法

本次整理对 MIT 6.031 的两个完全公开的课程站点进行了系统性抓取与文本抽取：

为什么要抓两个站点？ 用户要求提供 Java 代码示例，而 sp22 学期的 6.031 已把授课语言从 Java 切换为 TypeScript。所幸 sp21（Spring 2021）是同一门课、同一套讲义的 Java 版本， 其讲解文字与 sp22 几乎逐段一一对应（例如 Reading 11 “Abstraction Functions & Rep Invariants” 两版正文高度一致，只有代码从 Java 换成了 TypeScript）。 因此本笔记采用 sp22 的章节结构、主题顺序与术语体系，同时以 sp21 的 Java 原文 作为全部代码示例的权威来源，从而既满足”以 sp22 为准”的要求，又满足”提供可运行 Java 代码”的要求。

抓取到的原始材料保存在 /home1/runguoli/learning/mit6031_data/：

mit6031_data/
├── sp22/          # 53 个页面：29 篇 Reading + 5 个 Problem Set + Project + Quiz Archive
│                  # + General/FAQ/协作政策/代码审查政策/评分政策/公告存档
├── sp21/          # 54 个页面：30 篇 Reading（Java 版）+ 作业与政策页
├── readings_index.json   # 29 条结构化阅读记录（见 1.6）
├── build_index.py        # 结构化提取脚本
└── crawl.py              # 抓取与 HTML→文本 抽取脚本

抽取出的纯文本（.txt）保留了原文的正文、代码块、表格与列表结构，用于后续笔记撰写。

1.2 公开性说明（哪些能拿到、哪些受限）

说明：受限资源的处理方式遵照任务要求——仅记录名称并注明”未公开”，不尝试绕过任何访问限制。

1.3 公告（Announcements）记录

sp22 学期共 35 条公告，按时间倒序排列如下（完整正文已保存于 mit6031_data/sp22/announcements.txt）：

公告中体现的关键学期节点：

• Wed Jan 19：欢迎来到 6.031（课程开始）
• Sun Jan 30 / Mon Jan 31：Getting started、Problem Set 0 发布、阅读练习与 nanoquiz 机制说明
• Wed Feb 9 / Fri Feb 11：PS0 代码审查开放（周五 11am 截止）→ PS0 alpha 报告发布
• Mon Feb 14：Problem Set 1 发布
• Thu Feb 24：因暴雪周五停课（说明课程会因天气调整）
• Thu Mar 17 / Fri Mar 18：Quiz 1
• Mon Mar 28：Quiz 1 成绩发布
• Fri Apr 15：项目分组报名（Project group signup）
• Sun Apr 24：项目分组与项目 Handout 发布
• Mon Apr 25：团队契约（team contract）截止
• Fri May 6：最后一节课 + 项目截止（22:00）+ 个人反思截止（22:00）
• Fri May 13：Quiz 2（1:35–2:25pm，期末考试时段）
• Thu May 19：项目成绩、Quiz 2 成绩、最终成绩归档

公告中还明确了考试纪律：Quiz 闭卷、闭笔记，允许携带 一张 8.5×11 英寸双面手写/打印笔记纸；Quiz 2 覆盖 Reading 1–29，重点为 Reading 17–29。

1.4 课程日程与阅读材料映射

6.031 每周三次课（周一/周三/周五，各 90 分钟）。大部分课程要求课前完成阅读 + 在线练习（课前晚 10pm 截止），每次课以 3 分钟 nanoquiz 开始。 下表给出 sp22 的 29 篇阅读材料、主题、对应作业，以及本笔记使用的 Java 源章节：

关于 Quiz 覆盖范围：Quiz 1 覆盖 Reading 1–16；Quiz 2 覆盖 Reading 1–29（重点 17–29）。

1.5 作业、项目与测验记录

Problem Sets（共 5 个，占总成绩 54%）

每个 PS 采用 alpha → 同伴代码审查 → beta 迭代 的流程：alpha 提交后接受评分与同学代码审查，beta 需根据审查意见与失败测试修订代码。总评成绩约各占一半。

Project（占总成绩 7%）：名称为 ⭐️⚔️（Star Battle），三人一组，要求设计、实现、测试、文档全面参与，团队统一评分。 里程碑：团队契约（Apr 25）→ Iteration #0（Apr 28）→ Iteration #1（May 3）→ 项目截止与个人反思（May 6, 10pm）。

Quizzes（占总成绩 24%）：Quiz 1（12%）与 Quiz 2（12%，期末考试时段）。春季学期 Quiz 1 在 Mar 17 左右，Quiz 2 在 May 13。 Quiz 通过 quiz.mit.edu 在线进行，闭卷，允许一张双面笔记纸。Quiz Archive 公开（Fall 2021、Spring 2021 的 Quiz 1/Quiz 2 及解答 PDF，以及 Fall 2020 及更早的 Java 版测验）。

1.6 结构化阅读记录（readings_index.json）

按照任务要求，每篇阅读材料都建立了一条结构化记录。完整 JSON 保存于 /home1/runguoli/learning/mit6031_data/readings_index.json，字段格式如下：

{
  "reading_number": 11,
  "topic": "Abstraction Functions & Rep Invariants",
  "sp22_url": "https://web.mit.edu/6.031/www/sp22/classes/11-abstraction-functions-rep-invariants/",
  "key_concepts_raw": ["invariants", "representation exposure", "abstraction functions", "representation invariants"],
  "related_problem_set": "Problem Set 2",
  "primary_language_sp22": "TypeScript",
  "java_source_url": "https://web.mit.edu/6.031/www/sp21/classes/11-abstraction-functions-rep-invariants/",
  "available_public_info": "阅读材料页面完全公开，含完整讲解文本、代码示例、练习题与解答。"
}

全部 29 条记录的关键概念（key_concepts_raw，从各 Reading 的 “Objectives” 小节自动提取）：

1.7 课程政策与评分标准记录

评分构成（摘自 General Information 的 Grading 小节）

字母等级默认分界：≥90 为 A，≥80 为 B，≥70 为 C；分界线只可能下调，绝不上升，且无名额限制、不按比例给分。

课堂与考勤政策

• 每周三次 90 分钟课程，必须出席并积极参与；需自带笔记本电脑。
• 每次课以 3 分钟闭卷 nanoquiz 开始，考查本次阅读与近期课堂内容。
• 自动丢弃最低 5 次课堂成绩（相当于自动豁免最多 5 次课），也可按流程补课获得部分学分。
• 课程刻意减少讲授时间、增加练习时间，因为「练习与反馈是学习的关键」（引用 Wieman 等、Deslauriers 等的研究）。

协作与公开分享政策（Collaboration and Sharing）

核心精神：讨论思路可以，逐步算法说明（含伪代码）不可以；帮助别人时，自己的代码不应可见（”帮助同学时先关掉自己的代码”）。 代码审查中会看到同学的解答，可以受启发，但不能抄袭。

代码审查政策（Code Reviewing）：课程鼓励 “review-before-commit”（Google 源码仓库要求任何一行代码都必须被另一位工程师阅读、反馈并签署）。 审查的目标是 safe from bugs / easy to understand / ready for change。审查清单包括： bug 或潜在 bug、重复代码（DRY）、代码与规格不一致、off-by-one、全局变量与过大的变量作用域、魔法数字、可以更防御性或更快失败的代码、 不清晰的代码、糟糕的命名、不一致的缩进、可简化的控制流、单行/单方法塞入过多内容、晦涩代码缺注释、与代码冗余的琐碎注释、一变量多用、 语言误用（如 == vs ===、var vs let、for...in vs for...of），以及对课程已讲授设计概念（ADT、规格说明、不变量等）的误用或未使用。

求助渠道政策：一般问题走 Piazza（不要把代码贴到 Piazza）；成绩问题不走 Piazza，也不直接联系助教，而是通过专门流程； TS Tutor 的 bug 用练习内的 “Report a Problem” 上报；提问时须给出可点击的精确 URL（课程网站每个段落都可链接）。