TypeScript类型系统：如何表达字符串拼接并实现编译时包含校验？

好的，我来帮你解决这两个TypeScript类型系统的问题——字符串拼接的类型表达和编译时子串校验，这两个需求都可以通过TypeScript的模板字面量类型（TypeScript 4.1+支持）和条件类型来实现，下面分步说明：

一、编译时校验字符串包含指定子串 #

你当前的StringContainingOneOrTwo设为string无法做校验，我们可以定义一个泛型类型，通过模板字面量的模式匹配来强制字符串包含指定子串：

type OneOrTwo = "one" | "two";

// 泛型类型：仅当字符串S包含T作为子串时，才允许赋值
type StringContaining<T extends string> = S extends `${string}${T}${string}` ? S : never;

// 测试示例
let str: StringContaining<OneOrTwo> = "123" + "one"; // ✅ 合法：拼接结果包含"one"
let str2: StringContaining<OneOrTwo> = "123" + "onesss"; // ❌ 编译报错：结果里没有完整的"one"或"two"
let str3: StringContaining<OneOrTwo> = "twoabc123"; // ✅ 合法：包含"two"
let str4: StringContaining<OneOrTwo> = "abc123"; // ❌ 编译报错：不包含指定子串

原理说明 #

• ${string}${T}${string}是TypeScript的模板字面量模式，表示任意字符串开头 + 指定子串T + 任意字符串结尾，完美匹配所有包含T的字符串。
• 条件类型S extends ... ? S : never的作用是：只有当输入的字符串S符合这个模式时，才返回S本身；否则返回never，触发类型不兼容的编译错误。

二、用类型系统表达字符串拼接逻辑 #

TypeScript的模板字面量类型本身就支持直接表达字符串拼接的结果，不管是固定字符串还是联合类型的拼接都能处理：

1. 固定字符串拼接的类型表达 #

type Prefix = "123";
type Suffix = "one";

// 直接用模板字面量定义拼接后的类型
type ConcatenatedResult = `${Prefix}${Suffix}`; // 类型为 "123one"

let validStr: ConcatenatedResult = "123" + "one"; // ✅ 类型完全匹配
let wrongStr: ConcatenatedResult = "123two"; // ❌ 编译报错：类型不匹配

2. 联合类型的拼接组合 #

如果你的前缀或后缀是联合类型，TypeScript会自动生成所有可能的拼接组合：

type Numbers = "one" | "two";
type Prefixes = "pre-" | "post-";

// 生成所有前缀+数字的组合类型
type AllCombined = `${Prefixes}${Numbers}`; // "pre-one" | "pre-two" | "post-one" | "post-two"

三、结合两个需求：拼接同时校验子串 #

如果需要同时实现"定义拼接类型"和"校验包含指定子串"，可以把两个逻辑结合起来：

type RequiredSubstring = "one" | "two";

// 先定义拼接类型，再校验是否包含指定子串
type ValidConcatenated<P extends string, S extends string> = 
  `${P}${S}` extends `${string}${RequiredSubstring}${string}` 
    ? `${P}${S}` 
    : never;

// 测试
let validCombo: ValidConcatenated<"123", "one"> = "123one"; // ✅ 合法
let invalidCombo: ValidConcatenated<"123", "onesss"> = "123onesss"; // ❌ 编译报错：拼接结果不包含完整的指定子串

注意事项 #

• 这种类型校验仅在编译时有效，运行时动态生成的字符串（比如用户输入、API返回）无法被TypeScript校验，因为运行时类型信息会被擦除。
• 确保你的项目使用TypeScript 4.1或更高版本，模板字面量类型是从这个版本开始引入的。

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