TypeScript严格模式下泛型类型不匹配未触发编译失败的配置方案及替代实现咨询

嗨，我明白你的困扰——明明觉得泛型类型不匹配应该触发编译错误，但TypeScript却通过了编译。这其实是TypeScript的默认行为，咱们来拆解原因和解决办法：

首先，为啥当前代码没报错？
TypeScript对类的方法采用了双向协变的类型检查策略，哪怕你开启了严格模式，也允许子类方法的参数类型比父接口的更宽泛。举个例子，你的SmallParcelPickupHelper实现了ParcelPickupHelper<'SMALL'>，接口要求pickup方法接受'SMALL'类型的参数，而子类方法用了ParcelSize（包含'SMALL'）——从类型安全角度，子类方法能处理所有包裹尺寸，自然也能处理'SMALL'，所以默认认为这种实现是安全的，不会抛出错误。但如果你需要强制子类严格匹配泛型约束的参数类型，咱们有几种办法：

一、调整编译器配置+修改方法定义 #

1. 先确保你的tsconfig.json开启了严格模式（包含strictFunctionTypes，这个选项是关键）：

{
  "compilerOptions": {
    "strict": true,
    "strictFunctionTypes": true
  }
}

2. 把类中的方法改成函数属性形式——因为strictFunctionTypes默认只对函数属性生效，不会检查类的方法语法：

class SmallParcelPickupHelper implements ParcelPickupHelper<'SMALL'> {
    // 用函数属性替代类方法
    pickup: (size: 'SMALL') => void = (size) => {
        console.log(size);
    }
}

class LargeParcelDeliveryHelper implements ParcelDeliveryHelper<'LARGE'> {
    deliver: (size: 'LARGE') => void = (size) => {
        console.log(size);
    }
}

现在如果你把参数类型写成ParcelSize，编译器会立刻报错，提示类型不匹配。

二、改用抽象类强制严格实现 #

如果你的项目结构允许，把接口换成抽象类，定义抽象方法——子类实现抽象方法时，必须严格匹配参数类型：

abstract class ParcelPickupHelper<P extends ParcelSize> {
    abstract pickup(size: P): void;
}

abstract class ParcelDeliveryHelper<P extends ParcelSize> {
    abstract deliver(size: P): void;
}

class SmallParcelPickupHelper extends ParcelPickupHelper<'SMALL'> {
    // 这里如果写成size: ParcelSize，编译直接报错
    pickup(size: 'SMALL') {
        console.log(size);
    }
}

这种方式不需要额外调整配置，只要开启严格模式就能触发错误，代码结构也更清晰。

三、工具类型辅助检查（适合局部场景） #

如果只是想在特定场景下验证实现是否严格匹配，可以写一个简单的工具类型：

type AssertStrictImplementation<T, U> = T extends U 
  ? U extends T 
    ? unknown 
    : never 
  : never;

// 验证SmallParcelPickupHelper是否严格符合接口要求
type CheckSmallPickup = AssertStrictImplementation<SmallParcelPickupHelper, ParcelPickupHelper<'SMALL'>>;

如果类的实现不严格匹配，CheckSmallPickup会变成never，你可以结合// @ts-expect-error来强制触发编译错误，但这种方式比较繁琐，适合局部验证。

备注：内容来源于stack exchange，提问作者Mattlawd