第17章：版本演进 —— TypeScript 1.x 到 6.0 的关键能力路线

二、1.x：语言基础与生态起步

TypeScript 1.x 奠定了：

• 类型注解、接口、类和泛型。
• 联合类型、类型守卫等早期能力。
• ES6 模块、装饰器、JSX 等生态连接。
• tsconfig.json 和项目配置逐渐成形。
• 字符串字面量、this 类型等表达增强。

这一时期的很多教程仍带有内部模块、旧式装饰器和早期工具链痕迹，阅读旧代码时要结合现代模块体系重新判断。

三、2.x：严格性与类型运算成型

2.x 是现代 TypeScript 类型系统的重要阶段：

• strictNullChecks 让 null/undefined 从隐式风险变为显式联合。
• 控制流分析和判别联合显著增强。
• keyof、索引访问、映射类型建立“从类型生成类型”的基础。
• object、never、unknown 等边界表达逐步完善。
• 条件类型与 infer 将类型变换能力提升到新层次。
• strictFunctionTypes 等规则改善函数兼容安全。
• Project References 为大型项目构建奠定基础。

今天教程中的第 4、7、9、11 章，大量核心能力来自 2.x。

四、3.x：大型工程与复杂类型

3.x 重点增强：

• 元组与剩余参数的表达力。
• unknown 等安全边界类型。
• Project References 与 --build。
• 条件类型、泛型和 JSX 场景。
• 增量构建和编辑器性能。
• 可选链与空值合并在 3.7 进入日常编码。
• asserts 断言函数连接运行时校验与静态收窄。

这一阶段让 TypeScript 从“给 JavaScript 加类型”进一步成为大型工程工具。

五、4.x：类型表达成熟与现代模块过渡

4.x 的代表性方向：

• 可变元组与标签元组。
• 模板字面量类型。
• 键重映射映射类型。
• 更强的递归条件类型。
• unknown 在 catch 等边界中的严格化。
• 类字段、override 和控制流分析增强。
• Node ESM 支持、.mts / .cts 等模块格式逐步落地。
• satisfies 在 4.9 提供“检查约束但保留精确类型”的能力。

高级类型与模块系统在这一阶段接近现代形态。

六、5.x：标准化、资源管理与性能

5.x 继续推进：

• 新版标准装饰器语义。
• const 类型参数，改善字面量推断。
• using / await using 与显式资源管理。
• 模块解析和 bundler 场景增强。
• 类型导入导出、配置继承和多项目能力改进。
• NoInfer 等工具提升泛型 API 控制力。
• 正则、控制流、索引访问和声明输出持续精化。
• 编译器与语言服务多轮性能优化。
• Node 新版本模块规则和解析模式持续同步。

升级到 5.x 时，装饰器和模块配置是最需要核对运行时语义的区域。

七、6.0：迁移提示与现代基线

官方侧栏已提供 TypeScript 6.0 Release Notes。大版本通常意味着：

• 清理长期废弃选项或行为。
• 收紧已知不安全或含糊规则。
• 更新默认目标与生态基线。
• 为未来版本迁移提供诊断。

实际采用时应以对应 Release Notes、迁移诊断和项目完整测试为准，不应只根据教程摘要升级。

八、五条演进主线

1. 从宽松到严格

2. 从标注到类型变换

3. 从单项目到工程图

4. 从简单模块输出到宿主建模

5. 从编译器到开发平台

九、升级方法

1. 锁定当前 TypeScript 版本并保存基线。
2. 阅读目标版本及跨越版本的 Release Notes。
3. 使用独立分支升级编译器和相关类型包。
4. 运行 tsc、单测、集成测试、声明消费测试和构建。
5. 将错误分类为真实缺陷、推断变化、声明变化、配置废弃。
6. 优先修复根因，不用批量 any、skip 或断言压制。
7. 对编译性能和 bundle 结果做升级前后比较。

十、版本特性的采用原则

• 新语法是否能被目标运行环境或转译链支持？
• 新类型能力是否改善公共 API，而非只缩短内部代码？
• 团队编辑器和 CI 是否统一使用相同 TypeScript 版本？
• 第三方 .d.ts 是否要求更高最低版本？
• 库作者是否要通过 typesVersions 支持旧编译器？

十一、常见误区

1. 只读最新版本日志，不看跨越版本的破坏性变化。
2. 升级编译器却不升级编辑器工作区版本。
3. 将新出现的错误全部视为“编译器变严格过头”。
4. 用 skipLibCheck 隐藏自己发布声明的不兼容。
5. 使用新版装饰器语法却依赖旧框架运行机制。
6. 忽略 Node 模块规则随版本演进。
7. 为使用一个新类型工具，无评估地抬高库的最低 TS 版本。

十二、练习

1. 选择项目当前版本到最新版本，列出跨越的 Release Notes。
2. 找出项目中最依赖 2.x、4.x、5.x 特性的代码。
3. 对升级前后运行 --extendedDiagnostics。
4. 检查项目装饰器属于旧版还是标准语义。
5. 为库记录最低支持 TypeScript 版本及原因。

十三、总结

1. TypeScript 的现代形态由严格性、类型变换、工程化、模块宿主和工具性能逐步演进而来。
2. 2.x 奠定严格模式和高级类型基础，3.x 强化大型项目，4.x 成熟类型表达和现代模块，5.x 推进标准化与资源管理。
3. 版本升级可能改变静态推断与配置，即使运行时代码不变。
4. Release Notes 应转化为迁移清单、测试和性能对比，而不是只阅读新特性标题。

请继续阅读：第18章：设计精华。

原始资料引用

• TypeScript Release Notes 1.1–6.0
• 逐版本本地摘取：学习分享/TypeScript深度教程/原始资料/TypeScript官方Handbook/
• 逐篇映射：递归抓取覆盖清单

Related Documents

• 第16章：构建与工具链
• 第18章：设计精华