1错误值与异常的区别
闭卷重建错误值与异常的区别的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2抛出、捕获与传播
闭卷重建抛出、捕获与传播的对象、状态、事件、不变量与一个失败反例。
3只捕获能处理的异常
闭卷重建只捕获能处理的异常的对象、状态、事件、不变量与一个失败反例。
4资源清理与上下文
闭卷重建资源清理与上下文的对象、状态、事件、不变量与一个失败反例。
5重试、降级与失败原子性
闭卷重建重试、降级与失败原子性的对象、状态、事件、不变量与一个失败反例。
6实验：健壮整数解析
闭卷重建实验：健壮整数解析的对象、状态、事件、不变量与一个失败反例。
7实验：批处理错误汇总
闭卷重建实验：批处理错误汇总的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：抛出、捕获与传播必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕抛出、捕获与传播先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：抛出、捕获与传播不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：错误值与异常的区别必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕错误值与异常的区别先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：错误值与异常的区别不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：资源清理与上下文必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕资源清理与上下文先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：资源清理与上下文不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：只捕获能处理的异常必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕只捕获能处理的异常先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：只捕获能处理的异常不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：健壮整数解析必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：健壮整数解析先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：健壮整数解析不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：重试、降级与失败原子性必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕重试、降级与失败原子性先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：重试、降级与失败原子性不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：批处理错误汇总必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：批处理错误汇总先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：批处理错误汇总不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。