TypeScript能否定义含任意数量任意顺序子串字面量的泛型字符串类型？

云原生阿岚

2026-7-7

实现任意数量、任意顺序子串的字符串字面量类型约束

完全可以实现！我们可以用TypeScript的递归泛型构建一个通用类型，强制目标字符串字面量包含指定列表中的所有子串，无需关心子串顺序。

核心实现代码

type ContainsAllSubstrings<Substrings extends string[], T extends string> = 
  Substrings extends [infer First extends string, ...infer Rest extends string[]]
    ? T extends `${string}${First}${string}` 
      ? ContainsAllSubstrings<Rest, T>
      : never
    : T;

工作原理

泛型Substrings接收必须包含的子串数组，T是待检查的目标字符串字面量
递归拆解子串数组：每次取出第一个子串First，检查T是否包含该子串
若包含则继续递归检查剩余子串；若不包含，直接返回never触发类型错误
当所有子串检查通过（子串数组为空），返回原字符串T，表示类型合法

SQL参数化键的实际使用示例

比如要确保SQL语句包含:userId和:orderId两个参数：

// 定义必须包含的参数键列表
type RequiredParams = [':userId', ':orderId'];

// 合法SQL：包含所有参数，类型正常通过
type ValidSQL = ContainsAllSubstrings<RequiredParams, 'SELECT * FROM orders WHERE id = :orderId AND user_id = :userId'>;

// 非法SQL：缺少:userId，类型被推断为never，触发类型错误
type InvalidSQL = ContainsAllSubstrings<RequiredParams, 'SELECT * FROM orders WHERE id = :orderId'>;