TypeScript泛型工厂函数类型推断异常：返回值不匹配T['R']

为什么会出现类型错误？ #

你的代码里，Input是typeof A | typeof B的联合类型，当泛型T extends Input时，TypeScript无法将v.R()的类型收窄到InstanceType<T['R']>，核心原因有两点：

1. 联合类型的属性访问特性：当你访问联合类型的属性v.R时，TypeScript会解析为(typeof A | typeof B)['R']，结果是typeof A.R | typeof B.R的联合构造函数类型。因此new v.R()的返回值类型会被推断为A.R | B.R，而不是对应T的具体R实例类型。

2. 泛型约束的不确定性：TypeScript的泛型系统会考虑T可能是Input的任意子类型（比如理论上存在typeof A & typeof B这种交集类型，虽然实际不存在，但类型系统允许这种假设）。此时InstanceType<T['R']>会变成A.R & B.R的交集类型，但new v.R()只能返回A.R或B.R中的一个，无法满足交集类型的要求。因此编译器认为A.R | B.R不能安全赋值给InstanceType<T['R']>，抛出类型不兼容的错误。

正确的实现方式 #

方案1：用泛型约束明确R是构造函数 #

通过定义一个通用的命名空间类型，约束输入必须包含可实例化的R类，再结合InstanceType实现类型推断：

namespace A {
  export class R {
    public i = 0;
  }
}

namespace B {
  export class R {
    public s = '';
  }
}

// 约束输入必须包含无参构造的R类
type NamespaceWithR = { R: new () => unknown };

function Test<T extends NamespaceWithR>(v: T): InstanceType<T['R']> {
  // 这里需要类型断言，因为编译器仍无法自动推导，但逻辑上是安全的
  return new v.R() as InstanceType<T['R']>;
}

const instanceA = Test(A); // 自动推断为 A.R
const instanceB = Test(B); // 自动推断为 B.R

方案2：使用函数重载 #

如果命名空间的数量固定，函数重载是更直接的方式，能让编译器精准推断返回类型：

namespace A {
  export class R {
    public i = 0;
  }
}

namespace B {
  export class R {
    public s = '';
  }
}

// 为每个命名空间定义重载签名
function Test(v: typeof A): A.R;
function Test(v: typeof B): B.R;
// 实现签名处理逻辑
function Test(v: typeof A | typeof B) {
  return new v.R();
}

const instance = Test(A); // 直接推断为 A.R

方案3：结合条件类型与infer #

通过条件类型自动推断实例类型，写法更简洁：

namespace A {
  export class R {
    public i = 0;
  }
}

namespace B {
  export class R {
    public s = '';
  }
}

function Test<T extends { R: new () => any }>(v: T): T['R'] extends new () => infer U ? U : never {
  return new v.R() as any;
}

const instanceA = Test(A); // A.R
const instanceB = Test(B); // B.R

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