TypeScript中如何定义仅包含特定字符的字符串类型

在TypeScript中，要实现「整串所有字符都属于预定义字符集合」的类型约束，可通过递归模板字面量类型实现（依赖TS 4.1+版本的模板字面量、条件类型、推断类型特性），具体方案如下：

核心实现逻辑 #

逐字符拆分字符串，递归校验每一个字符是否属于允许的字符集合，任意字符不合法则返回never触发类型错误，全部合法则返回原字符串类型。
以二进制字符串（仅允许'0'、'1'）为例：

// 先定义允许出现的单个字符集合
type BinaryChar = '0' | '1';

// 递归校验整串类型
type ValidBinary<T extends string> = T extends `${infer First}${infer Rest}`
  ? First extends BinaryChar
    ? Rest extends ''
      ? T
      : ValidBinary<Rest> extends never ? never : T
    : never
  : never;

实际使用方式 #

类型本身不会自动触发推导校验，需要配合带泛型约束的工具函数使用：

// 定义校验工具函数
const binary = <T extends string>(input: ValidBinary<T>) => input;

// 合法输入：类型正常推导，无报错
const validVal = binary('1010000101000');

// 非法输入：TS直接抛出类型错误，比如包含字符'2'时会提示类型不匹配
const invalidVal = binary('1012000');

注意：不要直接给变量手动标注ValidBinary类型，必须通过带泛型约束的工具函数传入值触发自动推导，否则逐字符校验逻辑不会生效。

通用复用版本 #

如果需要支持不同的字符集约束，可以把允许的字符集抽成泛型参数，不用重复写递归逻辑：

type ValidCharString<
  T extends string,
  AllowChars extends string
> = T extends `${infer First}${infer Rest}`
  ? First extends AllowChars
    ? Rest extends ''
      ? T
      : ValidCharString<Rest, AllowChars> extends never ? never : T
    : never
  : never;

// 示例：定义十六进制字符串类型
type HexChar = '0'|'1'|'2'|'3'|'4'|'5'|'6'|'7'|'8'|'9'|'a'|'b'|'c'|'d'|'e'|'f'|'A'|'B'|'C'|'D'|'E'|'F';
const hex = <T extends string>(input: ValidCharString<T, HexChar>) => input;

const validHex = hex('ff00a1'); // 正常
const invalidHex = hex('ff00g1'); // 报错，'g'不在允许范围内

边界说明 #

• TS默认的递归类型深度限制约为50层，超过长度的字符串校验会触发类型实例化过深的错误，超长字符串场景建议搭配运行时正则校验（比如二进制用/^[01]+$/做运行时校验）。
• TS 4.1以下版本不支持模板字面量类型，无法在类型层面实现动态长度的字符约束，只能通过运行时校验+类型断言实现。
• 不要直接用单字符联合类型（比如type Binary = '0'|'1'）标注长字符串，该类型只能匹配单个字符，对整串没有约束效果。

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