如何限制TypeScript泛型仅接受字符串字面量而非string类型？

要实现仅接受有限字符串字面量联合、拒绝string本身的泛型类型，可以利用TypeScript的类型兼容性特性，通过条件类型判断传入的类型是否为string本身：

type FiniteSet<Set extends string> = string extends Set ? never : Set;

原理说明 #

• 当传入的类型是string本身时，string extends Set的结果为true，此时FiniteSet返回never，导致变量声明或赋值报错，达到禁止传入string的目的。
• 当传入的是有限字符串字面量联合（比如"a" | "1"）时，string extends Set的结果为false（因为存在大量不在联合中的字符串），此时FiniteSet直接返回该联合类型，正常使用。

测试用例验证 #

// 测试排除指定字面量的场景
let test3: Exclude<FiniteSet<"a" | "1">, "1">;
test3 = "a"; // ✅ 正常通过
test3 = "1"; // ❌ 类型错误，符合预期

// 禁止直接传入string类型
let test4: FiniteSet<string>; // ❌ 类型错误，无法声明该变量

// 接受有限字面量联合类型
let test5: FiniteSet<"a" | "b" | "c">; // ✅ 正常通过
test5 = "a"; // ✅
test5 = "d"; // ❌ 类型错误，符合预期

补充说明 #

之前你遇到的Exclude<string, "1">仍允许赋值"1"的问题，本质是因为string是无限的字符串集合，TypeScript无法精确表示排除单个字面量后的剩余集合，只能退化为string类型。通过FiniteSet禁止传入string，就能从根源避免这种不符合直觉的行为。

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