TypeScript是否支持校验带有特定后缀的字符串类型？

TypeScript 4.1 版本正式引入模板字面量类型后，原生就支持你需要的后缀匹配类型校验能力，不需要额外依赖第三方类型库。

基础实现 #

直接通过模板字面量类型定义后缀规则即可：

type AudioFilename = `${string}.mp3`

// 校验效果
const file1: AudioFilename = "textfile.txt" // 抛出类型错误，不符合后缀要求
const file2: AudioFilename = "audiofile.mp3" // 校验通过
const file3: AudioFilename = "music/album/01_title.mp3" // 带多层路径的mp3文件也可正常通过校验

实现逻辑很简单：类型定义里的${string}可以匹配任意长度、任意内容的字符串前缀，拼接固定的.mp3后缀后，TypeScript 静态检查时会自动判断赋值的字符串字面量是否以.mp3结尾，不符合规则的字符串会直接触发类型报错。

通用封装 #

如果需要定义多种后缀的文件名类型，可以抽成通用泛型工具类型复用：

type FilenameWithExt<Ext extends string> = `${string}.${Ext}`

// 用法示例
type Mp3File = FilenameWithExt<"mp3">
type MarkdownFile = FilenameWithExt<"md">
type JsFile = FilenameWithExt<"js" | "jsx"> // 支持同时匹配多种后缀

const validJs: JsFile = "app.jsx" // 校验通过
const invalidJs: JsFile = "style.css" // 抛出类型错误

注意事项 #

• 该能力仅在 TypeScript 4.1 及以上版本可用，低版本不支持模板字面量类型，无法实现这类字符串模式匹配校验
• 以上校验仅在静态类型编译阶段生效，如果是运行时获取的动态值（比如接口返回数据、用户输入内容），TypeScript 无法做静态扫描，需要额外写运行时校验逻辑（比如用正则/\.mp3$/做后缀判断），再配合类型断言保证类型安全。

内容的提问来源于stack exchange，提问作者Nanachi