能否通过TypeScript类型系统声明符合特定格式要求的字符串模板类型

这个需求可以通过TypeScript 4.1及以上版本支持的模板字面量类型实现，具体操作如下：

1. 基础实现（直接声明） #

首先定义允许的字符集合，再拼接出6位长度的限定类型：

// 定义允许的字符：数字+大小写英文字母
type Alphanumeric = 
  | '0'|'1'|'2'|'3'|'4'|'5'|'6'|'7'|'8'|'9'
  | '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';

// 拼接出6位字母数字组合的类型
type SpecificString = `${Alphanumeric}${Alphanumeric}${Alphanumeric}${Alphanumeric}${Alphanumeric}${Alphanumeric}`;

测试效果和预期完全一致：

const myFirstSpecificString: SpecificString = '7kj4lj'; // 正常通过校验
const mySecondSpecificString: SpecificString = '_kj4lj'; // 构建报错：包含非法字符下划线
const myThirdSpecificString: SpecificString = 'kj4lj'; // 构建报错：长度不足6位

2. 通用灵活实现（工具类型生成） #

如果需要适配不同长度的同类需求，可以写递归工具类型自动生成对应长度的类型，不用手动重复拼接：

// 递归工具类型：生成N个T拼接的模板字面量类型
type RepeatChar<T extends string, N extends number, R extends string = ''> = 
  R['length'] extends N ? R : RepeatChar<T, N, `${R}${T}`>;

// 直接指定字符和长度即可生成目标类型
type SpecificString = RepeatChar<Alphanumeric, 6>;

注意事项 #

• 上述类型校验仅对字面量字符串赋值生效，如果是运行时动态获取的字符串（比如接口返回、用户输入），需要额外搭配运行时校验，可以配合类型守卫使用：

const isSpecificString = (str: string): str is SpecificString => {
  return /^[a-zA-Z0-9]{6}$/.test(str);
}

• 因为TS的类型系统是编译时擦除的，没有办法直接对运行时的动态字符串做静态校验，搭配类型守卫可以同时保证静态类型和运行时安全。

内容的提问来源于stack exchange，提问作者Joseph Beuys' Mum