Swift 协议与泛型编程
本文深入讲解 Swift 的协议与泛型体系。从协议定义与协议组合讲起，剖析关联类型、primary associated types 与经典的 PAT 问题，厘清 some 与 any 的语义差异与性能取舍；随后覆盖泛型约束与 where 子句、协议扩展与条件遵循、面向协议编程与面向对象的适用边界、泛型特化的编译优化机制，以及 Swift 6 中 Sendable 对泛型与并发的新约束。最后用策略模式与装饰器模式展示落地方式，并给出可复用的设计检查清单。
tag
泛型
共 12 篇文章。
「类型系统与类型推断」
深入类型系统与类型推断的实现：静态类型判定规则、Hindley-Milner 推断与合一算法、泛型与约束求解、联合类型与子类型关系，以及类型检查器如何融入符号表并在编译期拦截错误，附带可运行的 Python 实现。
《Go 语言编程入门》9.3 泛型的取舍
本节回答一个工程问题：泛型到底该不该用。文章对比具体类型、接口、泛型三种抽象，给出「该用泛型」与「不该用泛型」的判据，讲清运行时分派与编译期单态化的差别、Go 的单态化为何不是完全展开，并回看 TaskAPI 的 Page[T] 在什么场景下反而不如接口，最后给出一份决策清单收束第 9 章。
《Go 语言编程入门》9.1 类型参数与约束
本节给 TaskAPI 引入泛型：先看类型参数如何取代 interface{} 与类型断言，再讲约束——内置 comparable、标准库 cmp.Ordered 与自定义类型集，说明 ~ 近似元素为何让别名也能匹配。随后用泛型类型 Page[T] 表达「任意元素的分页结果」，并实测 Sum、Max 与 MyInt 三个例子。
泛型 API 设计与类型性能：条件类型的复杂度治理
系统覆盖 TypeScript 泛型 API 设计的高阶主题：泛型约束与类型参数的设计目标、条件类型分发与 infer 推断的边界、递归类型的深度控制、类型计算性能问题的成因（instantiation depth/conditional 爆炸/类型水蛭）、诊断工具（tsc traceResolution/--extendedDiagnostics/性能剖析）、优化策略（缓存/分解/延迟计算）、以及库作者的类型复杂度预算，帮助高级开发者写出「表达力强又检查飞快」的类型 API。
Java 泛型与反射深度实战
深入 Java 泛型与反射机制：类型擦除与桥方法、PECS 通配符、Type 体系、反射 API 全解析、动态代理与 CGLIB、注解处理与代码生成，以及反射性能优化与安全考量。
Go 泛型设计模式实战
Go 1.18+ 泛型的高级工程实践：类型约束泛函（Map/Filter/Reduce）、类型安全容器、泛型管道、比较器与排序、Result/Maybe 类型。从 interface{} 到类型参数，用泛型写出类型安全且可复用的 Go 代码。
《Go 语言高级编程》1.1 泛型类型别名与语言精化
泛型类型别名到底是不是「新类型」？本节用真机实测回答：它和目标是同一个类型，可直接赋值、可互换参数，并区分类型同一与可赋值规则。同时把语言精化的版本归属一条条钉在证据上——aliastypeparams 实验开关在 1.24/1.25 可显式关闭、1.26 起名字被移除，并给出 loopvar、range over int、range over func 的实测对照。
C++ 模板与泛型编程：从函数模板到 SFINAE
目录： 1. 函数模板与参数推导 2. 类模板与偏特化 3. 类型萃取与自定义检测 4. SFINAE 原理与 5. CRTP：静态多态 6. 表达式 SFINAE 与检测惯用法 7. 综合实战示例 --- C++ 模板不仅是泛型编程的基础，更是元编程的入口。
《Python编程入门》9.2 泛型、Protocol、TypedDict 与 PEP 695
当同一段逻辑要处理多种类型时就需要泛型。本节从 TypeVar 与 bound 讲起，给出泛型函数与泛型类的写法，对照 3.12 的 PEP 695 新语法如何简化 type X = ...、class C[T] 与 def f[T]；随后深入 Protocol 子类型、TypedDict、NamedTuple、@overload、Self 与 3.13 的 TypeIs，并讲清变型的直觉。
Go 泛型深度解析：类型参数、约束体系与实战应用
深入讲解 Go 泛型的类型参数体系、编译实现机制与约束设计，涵盖通用容器、函数式工具、Result 类型等实战案例，配合泛型与空接口、代码生成的性能对比分析以及最佳实践策略。
Go 1.18 泛型初体验：先从三个小函数开始理解
本文从 Contains、Map 和泛型 Set 三个小例子出发，详解 Go 1.18 泛型的类型参数、约束和适用边界，帮助初学者建立正确理解。