TypeScript泛型类构造函数设置默认值报错的原因与解决

问题背景 #

你定义了泛型类ORMFailure，泛型参数P被约束为IPropertyLocator，构造函数中给properties参数设置了默认值defaultLocator，但TypeScript抛出类型不兼容错误：

Type 'Locator<{ p1: typeof Property1; p2: typeof Property2; }>' is not assignable to type 'P'.
  'Locator<{ p1: typeof Property1; p2: typeof Property2; }>' is assignable to the constraint of
  type 'P', but 'P' could be instantiated with a different subtype of constraint
  'IPropertyLocator'.(2322)

而要求必填properties参数的ORM类却能正常工作。

报错原因 #

TypeScript的泛型是实例化阶段确定具体类型，而非依赖默认值推断。当你给properties设置默认值时，TypeScript必须确保这个默认值能兼容所有符合IPropertyLocator约束的P类型，但这做不到：
比如有人定义一个包含额外属性的IPropertyLocator子类型CustomLocator，用new ORMFailure<CustomLocator>()实例化却不传参数，此时默认的defaultLocator并不符合CustomLocator的结构，会导致类型不匹配。TypeScript提前阻断了这种潜在风险。

解决方案 #

方案1：给泛型参数设置默认类型

让泛型参数P默认使用defaultLocator的类型，用户不传参数时P自动匹配默认值类型，同时保留传入自定义子类型的能力：

class ORMFailure<P extends IPropertyLocator = typeof defaultLocator> {
    propertyLocator: P;

    constructor({properties = defaultLocator as P}: {properties ?: P} = {}) {
        this.propertyLocator = properties;
    }
}

这里的as P断言是安全的：用户不传参数时，P就是typeof defaultLocator，断言完全匹配；若传入自定义P类型的参数，默认值不会被触发。

方案2：移除泛型，固定类型

如果不需要支持IPropertyLocator的自定义子类型，直接去掉泛型，固定使用defaultLocator的类型或IPropertyLocator：

class ORMFailure {
    propertyLocator: typeof defaultLocator;

    constructor({properties = defaultLocator}: {properties ?: typeof defaultLocator} = {}) {
        this.propertyLocator = properties;
    }
}

这种方式类型检查最严格，无泛型相关问题。

为什么ORM类没有报错？ #

ORM类的properties是必填参数，TypeScript直接从传入的参数推断泛型P的类型，不存在默认值与泛型类型不匹配的场景，因此不会报错。

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