> 本文通过解决在实际工作中遇到的问题，层层剖析解法，带你了解 TS4.3 的高级特性，一起来看看吧。 ![](https://p3-juejin.byteimg.com/tos-cn-i-k3u1fbpfcp/b39af4fe638c48018cf6f42b1df78877~tplv-k3u1fbpfcp-zoom-1.image) 已经成为前端标配的 TypeScript 在 5 月底发布 4.3 版本。作为一个小版本迭代，粗看并没有什么令人惊艳的新功能。但如果你真的有在持续关注 TypeScript，那么其中的一项更新值得重点关注： > Template String Type Improvements 为什么值得注意呢？看一下 TS 4.0 以来的三条更新记录： > 4.0 版本新增 Variadic Tuple Types > > 4.1 版本新增 Template Literal Types > > 4.3 版本完善 Template Literal Types 然后我现在告诉你，Tuple Types 和 Template Literal Types 其实是一对关系密切的好哥们。所以，聪明的你是不是已经猜到，既然 TS 在 Tuple Types 和 Template Literal Types 持续发力，那很大概率，现在应该可以用它们来完成一些以前不太可能完成的事情。而我呢，早在 4 月份的时候就发现了 TS 4.3 将要发布的这个新功能，并且已经在预览版中亲身体验，解决了一个非常有趣的小问题：**如何将对象类型的所有可能的合法路径静态类型化。** 下面就让我带你看看 4.3 增强之后的 Template Literal Types 可以解决一个什么样的真实问题吧。 ## 还原问题现场我们团队现在的项目中使用 FinalForm 管理表单状态，但这不是重点，重点是其中一个和 lodash set 方法几乎一模一样的 change 方法，做不到完全的类型安全。这导致我们在写相关的 TS 代码时，只能用稍显丑陋的 as any 逃生。具体示例看 👇 的代码： ```typescript type NestedForm = { name: ['赵' | '钱' | '孙' | '李', string]; age: number; articles: { title: string; sections: string[]; date: number; likes: { name: [string, string]; age: number; }[]; }[]; } // FinalForm 中的一个常用 API，语义和 lodash 中的 set 几乎一样 interface FormApi> { change: (name: F, value?: Partial) => void } const form: FormApi = // 假装有了一个 form 实例 // 基本使用 form.change('age', '20') // 这样是类型安全的 // 可大量的真实使用场景其实类型不安全，但又完全合情合理，所以只能使用 as any 逃生 form.change('name.0', '刘') form.change('articles.0.title', 'some string') form.change('articles.0.sections.2', 'some string') // 项目中逃生代码