如何在TypeScript中创建支持正则校验的字符串类型？

TypeScript 没有原生支持直接绑定正则表达式做字符串静态校验的能力，但从 4.1 版本引入模板字面量类型后，通过类型组合、递归类型体操，可以实现特定规则的字符串类型约束，你提到的三类路径场景完全可以覆盖。

基础实现示例 #

几类路径的核心规则可以通过模板字面量类型快速定义：

• Unix 文件系统路径：必须以/作为起始字符
• FTP 路径：必须以ftp://作为起始前缀
• Windows 文件系统路径：必须以大小写英文字母+:\作为起始前缀

对应类型定义代码如下：

// 基础版Unix路径，满足示例校验要求
type UnixFilesystemPath = `/${string}`

// FTP路径
type FtpPath = `ftp://${string}`

// Windows路径，匹配盘符开头规则
type DriveLetter = 'A'|'B'|'C'|'D'|'E'|'F'|'G'|'H'|'I'|'J'|'K'|'L'|'M'|'N'|'O'|'P'|'Q'|'R'|'S'|'T'|'U'|'V'|'W'|'X'|'Y'|'Z'|'a'|'b'|'c'|'d'|'e'|'f'|'g'|'h'|'i'|'j'|'k'|'l'|'m'|'n'|'o'|'p'|'q'|'r'|'s'|'t'|'u'|'v'|'w'|'x'|'y'|'z'
type WindowsFilesystemPath = `${DriveLetter}:\\${string}`

实际赋值时的校验效果和预期一致：

let unixFile: UnixFilesystemPath = 'test'                   // 类型错误：不符合以/开头的规则
unixFile = '/home/martin/script.sh' // 校验通过
unixFile = '/var/'                  // 校验通过

let ftpPath: FtpPath = 'https://example.com' // 类型错误：前缀不匹配
ftpPath = 'ftp://example.com/pub/resource' // 校验通过

let winPath: WindowsFilesystemPath = 'D:/game/steam' // 类型错误：盘符后未使用反斜杠
winPath = 'D:\\game\\steam' // 校验通过

能力局限性 #

模板字面量类型不能完全等价正则表达式的全部能力：

• 对于复杂规则（比如禁止连续斜杠、限制路径段非法字符、匹配邮箱/身份证号这类复杂格式），纯类型实现需要写大量递归类型，代码可读性极差，还会触发TS的类型递归深度上限，实际落地成本很高
• 如果需要完全对齐正则的校验规则，更通用的方案是搭配运行时校验库，用正则写运行时校验逻辑，同时自动推导对应类型，兼顾开发时的类型提示和运行时的安全性。

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