posts
这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
本节讲解类型运算的最后一块拼图：条件类型 T extends U ? X : Y 如何充当类型层面的 if/else，分布式条件类型在联合类型上的展开规则，以及用方括号包裹阻止分发的技巧。随后深入 infer 关键字，演示如何从函数签名、数组、元组和 Promise 中提取类型，并手写 Exclude、ReturnType 等工具类型的实现。读完你能看懂类型库的黑箱签名，并规避 never 陷阱。
本节讲解映射类型：如何用 [K in keyof T] 遍历一个类型的所有键并批量生成新类型，如何用 readonly 与 ? 的加减号增删修饰符，以及 TypeScript 4.1 引入的键重映射 as 如何借助模板字面量类型改写键名、借助 never 过滤掉不需要的键。本节会手写 Partial、Readonly、Required 等工具类型的内部实现，读完你能为自己的项目定制专用工具类型。
本节讲解 TypeScript 类型编程的三块基石：用 keyof 取出对象类型的全部键名，用 typeof 从运行时值反向推导类型，用索引访问类型 T[K] 精确取出某个属性或数组元素的类型。三者组合出的 keyof typeof 是工程中最常见的写法，能让类型与实现保持单一数据源。本节配有可运行示例与真实报错信息，读完你能读懂类型库中的索引写法，并为映射类型与条件类型打下基础。
静态类型检查器只能看代码，看不到运行时流入的 JSON、环境变量与用户输入。本节先划清静态类型的边界，再入门 Pydantic V2：用 BaseModel 定义模型、Field 加约束、model_validate / model_dump 序列化、field_validator / model_validator 写校验，并用 TypeAdapter 处理裸类型。
当同一段逻辑要处理多种类型时就需要泛型。本节从 TypeVar 与 bound 讲起，给出泛型函数与泛型类的写法，对照 3.12 的 PEP 695 新语法如何简化 type X = ...、class C[T] 与 def f[T]；随后深入 Protocol 子类型、TypedDict、NamedTuple、@overload、Self 与 3.13 的 TypeIs，并讲清变型的直觉。
类型注解是 Python 静态分析的地基，运行时却几乎不做任何检查。本节从「写了 int 传 str 也能跑」讲起，梳理 Optional、Union、内置泛型、Literal、Final、Annotated 等语法，厘清 Any 与 object 的边界，再用 pyright 与 mypy --strict 在真实文件上跑出检查结果，并说明注解在运行时如何被读取、3.14 起为何默认延迟求值。
从30天盘点结果进入第一轮重写，说明如何选择、拆解、执行和验收《孢子三部曲》的P0改稿任务。
深入讲解幂等性在分布式系统中的重要性，涵盖幂等键、状态机、Token机制等核心模式，详解数据库唯一约束、请求去重、重试策略等实战技巧，提供完整的Go语言实现代码。
本节把泛型从函数扩展到接口与类，讲清三者各自声明类型参数的位置与作用域，解释为什么静态成员不能用类的类型参数，并给出「类级类型参数还是方法级类型参数」的选择标准。随后用类型安全仓储、泛型事件总线、链式 Builder 三个实战把接口、类、函数串起来，配常见报错速查，完成从会用泛型到会设计泛型抽象的过渡。
本节讲清泛型默认值的语法、求值顺序，以及默认值必须满足约束这条硬规则。随后系统梳理类型推断的四个来源与优先级，解释为什么 TypeScript 至今不支持部分推断、如何用柯里化绕过，并介绍 TS 5.0 的 const 类型参数如何保住字面量精度。最后用可配置的请求封装串起全部知识点，给出常见推断失败场景与修法。
本节承接泛型函数入门，讲清为什么裸泛型在函数体里几乎什么都做不了，以及 extends 关键字如何把类型参数收窄到满足特定形状的类型。内容覆盖对象形状约束、keyof 与索引访问组合约束、一个类型参数约束另一个、交叉类型实现多重约束，并解析 does not satisfy the constraint 这类报错的成因与修法，帮助读者从能写泛型进阶到能设计泛型 API。
《Spring Boot 入门》全书导航页：说明本书定位、读者画像与前置知识、三条学习路径与五个部分之间的依赖关系，并按五个部分列出 18 章 54 节的完整章节索引，另含序、前言、附录 A–D 与常见问题速查表，每一节都配一句话说明，方便按需定位、跳读与随时查阅全书。
装饰器本质是函数到函数的高阶函数，@deco 只是 f = deco(f) 的语法糖。本节从最朴素的例子讲起，强调必须用 functools.wraps 保留元信息；再讲带参数的装饰器、类装饰器与实例方法装饰器的差异、缓存装饰器的实现思路与可哈希约束、singledispatch 的类型分派，以及多个装饰器的执行顺序，最后落到鉴权、重试、计时、注册表等真实工程场景。
yield 不只是用来吐出值的。本节从 send() 讲起，说明生成器为什么被称为协程的雏形；再讲 throw() 与 close() 的清理语义、GeneratorExit 为何必须重新抛出、yield from 的委托规则以及它如何取出子生成器的返回值；最后用生成器搭一条读文件、过滤、转换、聚合的惰性管道，说清它比每步生成一个列表省在哪里，并点一句异步生成器为何是另一套东西。
很多人把可迭代对象和迭代器当成同一件事，这恰恰是理解 for 循环与生成器的第一道坎。本节先用一张表把两者的协议差异讲透：可迭代对象只需实现 __iter__，迭代器还要实现 __next__ 并在耗尽时抛出 StopIteration。接着展开 for 循环的等价写法、手写迭代器类、生成器函数与生成器表达式的区别、生成器的惰性与一次性，并实测生成器比列表省下多少内存。
把《孢子三部曲》30天第一轮盘点收束到最后2天，完成复盘、删减任务、锁定P0/P1改稿范围并准备进入第一轮重写。
本节讲解当数据结构本身没有判别字段时，如何通过运行期检查把联合类型收窄到具体成员。内容涵盖 typeof、instanceof、in 运算符、真值判断与相等比较这几类内置收窄手段，以及自定义类型守卫和断言函数的写法与适用边界。我们还会深入控制流分析的机制，解释为什么收窄在闭包回调里会失效，并给出可落地的规避写法。读完后你能为任意联合类型选择合适的收窄方式，并能在收窄失效时自行定位原因。
本节讲解判别联合，也就是给联合的每个成员加一个共同的判别字段，让编译器能顺着这个字段自动区分当前处于哪种形态。我们会从「用布尔标志描述状态」的经典痛点出发，一步步重构成判别联合，再用 never 做穷尽性检查，保证新增分支时不会漏处理。你还将看到判别字段的选取原则、与可选字段建模的对比，以及真实项目里常见的踩坑点。读完后你能为请求状态、事件、表单结果这类场景写出可穷尽、可维护的建模。
本节先讲联合类型，说明如何用「A | B」表达取值可能是若干形态之一，再引入字面量类型，把具体的字符串、数字、布尔值当作类型使用，从而写出既安全又贴近业务语义的约束。你会看到 let 与 const 在字面量推断上的差异、as const 的实际作用、联合类型成员访问的边界，以及字面量联合与枚举之间的取舍。读完后你能用字面量联合取代散落各处的魔法字符串，为下一节判别联合与类型收窄打好基础。
《Spring Boot 入门》前言：交代本书的版本口径（主线 4.1.1 / Spring Framework 7.0.9 / Java 21.0.12.1，对照线 3.5.16）、starter 术语约定、全书结构与三种阅读路径，并说明代码与环境约定、示例的真实性保证，以及发现问题时该如何提交勘误与反馈。