如何让TypeScript根据构造函数对象参数的属性推断类的泛型类型？

你的代码思路方向是对的，只需调整写法就能让类型推断更顺畅。核心是让构造函数的type属性直接关联类的泛型参数T，避免交叉类型可能带来的推断模糊。

优化写法一：泛型化配置接口 #

type ExampleType = 'foo' | 'bar' | 'baz'; // 替换为你的实际类型

interface ExampleOptions<T extends ExampleType> {
  type: T;
  // 其他属性示例
  desc?: string;
}

export class Example<T extends ExampleType> {
  constructor(options: ExampleOptions<T>) {
    // 构造函数逻辑
  }
}

// 使用时TS自动推断T为'foo'
const fooInstance = new Example({ type: 'foo', desc: '示例1' });

优化写法二：保留非泛型配置接口 #

如果不想修改ExampleOptions的泛型属性，可通过交叉类型直接约束泛型参数：

type ExampleType = 'foo' | 'bar' | 'baz';

interface ExampleOptions {
  // 其他属性示例
  desc?: string;
}

export class Example<T extends ExampleType> {
  constructor(options: ExampleOptions & { type: T }) {
    // 构造函数逻辑
  }
}

// 使用时TS自动推断T为'bar'
const barInstance = new Example({ type: 'bar', desc: '示例2' });

关键说明 #

• 确保泛型参数T直接绑定到构造函数参数的type属性上，TypeScript就能根据传入的type值自动推断出T的具体类型。
• 如果原ExampleOptions已定义type: ExampleType，交叉类型会让type的类型被T覆盖（T是ExampleType的子类型），推断依然有效，但建议去掉ExampleOptions里的type定义以避免冗余。

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