JavaScript 中 TypeScript 怎么使用模板字面量类型(Template Literal Types)实现高级字符串约束

秋丽吖_9510

秋丽吖_9510

2026-08-28

550人浏览

原创

typescript模板字面量类型在编译期通过反引号和${}推导字符串形态,支持拼接、嵌套、映射类型、const断言及infer提取,实现api路径、事件名等细粒度字符串约束。

javascript 中 typescript 怎么使用模板字面量类型(template literal types)实现高级字符串约束

TypeScript 的模板字面量类型(Template Literal Types)允许你基于字符串字面量进行精确建模,实现比 string 更细粒度的字符串约束。它不是运行时校验,而是在编译期通过类型系统“推导+限制”合法字符串形态,特别适合处理 API 路径、事件名、CSS 类名、枚举式字符串组合等场景。

基础语法:拼接与推导

模板字面量类型用反引号和 ${} 占位符定义,内部可嵌入字符串字面量、联合类型或其它模板字面量类型:

  • type Greeting = `Hello ${"world" | "TS"}` → 合法值只有 "Hello world" 和 "Hello TS"
  • type Path = `/${string}/id` → 匹配任意以 / 开头、以 /id 结尾的字符串(如 "/user/id"、"/123/id")
  • 支持嵌套:type StatusPath = `api/v${1 | 2}/${"users" | "posts"}`

结合映射类型与 keyof 实现动态键名约束

常用于构建强类型的配置对象或路由表,让键名符合预设模式:

type Feature = "auth" | "billing" | "analytics";
type FeatureFlag = `enable-${Feature}` | `disable-${Feature}`;

const flags: Record<featureflag boolean> = {
  "enable-auth": true,
  "disable-billing": false,
  // "enable-chat": true  // ❌ 编译错误:'enable-chat' 不在 FeatureFlag 联合中
};</featureflag>

还可进一步结合 keyof 和泛型生成键名:

Add Typescript Best Practices
Add Typescript Best Practices

在 CLAUDE.md 中配置 TypeScript 最佳实践和代码风格规则

下载
type Entity = "user" | "post" | "comment";
type EntityAction = "create" | "read" | "update" | "delete";

type ApiEndpoint<t extends entity> = {
  [K in EntityAction as `${K}-${T}`]: `/${T}s/${K}`;
};

type UserEndpoints = ApiEndpoint
// → { "create-user": "/users/create"; "read-user": "/users/read"; ... }</t>

运行时字符串转编译期字面量:借助 const 断言

模板字面量类型依赖字面量推断。若从变量构造,需用 as const 防止类型被拓宽为 string:

  • const prefix = "v" as const; → 类型是 "v",不是 string
  • type Versioned = `${typeof prefix}${1 | 2 | 3}` → 得到 "v1" | "v2" | "v3"
  • 数组也适用:const methods = ["GET", "POST"] as const; → typeof methods[number] 是 "GET" | "POST"

高级技巧:提取与条件推导

配合 infer 可从模板字面量中提取子串,实现类似正则的“捕获”效果:

type ExtractId<s extends string> = S extends `user-${infer Id}` ? Id : never;

type UserId = ExtractId // → "abc123"
type Bad = ExtractId       // → never</s>

再结合条件类型,可构建“字符串分类器”:

type RouteType<r extends string> = 
  R extends `/api/${infer Rest}` ? `API: ${Rest}` :
  R extends `/static/${infer Rest}` ? `STATIC: ${Rest}` :
  `UNKNOWN: ${R}`;

type T1 = RouteType    // → "API: users"
type T2 = RouteType // → "STATIC: logo.png"</r>

不复杂但容易忽略:模板字面量类型本质是编译期计算,不能包含变量表达式(如 ${i + 1}),所有内容必须能在类型层面静态确定。合理组合字面量、联合、映射和 infer,就能把字符串约束做到非常精准的程度。

Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南

相关专题

更多
js获取数组长度的方法
js获取数组长度的方法

