1条件分支与布尔逻辑
闭卷解释条件分支与布尔逻辑的编译阶段、对象状态、规则和失败边界。
C++程序设计 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2循环不变量
闭卷解释循环不变量的编译阶段、对象状态、规则和失败边界。
3数组与范围for
闭卷解释数组与范围for的编译阶段、对象状态、规则和失败边界。
4字符串与字符处理
闭卷解释字符串与字符处理的编译阶段、对象状态、规则和失败边界。
5枚举与结构体
闭卷解释枚举与结构体的编译阶段、对象状态、规则和失败边界。
6迭代器区间初识
闭卷解释迭代器区间初识的编译阶段、对象状态、规则和失败边界。
7控制流建模实验
闭卷解释控制流建模实验的编译阶段、对象状态、规则和失败边界。
第 1 页 · 背面（答案）
规则：invariant holds before each iteration；任务：写一个能编译运行的最小程序展示“循环不变量”，记录输入、关键对象状态、输出和编译命令，并用规则 invariant holds before each iteration 解释结果；边界：不得把“循环不变量”只写成语法模板；必须说明类型、所有权/生存期、失败输入、复杂度或并发可见性中与本节有关的边界
规则：condition selects one path；任务：写一个能编译运行的最小程序展示“条件分支与布尔逻辑”，记录输入、关键对象状态、输出和编译命令，并用规则 condition selects one path 解释结果；边界：不得把“条件分支与布尔逻辑”只写成语法模板；必须说明类型、所有权/生存期、失败输入、复杂度或并发可见性中与本节有关的边界
规则：text is a sequence with encoding；任务：写一个能编译运行的最小程序展示“字符串与字符处理”，记录输入、关键对象状态、输出和编译命令，并用规则 text is a sequence with encoding 解释结果；边界：不得把“字符串与字符处理”只写成语法模板；必须说明类型、所有权/生存期、失败输入、复杂度或并发可见性中与本节有关的边界
规则：0≤index<size；任务：写一个能编译运行的最小程序展示“数组与范围for”，记录输入、关键对象状态、输出和编译命令，并用规则 0≤index<size 解释结果；边界：不得把“数组与范围for”只写成语法模板；必须说明类型、所有权/生存期、失败输入、复杂度或并发可见性中与本节有关的边界
规则：[first,last) is half-open；任务：写一个能编译运行的最小程序展示“迭代器区间初识”，记录输入、关键对象状态、输出和编译命令，并用规则 [first,last) is half-open 解释结果；边界：不得把“迭代器区间初识”只写成语法模板；必须说明类型、所有权/生存期、失败输入、复杂度或并发可见性中与本节有关的边界
规则：enum names states；任务：写一个能编译运行的最小程序展示“枚举与结构体”，记录输入、关键对象状态、输出和编译命令，并用规则 enum names states 解释结果；边界：不得把“枚举与结构体”只写成语法模板；必须说明类型、所有权/生存期、失败输入、复杂度或并发可见性中与本节有关的边界
规则：state+input→state'；任务：写一个能编译运行的最小程序展示“控制流建模实验”，记录输入、关键对象状态、输出和编译命令，并用规则 state+input→state' 解释结果；边界：不得把“控制流建模实验”只写成语法模板；必须说明类型、所有权/生存期、失败输入、复杂度或并发可见性中与本节有关的边界