posts
这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
本节讲 Python 的上下文管理器与 with 语句。先说明 with 解决的资源成对获取与释放问题，再拆解上下文管理协议的两个特殊方法、退出方法的三个参数，以及返回真值即吞掉异常的机制；随后用 contextlib 的装饰器把生成器改造成上下文管理器，介绍抑制异常与动态管理多个资源两个工具；最后给出 with 管理多资源时的等价展开，并解释文件、锁、数据库连接为何都该做成上下文管理器。
本节讲如何设计一套可维护的异常体系。先讲自定义异常的写法：继承哪个基类、怎样携带结构化字段、如何重写字符串表示；再讲异常链，用真实回溯区分隐式链与显式链，说明何时该用 from 保留原始错误、何时用 from None 切断噪音；随后给出库作者的异常设计原则，包括定义基类、让调用方能精确捕获、不用异常做正常控制流，以及宽泛捕获后重新抛出的正确姿势；最后介绍警告机制与弃用装饰器。
本节讲 Python 的异常机制。先从异常沿调用栈向上传播说起，梳理基类与普通异常的分层结构，解释为什么不要写裸 except、也不该捕获最顶层的基类异常；再用可运行代码演示四段捕获结构的执行顺序、返回值与清理块的交互，以及多重 except 中子类必须写在父类前面的原因。最后介绍异常组与带星号的分支语法、assert 在优化模式下被整体删除的陷阱，以及异常相对返回值的性能代价。
把《孢子三部曲》第一轮盘点推进到第4周，将章节、人物、时间线、伏笔和废稿问题汇总成第一轮重写清单。
本节讲解 TypeScript 中类与接口的两条连接方式：用 implements 让一个类同时承诺多份契约，用接口继承接口组合出更大的类型；并系统对比接口、抽象类与类型别名的适用边界。随后进入 mixin 模式，讲清如何用构造器泛型把多个行为混入同一个类，从而绕开单继承的限制，并给出类型安全写法的常见坑。读完本节，你能为复杂业务设计出契约清晰、复用灵活的类结构。
本节讲解 TypeScript 中类的继承与多态：如何用 extends 与 super 复用父类行为，方法重写时 override 关键字和 noImplicitOverride 选项如何防止漏改，抽象类与抽象方法怎样把公共流程固定下来而把差异留给子类，以及多态与里氏替换原则在真实代码中的体现。读完本节，你能用抽象类设计可扩展的骨架代码，并认清继承的代价与何时该改用组合。
本节讲解 TypeScript 的类相比 JavaScript 多出了什么：访问修饰符如何约束成员的可见性，参数属性怎样把构造函数的样板赋值压缩成一行，普通私有成员与井号私有字段又有什么本质差别。读完本节，你能为真实工程里的领域模型写出既安全又简洁的类，并避开严格模式下属性未初始化的常见报错，为后续学习继承与多态打好基础。
《Spring Boot 入门》的序。从 Spring Boot 今天在 Java 生态中的位置谈起，说明本站既有的 92 篇 Java 与 Java 企业级开发专题做的是「单点深挖」、这套书补的是「从零到能上手」的递进路径，并交代 4.x 破坏性变更带来的影响、面向的读者，以及一个诚实的阅读预期。
本节讲清魔术方法如何让自定义对象融入 Python 语法：__str__ 与 __repr__ 的分工、定义 __eq__ 后 __hash__ 被置空的陷阱、用容器协议让对象支持 len 与迭代、__call__ 让实例可调用、上下文管理协议，以及 __add__/__radd__/__iadd__ 运算符重载与 __format__ 配合 f-string 的写法。
本节讲清继承语法与 super() 的含义——它不是父类而是 MRO 里的下一个类，并演示菱形问题。接着介绍 abc.ABC 的约束力与组合优于继承的判断标准，再拆解 dataclass 的 field、default_factory、frozen、order、slots 等参数，用选型表对比 dataclass、NamedTuple 与 TypedDict，并演示 PEP 695 泛型类。
本节从 class 语句做了什么讲起，厘清 __init__ 是初始化器而非构造函数，实例属性与类属性的区别及可变类属性被所有实例共享的陷阱；再讲方法绑定中 self 的来源、property 与 setter、staticmethod 与 classmethod 的取舍，用 __mro__ 说清属性查找顺序与 C3 线性化，最后用 tracemalloc 实测 __slots__ 的内存收益。
把《孢子三部曲》第一轮盘点推进到第3周，完成伏笔编号、线索回收状态检查、旧稿分类和废稿归档。
本节回答两个贯穿全章的问题：为什么 TypeScript 只比较类型结构、不比较类型名字，以及 interface 与 type 到底该怎么选。内容涵盖结构化类型（鸭子类型）的判定规则、它带来的「意外兼容」风险、用品牌类型模拟名义类型的工程手法，并给出一份可直接照做的取舍清单与代码评审要点。读完本节，你既能解释类型兼容背后的原理，也能在团队里统一 interface 与 type 的使用规范。
本节讲解 type 别名的定义方式与它相对 interface 的独有能力：给联合类型、交叉类型、元组、函数、字面量起名字。重点剖析联合类型（这个或那个）与交叉类型（这个并且那个）的语义差别、组合规律与常见陷阱，并用一个状态机模型演示两者如何协同表达业务约束。读完本节，你能用类型精确描述「多种可能」与「多项能力叠加」，并知道何时该用 type、何时该用 interface。
本节从「如何描述一个对象长什么样」这个问题出发，系统讲解 interface 的定义方式与核心能力：必填属性、可选属性、只读属性、方法签名、索引签名以及接口继承。读者将学会用 interface 为真实业务对象建模，理解 excess property check 的触发时机，并掌握常见报错的定位思路。读完本节，你能为 API 响应、配置项、组件 props 等结构化数据写出清晰的类型契约。
本节处理导入体系里最易踩坑的三类问题：循环导入的成因与三种真实修法（调整导入位置、TYPE_CHECKING 类型专用导入、把共享部分抽到第三个模块）、PEP 420 命名空间包的机制与适用场景，以及惰性导入的几种做法，含 Python 3.15 的 PEP 810 语法与版本边界。最后用 python -X importtime 看导入与启动时间的关系。
本节聚焦「包」这种组织模块的方式：有 __init__.py 的目录发生了什么、空文件与写满代码的 __init__.py 各有什么代价、from 包.模块 import 名字 如何逐层解析、相对导入「只能在包内使用」的硬约束从何而来。还讲了 __all__ 对 import * 的控制、用 importlib 动态导入，以及预导入在易用性与启动时间间的取舍。
本节从「Python 是怎么找到并加载模块」出发，讲透 import 的三种形式及差异、模块对象与名字绑定的区别、sys.modules 缓存带来的「模块只执行一次」语义，以及 sys.path 的构成与搜索顺序。重点用真实实验对比 python -m 与直接运行脚本时 sys.path[0] 的不同，解释相对导入为何会报错，并说明 __name__ 守卫的原理。
把《孢子三部曲》第一轮盘点推进到第2周，集中完成人物卡片、人物出场索引、乐汀年龄线和三部曲时间线校验。
泛型是 TypeScript 类型系统里最重要的复用机制。本节从「同一段逻辑要处理多种类型」这个朴素需求出发，讲清类型参数的含义、泛型函数的写法、类型参数的自动推断与显式指定，并重点说明泛型与 any 的本质差别——泛型保留类型信息，any 抹掉类型信息。最后给出多个类型参数、数组与对象泛型的常见模式，以及初学者最容易踩的推断陷阱。读完本节，你能为任意函数写出既不丢类型又足够通用的签名。