在js中,可以利用array对象的length属性来获取数组长度,该属性可设置或返回数组中元素的数目,只需要使用“array.length”语句即可返回表示数组对象的元素个数的数值,也就是长度值。php中文网还提供JavaScript数组的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

4566

5

js刷新当前页面
js刷新当前页面

js刷新当前页面的方法:1、reload方法,该方法强迫浏览器刷新当前页面,语法为“location.reload([bForceGet]) ”;2、replace方法,该方法通过指定URL替换当前缓存在历史里(客户端)的项目,因此当使用replace方法之后,不能通过“前进”和“后退”来访问已经被替换的URL,语法为“location.replace(URL) ”。php中文网为大家带来了js刷新当前页面的相关知识、以及相关文章等内容

2023.07.04

1129

3

js四舍五入
js四舍五入

js四舍五入的方法:1、tofixed方法,可把 Number 四舍五入为指定小数位数的数字;2、round() 方法,可把一个数字舍入为最接近的整数。php中文网为大家带来了js四舍五入的相关知识、以及相关文章等内容

2023.07.04

4484

6

js删除节点的方法
js删除节点的方法

js删除节点的方法有:1、removeChild()方法,用于从父节点中移除指定的子节点,它需要两个参数,第一个参数是要删除的子节点,第二个参数是父节点;2、parentNode.removeChild()方法,可以直接通过父节点调用来删除子节点;3、remove()方法,可以直接删除节点,而无需指定父节点;4、innerHTML属性,用于删除节点的内容。

2023.09.01

900

4

JavaScript转义字符
JavaScript转义字符

JavaScript中的转义字符是反斜杠和引号,可以在字符串中表示特殊字符或改变字符的含义。本专题为大家提供转义字符相关的文章、下载、课程内容,供大家免费下载体验。

2023.09.04

1796

5

js生成随机数的方法
js生成随机数的方法

js生成随机数的方法有:1、使用random函数生成0-1之间的随机数;2、使用random函数和特定范围来生成随机整数;3、使用random函数和round函数生成0-99之间的随机整数;4、使用random函数和其他函数生成更复杂的随机数;5、使用random函数和其他函数生成范围内的随机小数;6、使用random函数和其他函数生成范围内的随机整数或小数。

2023.09.04

3265

4

如何启用JavaScript
如何启用JavaScript

JavaScript启用方法有内联脚本、内部脚本、外部脚本和异步加载。详细介绍:1、内联脚本是将JavaScript代码直接嵌入到HTML标签中;2、内部脚本是将JavaScript代码放置在HTML文件的`<script>`标签中;3、外部脚本是将JavaScript代码放置在一个独立的文件;4、外部脚本是将JavaScript代码放置在一个独立的文件。

2023.09.12

4253

6

Js中Symbol类详解
Js中Symbol类详解

javascript中的Symbol数据类型是一种基本数据类型,用于表示独一无二的值。Symbol的特点:1、独一无二,每个Symbol值都是唯一的,不会与其他任何值相等;2、不可变性,Symbol值一旦创建,就不能修改或者重新赋值;3、隐藏性,Symbol值不会被隐式转换为其他类型;4、无法枚举,Symbol值作为对象的属性名时,默认是不可枚举的。

2023.09.20

2760

5

java访问控制修饰符介绍
java访问控制修饰符介绍

java访问控制修饰符有四种,分别是public、protected、private、默认访问修饰符。详细介绍:1、public,public是最宽松的访问控制修饰符,被修饰的类、方法和变量可以被任何其他类访问,当一个类、方法或变量被声明为public时,它们可以在任何地方被访问,无论是同一个包中的类还是不同包中的类;2、protected修饰符等等。

2023.09.20

888

7

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
WebStorm 官方调试文档
WebStorm 官方调试文档

共0课时 | 0人学习

React 教程
React 教程

共58课时 | 12.1万人学习

TypeScript 教程
TypeScript 教程

共19课时 | 6.6万人学习