如何在TypeScript中用泛型匹配单个字符串字面量？

我需要实现MyClass类，它与索引子系统交互，要求每条记录（类型为Record<string, any>）必须包含指定的主键字段。我希望借助TypeScript的类型系统，通过传入字符串字面量作为泛型参数，确保传入MyClass的记录都包含该主键字段——不需要使用字段值，仅需保证字段存在。目标是让泛型参数仅匹配单个字符串字面量，拒绝联合类型、宽泛的string类型以及非字符串类型。

期望的用法示例 #

class MyClass<T> { // T仅匹配单个字符串字面量
  add(arg: Record<T, any> & Record<string, any>): void {}
  get(arg: T): Record<T, any> & Record<string, any> {}
};

const myClass = new MyClass<"requiredKey">();
myClass.add({
    requiredKey: "someValue",
    // 可添加其他任意字段
}); // 合法
myClass.add({
    someOtherKey: "someValue",
}); // 编译器报错：缺少requiredKey字段

我当前的实现方案 #

基于之前的思路，我定义了一个约束类型，确保泛型参数是单个字符串字面量而非联合类型：

type UnionToIntersection<U> =
  (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
type StringLiteral<T extends string> = [T] extends [UnionToIntersection<T>]
  ? string extends T ? never : string : never;

用这个约束定义MyClass后，测试用例符合预期：

class MyClass<K extends StringLiteral<K>> {
  constructor() {}
  add(arg: Record<K, any> & Record<string, any>) {}
  get(arg: K): Record<K, any> & Record<string, any> { return null!; }
};

// 测试用例
let t = new MyClass<"a">();        // 合法：单个字面量有效
let u = new MyClass<"a" | "b">();  // 不合法：联合类型被拒绝
let v = new MyClass<string>();     // 不合法：宽泛的string类型被拒绝
let w = new MyClass<1>();          // 不合法：非字符串类型被拒绝
let x = new MyClass<`${"a"}`>();   // 合法：字符串模板字面量支持
let z = new MyClass<never>();      // 不合法，该情况可接受

我对这个方案基本满意，但刚接触TypeScript，想知道有没有更简洁的实现方式。当前使用TypeScript 5.5版本。

更简洁的优化方案 #

可以将UnionToIntersection的逻辑内联到约束类型中，减少单独的类型定义，同时保持约束效果：

type SingleStringLiteral<T extends string> = 
  [T] extends [(T extends unknown ? (k: T) => void : never) extends (k: infer I) => void ? I : never]
  ? string extends T ? never : T : never;

class MyClass<K extends SingleStringLiteral<K>> {
  add(arg: Record<K, any> & Record<string, any>): void {}
  get(arg: K): Record<K, any> & Record<string, any> { return null!; }
};

原理说明 #

• 利用TypeScript条件类型的分布式特性，联合类型经过转换后会变成成员类型的交集，而单个字符串字面量的交集就是它自身，通过[T] extends [...]可以区分单个字面量和联合类型。
• string extends T用于排除宽泛的string类型，确保泛型参数是具体的字面量而非通用字符串类型。

这个优化后的方案和原始方案效果一致，但代码更紧凑，减少了额外的类型定义。

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